An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Transparent distribution of real-time components based on logical execution time
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
An architecture for flexible scheduling in Profibus networks
Computer Standards & Interfaces
A forcing collision resolution approach able to prioritize traffic in CSMA-based networks
Computer Communications
The implementation of hierarchical schedulers in the RED-Linux scheduling framework
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Two-dimensional priority scheduling scheme for open real-time systems
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV
The low-power wireless bus: simplicity is (again) the soul of efficiency
Proceedings of the 11th international conference on Information Processing in Sensor Networks
Hi-index | 0.00 |