Sciweavers

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