Papers published in 2004
A Few What-Ifs on Using Statistical Analysis of Stochastic Simulation Runs to Extract Timeliness Properties
Nuno Pereira, Eduardo Tovar, Berta Batista, Luis Miguel Pinho, Ian Broster (2004)
Proceedings of the 1st International Workshop on Probabilistic Analysis Techniques for Real-time Systems (PARTES2004)
[ Abstract and Details | Download ]
A Real-time Isolate Specification For Ravenscar-Java
Hao Cai, Andy Wellings (2004)
Proceedings of the Seventh IEEE International Symposium on object-oriented Real-time Distributed Computing
[ Abstract and Details ]
A Selection Mechanism Based upon the Explcit Expression of Preference
R. E. Baker, N. C. Audsley (2004)
Proceedings of the Workshop on Self-Managed Systems (WOSS '04)
[ Abstract and Details ]
An Application Adaptive Generic Module-based Reflective Framework for Real-time Operating Systems
A. Patil, N. Audsley (2004)
Proceedings Work in Progress session of Real-time Systems Symposium
[ Abstract and Details | Download ]
An Assessment Framework for Automatic Code Generator Tools
N. Audsley, I. Bate, C. O'Halloran (2004)
Proceedings of the 22nd International System Safety Conference
[ Abstract and Details | Download ]
Applying Random Arrival Models to Fixed Priority Analysis
I. Broster, A. Burns (2004)
Proceedings Work in Progress session of Real-time Systems Symposium
[ Abstract and Details | Download ]
Architecture for dynamically reconfigurable real-time lossless compression
A. J. Carter, N. C. Audsley (2004)
Proceedings of Real-Time Imaging VIII
[ Abstract and Details ]
Comparing Real-time Communication under Electromagnetic Interference
I. Broster, A. Burns, G. Rodríguez-Navas (2004)
Proceedings of the 16th Euromicro Conference on Real-Time Systems
[ Abstract and Details | Download ]
Concurrent and Real-Time Programming in Java
A. J. Wellings (2004)
Wiley
[ Abstract and Details ]
Cost Enforcement and Deadline Monitoring in The Real-Time Specification for Java
A.J. Wellings, G. Bollella, P. Dibble, D. Holmes (2004)
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ISORC-2004
[ Abstract and Details | Download ]
Dynamic Ceiling Priorities: A Proposal for Ada OY
J. Real, A. Burns, J. Miranda, E. Schonberg, A. Crespo (2004)
Proccedings Software Technologies - Ada Europe
[ Abstract and Details ]
Fixed Priority Timing Analysis of Real-Time Systems with Limited Parallelism
N. C. Audsley, K. Bletsas (2004)
Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 04)
[ Abstract and Details | Download ]
Flexible Design of Complex High-Integrity Systems Using Trade Offs
I. Bate, N. Audsley (2004)
8th IEEE International Symposium on High Assurance Systems Engineering
[ Abstract and Details | Download ]
Hard Real-Time Communication with the Timed Token Protocol: Current State and
S. Zhang, A. Burns, J. Chen, E.S. Lee (2004)
Real-Time Journal
[ Abstract and Details ]
High Level Organisation of Safety Arguments
Iain Bate, Simon Bates, John McDermid (2004)
Proceedings of the 22nd International System Safety Conference
[ Abstract and Details | Download ]
Improving Certification Capability Through Autocode Generation
N. Audsley, I. Bate, S. Crook-Dawkins, J. McDermid (2004)
Proceedings of the World Computing Congress
[ Abstract and Details | Download ]
Improving certification capability through automatic code generation
Neil C. Audsley, Iain Bate, Steve Crook-Dawkins, John McDermid (2004)
511-520
Springer Boston
[ Abstract and Details ]
Improving the Efficiency of Remote Resource Usage in Distributed Real-Time Systems
P. S. Usher, N. C. Audsley (2004)
Proceedings of Proceedings Work in Progress session of Real-time Systems Symposium
[ Abstract and Details | Download ]
Memory Management Based on Method Invocation in RTSJ
J. Kwon, A. Wellings (2004)
Lecture Notes in Computer Science (3292) Proceedings of the OTM 2004 Workshops: Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES)
[ Abstract and Details | Download ]
Model Driven Architectures as a Facilitator for Automatic Code Generation
N. Audsley, S.K. Crook-Dawkins (2004)
IASTED conference on Software Engineering
[ Abstract and Details ]
OpenAda: Compile-Time Reflection for Ada 95
P. Rogers, A.J. Wellings (2004)
Proccedings Software Technologies - Ada Europe
[ Abstract and Details ]
Random Arrivals in Fixed Priority Analysis
I. Broster, A. Burns (2004)
Proceedings of the 1st International Workshop on Probabilistic Analysis Techniques for Real-time Systems (PARTES2004)
[ Abstract and Details | Download ]
Real Time Scheduling Theory: A Historical Perspective
Lui Sha, Tarek Abdelzaher, Karl-Erik Arzen, Anton Cervin, Theodore Baker, Alan Burns, Giorgio Buttazzo, Marco Caccamo, John Lehoczky, Aloysious K. Mok (2004)
Real-Time Systems Journal
[ Abstract and Details ]
Realistic Analysis of Limited Parallel Software / Hardware Implementations
N. C. Audsley, K. Bletsas (2004)
Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS2004)
[ Abstract and Details ]
Replication Management in Reliable Real-Time Systems
L. M. Pinho, F. Vasques, A. J. Wellings (2004)
Real-Time Systems
[ Abstract and Details ]
Requirements for a Real-Time .NET Framework
A. Zerzelidis, A. J. Wellings (2004)
University of York - Department of Computer Science
[ Abstract and Details | Download ]
Rewriting History to Exploit Gain Time
G. Bernat, I. Broster, A. Burns (2004)
Proceedings Real-time Systems Symposium
[ Abstract and Details | Download ]
Safety Arguments for use of an Ada to FPGA Compiler
I. Bate, S. Bates, J. McDermid (2004)
Proceedings of the 22nd International System Safety Conference
[ Abstract and Details | Download ]
Supporting Deadlines and EDF Scheduling in Ada
A. Burns, A.J. Wellings, T. Taft (2004)
Proceedings Reliable Software Technologies - Ada Europe
[ Abstract and Details ]
Supporting Mixed Criticality Applications in a Ravenscar-Java Environment
Hao Cai, Andy Wellings (2004)
Lecture Notes in Computer Science
[ Abstract and Details ]
Synthesis of Legacy Real-Time Ada Software to FPGA
N. Audsley, I. Bate (2004)
Proceedings of the 10th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA 2004)
[ Abstract and Details | Download ]
The Real-Time Specification for Java: Current Status and Future Work
P. Dibble, A.J. Wellings (2004)
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ISORC-2004
[ Abstract and Details | Download ]
Worst-Case Execution Time Analysis for Dynamic Branch Predictors
I. Bate, R. Reutemann (2004)
Proceedings of the 16th Euromicro Conference on Real-Time Systems
[ Abstract and Details ]
|
