QR Code

Introduction to real-time software design /

Saved in:

Bibliographic Details
Main Author:	Allworth, Steve T.
Format:	Book
Language:	English
Published:	London : Macmillan Press, 1981
Series:	Macmillan computer science series
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

REAL TIME SOFTWARE /
by: Glass, Robert L.
Published: (1983)

Real-time multicomputer software systems /
by: Stein, Richard Marlon
Published: (1992)

VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE /
by: Bologna, S.
Published: (1985)

The design of real time applications /
by: Blackman, Maurice
Published: (1976)

Real-time computer control. An introduction /
by: Bennett, Stuart
Published: (1994)

Real time languages. Design and development /
by: Young, Stephen J.
Published: (1982)

Concurrent and real-time systems. The CSP approach /
by: Schneider, Steve
Published: (2000)

Software engineering for parallel real-time systems : Proceedings of the internat. workshop, Smolenice, March 1993 /
by: Henkel, J.
Published: (1993)

BASIC programming in real time /
by: Cassel, Don
Published: (1975)

Observing the Oceans in Real Time
Published: (2018)

Real-time PCR : current technology and applications /
by: Logan, Julie. (Julie M. J.), et al.
Published: (2009)

Real - time computer systems /
by: Freedman, A. L., et al.
Published: (1977)

Real-time systems : formal specification and automatic verification /
by: Olderog, Ernst-Rüdiger, et al.
Published: (2008)

STRATEGIES FOR REAL TIME SYSTEM SPECIFICATION /
by: Hatley, Derek J.
Published: (1987)

A calculus of real time systems /
by: Wang, Yi
Published: (1991)

Real-time embedded systems : optimization, synthesis, and networking /
by: Qiu, Meikang, et al.
Published: (2011)

Application of FPGA to Real‐Time Machine Learning Hardware Reservoir Computers and Software Image Processing /
by: Antonik, Piotr
Published: (2018)

Distributed algorithms for hard real-time systems /
by: Alstein, Dick
Published: (1996)

Scheduler optimization in real-time distributed databases /
by: Bodlaender, Maarten Peter
Published: (1999)

Parallel processing in industrial real-time applications /
by: Lawson, Harold W.
Published: (1992)

MULTIPLE PROCESSOR SYSTEMS FOR REAL-TIME APPLICATIONS /
by: Liebowitz, Burt H.
Published: (1985)

Specification and compositional verification of real-time systems /
by: Hooman, Jozef Johannes Maria
Published: (1991)

Real-time control of electric power systems /
Published: (1972)

Lecture Notes in Real-Time Intelligent Systems
Published: (2018)

A constructive method for the architectural design and correctness verification of real-time programs /
by: Saukkonen, Samuli
Published: (1983)

Introduction to software engineering design : processes, principles and patterns with UML2 /
by: Fox, Christopher John
Published: (2007)

A Readable Introduction to Real Mathematics
by: Rosenthal, Daniel
Published: (2018)

Real-Time Modelling and Processing for Communication Systems Applications and Practices /
Published: (2018)

A practical guide to real-time systems development /
by: Goldsmith, Sylvia
Published: (1993)

Formal techniques for verification of complex real-time systems /
by: Geilen, Marc Constantijn Willem
Published: (2002)

Real-Time Coaching and Pre-Service Teacher Education
by: Stahl, Garth
Published: (2018)

Real-Time Quantum Dynamics of Electron-Phonon Systems
by: Rizzi, Valerio
Published: (2018)

Real time programming. 1985 : Proceedings of the 13th IFAC/IFIP workshop, Purdue Univ., West Lafayette, Indiana, USA, 7. - 8. Oct. 1985 /
by: Fischer, A. M.
Published: (1986)

Distributed real-time systems. Monitoring, visualization, debugging, and analysis /
by: Tsai, Jeffrey J. P.
Published: (1996)

Real-time constrained reconfigurable communication between embedded processors /
by: Leitjen, Jeroen Anton Johan
Published: (1998)

Rapid cycle real-time PCR. Methods and applications. Quantification /
by: Hahn, Meinhard
Published: (2004)

Proceedings of the 1974 IFAC-IFIP workshop on real-time proramming /
Published: (1974)

Real-Time Monitoring of Cancer Cell Metabolism for Drug Testing
Published: (2015)

Artificial intelligence in real time control. 1994 : IFAC symposium, Valencia, Spain, 3 - 5 Oct. 1994 /
by: Crespo, Alfons
Published: (1995)

GPS-linked high accuracy NTP time processor for distributed fault-tolerant real-time systems /
by: Loy, Dietmar
Published: (1997)