Sciweavers

1052 search results - page 15 / 211
» The Regular Real-Time Languages
Sort
View
FORMATS
2009
Springer
14 years 2 months ago
Analyzing Real-Time Event-Driven Programs
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
Pierre Ganty, Rupak Majumdar
IPPS
2005
IEEE
14 years 1 months ago
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
Jan Trowitzsch, Armin Zimmermann, Günter Homm...
ICDCSW
2002
IEEE
14 years 11 days ago
Event-Driven Coordination of Real-Time Components
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, relatively little work has been done for the cases where the ...
Theophilos A. Limniotes, Costas Mourlas, George A....
IPPS
2000
IEEE
13 years 11 months ago
Real-Time Coordination in Distributed Multimedia Systems
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, little work has been done for the cases where the software com...
Theophilos A. Limniotes, George A. Papadopoulos
PLDI
1993
ACM
13 years 11 months ago
Real-Time Replication Garbage Collection
We have implemented the first copying garbage collector that permits continuous unimpeded mutator access to the original objects during copying. The garbage collector incremental...
Scott Nettles, James O'Toole