The following pages link to Jan Bækgaard Pedersen (Q436882):
Displayed 8 items.
- Approximating the buffer allocation problem using epochs (Q436884) (← links)
- On the complexity of buffer allocation in message passing systems (Q557643) (← links)
- (Q1707343) (redirect page) (← links)
- The symbiosis of concurrency and verification: teaching and case studies (Q1707345) (← links)
- (Q2764057) (← links)
- (Q2932972) (← links)
- (Q3012570) (← links)
- (Q3012582) (← links)