914 search results - page 52 / 183 » A Real-Time Distributed Scheduling Service For Middleware Sy... |
123
click to vote
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
— We present a software infrastructure that embeds physical hosts in a simulated network. Aiming to create a largescale real-time virtual network testbed, our real-time interacti...
134
click to vote
ISORC
2005
IEEE
15 years 7 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
128
click to vote
HPDC
1998
IEEE
15 years 6 months ago
1998
IEEE
Modern scientific computing involves organizing, moving, visualizing, and analyzing massive amounts of data from around the world, as well as employing largescale computation. The...
130
click to vote
RTS
2006
15 years 1 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
140
click to vote
ADAEUROPE
2005
Springer
15 years 7 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...