Sciweavers

14704 search results - page 321 / 2941
» computing 2007
Sort
View
RTSS
2007
IEEE
15 years 10 months ago
Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines
Marek Chrobak, Mathilde Hurand, Jiri Sgall
FOSSACS
2007
Springer
15 years 10 months ago
Generalized Parity Games
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Pi...
WOLLIC
2007
Springer
15 years 10 months ago
Continuation Semantics for Symmetric Categorial Grammar
Raffaella Bernardi, Michael Moortgat
WOLLIC
2007
Springer
15 years 10 months ago
Hybrid Logical Analyses of the Ambient Calculus
Thomas Bolander, René Rydhof Hansen