Formal methods for real-time computing /

Published 1996

Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings /

Published 1996

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 /

Published 1988

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings /

Published 1991

Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lubeck, Germany...

Published 1994

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and...

Published 2004

GPU Pro : advanced rendering techniques /

Published 2010

High speed design seminar /

Published 1990

Introduction to real-time imaging /

by Dougherty, Edward R.
Published 1995

Kaden kakumei Toron no shōgeki

Published 2004

Machine learning in real time : a thesis submitted in fulfilment of the requirements for the degree of Master of Engineering (Electrical) in the University of Canterbury /

by Palfi, Alexander Francis
Published 1979

Model-based testing of reactive systems advanced lectures /

Published 2005

A modular calculus for the average cost of data structuring

by Schellekens, Michel
Published 2008

Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems /

by Rust, Heinrich
Published 2005

Programming the parallel port : interfacing the PC for data acquisition and process control /

by Gadre, Dhananjay V.
Published 1998

Real-time imaging : theory, techniques, and applications /

Published 1996

Real time languages, design and development /

by Young, Stephen J. (Stephen John)
Published 1982

Real-time mobile multimedia services 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2007, San Jose, USA, October 31-Nove...

Published 2007

Real time operating systems in a high-level language 'C/C++' : pitfalls and possibilities /

by McCall, Tony
Published 2002

Real-time programming with microcomputers /

by Turner, Ronald C.
Published 1978