Sciweavers

12052 search results - page 372 / 2411
» computing 2010
Sort
View
PODC
2010
ACM
15 years 10 months ago
Broadcasting in unreliable radio networks
Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport, Ro...
SPAA
2010
ACM
15 years 10 months ago
Scheduling jobs with varying parallelizability to reduce variance
Anupam Gupta, Sungjin Im, Ravishankar Krishnaswamy...
EDCC
2010
Springer
15 years 10 months ago
Towards verification-based development of in-vehicle safety critical software: a case study
Martijn M. H. P. van den Heuvel, Reinder J. Bril, ...
127
Voted
CONCUR
2010
Springer
15 years 7 months ago
Stochastic Real-Time Games with Qualitative Timed Automata Objectives
Tomás Brázdil, Jan Krcál, Jan...