Scheduling in real time systems with deadlines

Scheduling in real time systems with deadlines

Bibliographic Details
Main Author:	Burden, Alan Keith
Published:	Imperial College London 1977
Subjects:	005.3
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.480481

Similar Items

Techniques for scheduling time-triggered resource-constrained embedded systems
by: Gendy, Ayman Khalifa Ghaly
Published: (2009)

The design of a run time system for a real time simulation language
by: Lubran, J. F.
Published: (1973)

Real-time operating system modelling and simulation using systemC
by: Yu, Ke
Published: (2010)

A formal approach to modelling real-time critical systems
by: Veloudis, Simeon
Published: (2004)

The Computer Generation of Images in Real-Time
by: Willis, P. J.
Published: (1976)

Analysis of job scheduling algorithms for heterogeneous multiprocessor computing systems
by: Spyropoulos, Constantinos D.
Published: (1979)

High-level interpretive languages and real-time programming
by: Thompson, J. W.
Published: (1977)

An integrated design procedure for real-time microprocessor applications
by: Herd, James T.
Published: (1978)

The production of surface textures in real-time computer generated imagery
by: Bolton, M. J. P.
Published: (1978)

Stage scheduling for CPU-intensive servers
by: Gordon, M.
Published: (2010)

Design patterns and component framework for building RTSJ-based real-time middleware
by: Alrahmawy, Mohammed
Published: (2010)

Train driver scheduling with windows of relief opportunities
by: Laplagne, Ignacio Eduardo
Published: (2008)

A constraint programming pre-processor for duty scheduling
by: Layfield, Colin
Published: (2002)

Automatic schedule computation for distributed real-time systems using timed automata
by: Park, Young-Saeng
Published: (2008)

An analysis of some multi-microprocessor scheduling strategies for parallel programs
by: Crespo, M. B.
Published: (1980)

Optimal Segmentation and Scheduling of Computer Programs in a Multiprogramming Environment
by: Chakravarty, A. K.
Published: (1975)

Self-Timed Logic and the Design of Self-Timed Adders
by: Padmanabhan, Balasubramanian
Published: (2010)

Design, formalization and realization of harmonic box coordination language : an externally timed specification substrate for arbitrarily reliable distributed systems
by: George, Samuel R. J.
Published: (2014)

A grid and cloud-based framework for high throughput bioinformatics
by: Flanagan, Keith Stanley
Published: (2010)

Latent variable methods for visualization through time
by: Strachan, Iain Guy David
Published: (2002)

Speech/music discrimination : novel features in time domain
by: Alnadabi, Muhammad Saeid Muhammad
Published: (2010)

Developing embedded software using compile-time virtualisation
by: Gray, I.
Published: (2010)

Resolution-based methods for linear-time temporal logics : with applications to formal verification
by: Ludwig, Michel
Published: (2010)

Exploiting structure to cope with NP-hard graph problems : polynomial and exponential time exact algorithms
by: Van-'T-Hof, Pim
Published: (2010)

A multi-agent system for a bus crew rescheduling system
by: Shibghatullah, Abdul Samad
Published: (2008)

Computerised link analysis system : development and testing of a new link analysis system
by: Zhao, Yu
Published: (2011)

Understanding systems with virtual machines
by: Ho, A. C.
Published: (2007)

Information flow in cybernetic systems
by: Clifton, K.
Published: (1979)

Formalisation of component-based systems
by: Zhou, Jiong
Published: (2007)

Digital Simulation of Dynamic Systems
by: Al-Afifi, J. I.
Published: (1978)

Computational partitioning for heterogeneous systems
by: Spacey, Simon A.
Published: (2010)

Evolution of batch-oriented COBOL systems into object-oriented systems through unified modelling language
by: Millham, Richard C.
Published: (2006)

The construction of recoverable multi-level systems
by: Verhofstad, Joost S. M.
Published: (1977)

On the Simulation of Digital Differential Analyser Systems
by: Allerton, D. J.
Published: (1977)

Architectural support for socio-technical systems
by: El-Hassan, Osama E. S.
Published: (2009)

The management of dynamically reconfigurable computing systems
by: Su, Lan
Published: (2008)

User quality judgements of interactive systems
by: Hartmann, Jan
Published: (2008)

Development aids for structured concurrent systems
by: Morgan, J. D.
Published: (1980)

A microprogrammed operating system kernel
by: Herbert, Andrew James
Published: (1979)

Software for a linked computer system
by: Rice, J. D.
Published: (1975)

Cannot write session to /tmp/vufind_sessions/sess_onbgv81vpbe6na5i68aiv8u88b