883 search results - page 6 / 177 » Applying Sensitivity Analysis in Real-Time Distributed Syste... |
ADAEUROPE
2005
Springer
14 years 11 months ago
2005
Springer
This paper presents the design and implementation of RT-EP (Real-Time Ethernet Protocol), which is a software-based token-passing Ethernet protocol for multipoint communications in...
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes the design of the OpenSTARS real-time analysis tool. The paper focuses on criteria for a good analysis tool including correctness, performance/scalability, fl...
ISORC
2005
IEEE
15 years 3 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...
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE