共 50 条
- [31] Verification of the properties of asynchronous real-time distributed systems using the B-formalism IDT 2007: SECOND INTERNATIONAL DESIGN AND TEST WORKSHOP, PROCEEDINGS, 2007, : 163 - 168
- [32] RBA: A best effort resource allocation algorithm for asynchronous real-time distributed systems JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, 2001, 33 (02): : 158 - 172
- [33] Component-based dynamic QoS adaptations in distributed real-time and embedded systems ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: COOPLS, DOA, AND ODBASE, PT 2, PROCEEDINGS, 2004, 3291 : 1208 - 1224
- [37] Real-time scheduling in distributed systems PAR ELEC 2002: INTERNATIONAL CONFERENCE ON PARALLEL COMPUTING IN ELECTRICAL ENGINEERING, 2002, : 165 - 170