Sciweavers

15840 search results - page 152 / 3168
» The Control of Synchronous Systems
Sort
View
100
Voted
HYBRID
2001
Springer
15 years 7 months ago
On the Decidability of the Reachability Problem for Planar Differential Inclusions
Eugene Asarin, Gerardo Schneider, Sergio Yovine
HYBRID
2001
Springer
15 years 7 months ago
Hybrid Abstractions that Preserve Timed Languages
Paulo Tabuada, George J. Pappas
RTSS
2000
IEEE
15 years 7 months ago
Adding PEP to Real-Time Distributed Commit Processing
Jayant R. Haritsa, Krithi Ramamritham
113
Voted
RTSS
2000
IEEE
15 years 7 months ago
Modeling Complex Flows for Worst-Case Execution Time Analysis
Jakob Engblom, Andreas Ermedahl