Real-Time Programming 1992
Real-Time Programming 1992

Author: J.A. De La Puente

Publisher: Elsevier

Published: 2017-02-21

Total Pages: 306

ISBN-13: 1483297896

DOWNLOAD EBOOK

The 47 papers in this volume provide a useful reference tool for the state-of-the-art research in real-time programming.

Real-Time Programming 2004
Real-Time Programming 2004

Author: Matjaž Colnarič

Publisher: Elsevier

Published: 2005

Total Pages: 166

ISBN-13: 9780080445823

DOWNLOAD EBOOK

This volume contains papers from the IFAC Workshop on Real-Time Programming. The aim of the Workshop was to bring together academic practitioners and industrialists involved in this important and expanding area of interest in order to exchange experiences on recent advances in this field. Contents include: * DEPENDABILITY AND SAFETY FOR REAL TIME SYSTEMS * REAL-TIME PROGRAMMING TECHNIQUES * SOFTWARE REQUIREMENT ENGINEERING * CONTROL SYSTEMS DESIGN * SOFTWARE DESIGN * SOFTWARE ENGINEERING AND COMPLEX ENGINEERINGSYSTEMS

Algorithms and Architectures for Real-Time Control 1991
Algorithms and Architectures for Real-Time Control 1991

Author: P.J. Fleming

Publisher: Elsevier

Published: 2014-07-22

Total Pages: 279

ISBN-13: 1483298256

DOWNLOAD EBOOK

Computer scientists have long appreciated that the relationship between algorithms and architecture is crucial. Broadly speaking the more specialized the architecture is to a particular algorithm then the more efficient will be the computation. The penalty is that the architecture will become useless for computing anything other than that algorithm. This message holds for the algorithms used in real-time automatic control as much as any other field. These Proceedings will provide researchers in this field with a useful up-to-date reference source of recent developments.

Embedded Software
Embedded Software

Author: Rajeev Alur

Publisher: Springer Science & Business Media

Published: 2003-09-29

Total Pages: 382

ISBN-13: 3540202234

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003. The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip.