|
416
|
UPPAAL in a Nutshell
– Kim G. Larsen, Paul Pettersson, Wang Yi
- 1997
|
|
1660
|
A theory of timed automata
– Rajeev Alur
- 1999
|
|
2571
|
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
– C.L. Liu, James Layland
- 1973
|
|
3
|
Boudec an P. Thiran Network Calculus - A Theory of Deterministic Queuing Systems for the Internet.,Springer-Verlag
– J L
- 2000
|
|
14
|
Performance analysis for complex embedded applications
– M Jersak, K Richter, R Ernst
- 2006
|
|
83
|
Software Design Methods for Concurrent and RealTime Systems
– Hassan Gomaa
- 1993
|
|
10
|
Enabling Scheduling Analysis of Heterogeneous Systems with Multi-Rate Data Dependencies and Rate Intervals
– Marek Jersak, Rolf Ernst
- 2003
|
|
525
|
The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior
– J Lehoczky, L Sha, Y Ding
- 1989
|
|
12
|
A calculus for network delay, Part I
– R Cruz
- 1991
|
|
2
|
Lothar Thiele, Andreas Herkersdorf, Patricia Sagmeister, Performance Evaluation of Network Processor Architectures: Combining Simulation with Analytical Estimation
– Samarjit Chakraborty, Simon Knzli
- 2003
|
|
2
|
Automatic Verification of LEGO RCX Systems Using UPPAAL, Torsten
– B Thomasen
- 1999
|
|
1
|
Email correspondance with Electronics Research
– Michael Andersen
|
|
1
|
NQC - Not Quite C. URL:http://www.enteract.com/dbaum/lego/nqc/- index.html . [BGK + 96
– David Baum
- 1996
|
|
1
|
CPU Time Required for RCX Instructions. From the Lego Robotics mailinglist, email:lego-robotics@crynwr.com. URL:http://www.crynwr.com/lego-robotics/cputime.txt. The UPPAAL related documents can be found at URL:http://www.- docs.uu.se/docs/rtmv/uppaal
– Dick Swan
|
|
2
|
Formal methods for real time systems: Automatic verification & validation
– Kim G Larsen
- 1998
|
|
202
|
A Fast Mutual Exclusion Algorithm
– Leslie Lamport
- 1986
|
|
1
|
Lothar Thiele A General Framework for Analysing System
– Samarjit Chakraborty, Simon Kuenzli
- 2003
|
|
39
|
TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems
– Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
- 2003
|
|
454
|
DISTRIBUTED SYSTEMS
– LEONARD KLEINROCK
- 1985
|
