|
|
|
Workshop on Parallel and Distributed Real-Time Systems - WPDRTS
|
|
|
|
Workshop Introduction - WPDRTS
|
|
Competitive Analysis of Partitioned Scheduling on Uniform Multiprocessors
Björn Andersson and Eduardo Tovar
|
|
Integrated Environment for Embedded Control Systems Design
Roman Bartosinski, Zdenek Hanzalek, Petr Struzka and Libor Waszniowski
|
|
Improved Schedulability Analysis of EDF Scheduling on Reconfigurable Hardware
Nan Guan, Zonghua Gu, Qingxu Deng, Weichen Liu and Ge Yu
|
|
The Design and Implementation of Real-time Event-based Applications with RTSJ
Damien Masson and Serge Midonnet
|
|
Using Speed Diagrams for Symbolic Quality Management
Jacques Combaz, Jean-claude Fernandez, Joseph Sifakis and Loïc Strus
|
|
A Flexible Scheme for Scheduling Fault-Tolerant Real-Time Tasks on Multiprocessors
Michele Cirinei, Enrico Bini, Giuseppe Lipari and Alberto Ferrari
|
|
Expected Time for Obtaining Dependable Data in Real-Time Environment
Yue Yu and Shangping Ren
|
|
Static-Priority Scheduling and Resource Hold Times
Marko Bertogna, Nathan Fisher and Sanjoy K. Baruah
|
|
Tiresias: Black-Box Failure Prediction in Distributed Systems
Andrew Williams, Soila Pertet and Priya Narasimhan
|
|
Toward a Unified Standard for Worst-Case Execution Time Annotations in Real-Time Java
Trevor Harmon and Raymond Klefstad
|
|
Hardware Capacity Evaluation in Shared-Nothing Data Warehouses
Ricardo Antunes and Pedro Furtado
|
|
Scalable, Distributed, Dynamic Resource Management for the ARMS Distributed Real-Time Embedded System
Kurt Rohloff, Yarom Gabay, Jianming Ye and Richard Schantz
|
|
Capacity Sharing and Stealing in Dynamic Server-based Real-Time Systems
Luís Nogueira and Luís Miguel Pinho
|
|
A Framework for Modeling Operating System Mechanisms in the Simulation of Network Protocols for Real-Time Distributed Systems
Paolo Pagano, Prashant Batra and Giuseppe Lipari
|
|
Authentication in Reprogramming of Sensor Networks for Mote Class Adversaries
Limin Wang and Sandeep Kulkarni
|
|
Period-Dependent Initial Values for Exact Schedulability Test of Rate Monotonic Systems
Wan-chen Lu, Kwei-jay Lin, Hsin-wen Wei and Wei-kuan Shih
|
|
Towards a Distributed Continuous Certification Process
Adam Porter
|
|
Special Session on Certification of Dynamic and Adaptive Systems
Paul R. Work
|
|
Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude
Peter Csaba Ölveczky and Martin Grimeland
|
|
Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems
Rafik Henia, Razvan Racu and Rolf Ernst
|
|
Generating Efficient Distributed Deadlock Avoidance Controllers
Cesar Sanchez, Henny B. Sipma and Zohar Manna
|
|
|
