Sciweavers

2287 search results - page 29 / 458
» Making it Real
Sort
View
104
Voted
FM
2005
Springer
114views Formal Methods» more  FM 2005»
15 years 8 months ago
Systematic Implementation of Real-Time Models
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
Martin De Wulf, Laurent Doyen, Jean-Françoi...
NIME
2004
Springer
162views Music» more  NIME 2004»
15 years 7 months ago
The Architecture of Auracle: a Real-Time, Distributed, Collaborative Instrument
Auracle is a “group instrument,” controlled by the voice, for real-time, interactive, distributed music making over the Internet. It is implemented in the JavaTM programming l...
Chandrasekhar Ramakrishnan, Jason Freeman, Kristja...
129
Voted
DSRT
2003
IEEE
15 years 7 months ago
Enabling Real-Time Distributed Virtual Simulation over the Internet Using Host-Based Overlay Multicast
Many-to-many multicast transmission is an essential network capability for scalable distributed simulation. The many open issues that make network-layer multicast impractical over...
Dennis M. Moen, J. Mark Pullen
ECRTS
2003
IEEE
15 years 7 months ago
Resource Partitioning among Real-Time Applications
When executing different real-time applications on a single processor system, one problem is how to compose these applications and guarantee at the same time that their timing req...
Giuseppe Lipari, Enrico Bini
119
Voted
SEW
2003
IEEE
15 years 7 months ago
Adopting a Software Component Model in Real-Time Systems Development
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
Frank Lüders