Sciweavers

15840 search results - page 154 / 3168
» The Control of Synchronous Systems
Sort
View
RTSS
1997
IEEE
14 years 2 months ago
Implementation and evaluation of real-time Java threads
Akihiko Miyoshi, Takuro Kitayama, Hideyuki Tokuda
HYBRID
1997
Springer
14 years 2 months ago
From Quantity to Quality
Thomas A. Henzinger, Orna Kupferman
HYBRID
1994
Springer
14 years 2 months ago
A Note on Abstract Interpretation Strategies for Hybrid Automata
Thomas A. Henzinger, Pei-Hsin Ho