Sciweavers

748 search results - page 15 / 150
» Meeting real-time constraints using
Sort
View
TII
2008
169views more  TII 2008»
13 years 10 months ago
Fine-Tuning MAC-Level Protocols for Optimized Real-Time QoS
In distributed real-time systems, meeting the real-time constraints is mandatory but the satisfaction of other application-dependent criteria is most generally required as well. I...
Mathieu Grenier, Nicolas Navet
FM
1997
Springer
126views Formal Methods» more  FM 1997»
14 years 2 months ago
Reconciling Real-Time with Asynchronous Message Passing
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
Manfred Broy, Radu Grosu, Cornel Klein
VLDB
1995
ACM
179views Database» more  VLDB 1995»
14 years 1 months ago
The ClustRa Telecom Database: High Availability, High Throughput, and Real-Time Response
New telecommunication services and mobility networks have introduced databases in telecommunication networks. Compared with traditional use of databases, telecom databases must fu...
Svein-Olaf Hvasshovd, Øystein Torbjø...
CORR
2010
Springer
131views Education» more  CORR 2010»
13 years 7 months ago
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
Manuel Mazzara, Anirban Bhattacharyya
RTCSA
2008
IEEE
14 years 4 months ago
A Framework for Designing Embedded Real-Time Controllers
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...
Yifan Wu, Enrico Bini, Giorgio C. Buttazzo