Papers published in 2007
A Deterministic Implementation Process for Accurate and Traceable System Timing and Space Analysis
Micheal Ward, Neil Audsley (2007)
Proceedings of the 13th IEEE Real-time and Embedded Computing Systems and Applications Symposium
[ Abstract and Details ]
A FIRST STEP TOWARDS USING REAL-TIME JAVA FOR SPACECRAFT ON-BOARD SOFTWARE
M. Prochazka, R. Ward, A. J. Wellings (2007)
Data Systems in Aerospace (DASIA 2007), ESA SP-638
[ Abstract and Details ]
A Priority-based Consensus Protocol
G. M. A. Lima, A. Burns (2007)
Proc. of the 25th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC 2007)
[ Abstract and Details | Download ]
A Self-Optimising Simulator For a Coarse-Grained Reconfigurable Array
Jack Whitham, Neil Audsley (2007)
[ Abstract and Details | Download ]
A framework for real-time utilities for Ada 2005
A.J. Wellings, A. Burns (2007)
Proceedings of IRTAW 13, Ada Letters, XXVII(2)
[ Abstract and Details ]
A model for real time mobility based on the RTSJ
Mohammed ALRahmawy, Andy Wellings (2007)
JTRES '07: Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
[ Abstract and Details ]
An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms
S. Poulding, P. Emberson, I. Bate, J. Clark (2007)
Proceedings of 10th IEEE High Assurance System Engineering Symposium (HASE 2007)
[ Abstract and Details | Download ]
An engineering process for the verification of real-time systems
A. Burns, T.-M. Lin (2007)
Formal Aspects of Computing
[ Abstract and Details ]
Analysis of Hierarchical EDF Pre-emptive Scheduling
Fengxiang Zhang, Alan Burns (2007)
Proceedings of IEEE Real-Time Systems Symposium
[ Abstract and Details ]
Applying Artificial Immune Systems to Real-Time Embedded Systems
N. Lay, I. Bate (2007)
Congress on Evolutionary Computation (CEC)
[ Abstract and Details ]
Asynchronous event handling in the real-time specification for Java
MinSeong Kim, Andy Wellings (2007)
JTRES '07: Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
[ Abstract and Details ]
Beyond Ada 2005: allocating tasks to processors in SMP systems
A.J. Wellings, A. Burns (2007)
Proceedings of IRTAW 13, Ada Letters, XXVII(2)
[ Abstract and Details ]
Concurrent and Real-TIme Programming in Ada
A Burns, A. J. Wellings (2007)
Cambridge University Press
[ Abstract and Details ]
Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised
R. I. Davis, A. Burns, R. J. Bril, J. J. Lukkien (2007)
Real-Time Systems
[ Abstract and Details ]
Correcting the EDF protocol in Ada 2005
A. Zerzelidis, A. Burns, A.J. Wellings (2007)
Proceedings of IRTAW 13, Ada Letters, XXVII(2)
[ Abstract and Details ]
Cost enforcement in the real-time specification for Java
O. M. Santos, A. Wellings (2007)
Real-Time Systems
[ Abstract and Details ]
Delivering Real-Time Behaviour
A. Burns, A.J. Wellings (2007)
Domain Modeling and Duration Calculus
Springer
[ Abstract and Details ]
Efficient Exact Schedulability Tests for Fixed Priority Real-time Systems
Robert Davis, Attila Zabos, Alan Burns (2007)
Computer Science Dept., University of York
[ Abstract and Details ]
Efficient Page lock/release mechanism in OS for out-of-core Embedded Applications
Ameet Patil, Neil Audsley (2007)
Proceedings of the 13th IEEE Real-time and Embedded Computing Systems and Applications Symposium
[ Abstract and Details ]
Efficiently Accessing Remote Resources in Distributed Real-Time Systems
Paul Usher, Neil Audsley (2007)
Proceedings of the 13th IEEE Real-time and Embedded Computing Systems and Applications Symposium
[ Abstract and Details ]
Evaluating timebands as a tool for structuring the design of socio-technical systems
G. Baxter, A. Burns, K. Tan (2007)
Contemporary Ergonomics 2007
[ Abstract and Details | Download ]
Exact Response Time Analysis for Multiframe Tasks
A. Zuhily (2007)
University of York
[ Abstract and Details ]
Integrating OOP and tasking: the missing requeue
A.J. Wellings, A. Burns (2007)
Proceedings of IRTAW 13, Ada Letters, XXVII(2)
[ Abstract and Details ]
Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java
A. Wellings, A. Burns, O. M. Santos, B. M. Brosgol (2007)
University of York - Computer Science Department
[ Abstract and Details ]
Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java
A. Wellings, A. Burns, O. M. Santos, B. M. Brosgol (2007)
10th IEEE Int. Symp. on Object and Component-Oriented Real-Time Distributed Computing
[ Abstract and Details ]
Knowledge Theoretic Design for Data Transmission Protocols of Wireless Sensor Networks
Ioanna Symeou (2007)
University of York, Computer Science Dept., Real-Time Systems Group
[ Abstract and Details | Download ]
Knowledge-Based Analysis of Directed Diffusion
Ioanna Symeou, Alan Burns (2007)
Proceedings of the 1st IARIA IEEE International Conference on Sensor Technologies and Applications (SENSORCOMM)
[ Abstract and Details ]
Knowledge-Theoretic Protocols for Wireless Sensor Networks
Ioanna Symeou (2007)
Proceedings of the 3rd IET UK Embedded Forum
[ Abstract and Details | Download ]
Minimising Task Migrations and Priority Changes In Mode Transitions
P. Emberson, I. Bate (2007)
Proceedings of the 13th IEEE Real-Time And Embedded Technology And Applications Symposium (RTAS 07)
[ Abstract and Details | Download ]
Optimal (D - J) - monotonic priority assignment
A. Zuhily, A. Burns (2007)
Information Processing Letters
[ Abstract and Details ]
Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005
A. Burns, A.J. Wellings (2007)
Handbook of Real-Time and Embedded Systems
Chapman and Hall/CRC
[ Abstract and Details ]
Programming execution-time servers in Ada 2005
A. Burns, A.J. Wellings (2007)
Proceedings of IRTAW 13, Ada Letters, XXVII(2)
[ Abstract and Details ]
Real-Time Java
A.J. Wellings, A. Burns (2007)
Handbook of Real-Time and Embedded Systems
Chapman and Hall/CRC
[ Abstract and Details ]
Real-Time Utilities for Ada 2005
A. J. Wellings, A. Burns (2007)
Reliable Software Technologies - Ada Europe 2007, Lecture Notes in Computer Science
[ Abstract and Details ]
Robust Priority Assignment for Fixed Priority Real-Time Systems
R. I. Davis, A. Burns (2007)
Proceedings of IEEE Real-Time Systems Symposium
[ Abstract and Details ]
Suggestions for stream based parallel systems in Ada
M. Ward, N. C. Audsley (2007)
Proceedings of IRTAW 13, Ada Letters, XXVII(2)
[ Abstract and Details ]
Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach
Yanching Chu, Alan Burns (2007)
Proceedings of ECRTS07
[ Abstract and Details ]
|
