Real Time Programming 1986 - 1st Edition - ISBN: 9780080343471, 9781483298047

Real Time Programming 1986

1st Edition

Proceedings of the 14th IFAC/IFIP Workshop, Lake Balaton, Hungary, 26-28 May 1986

Editors: J. Szlanko
eBook ISBN: 9781483298047
Imprint: Pergamon
Published Date: 17th December 1986
Page Count: 135
Tax/VAT will be calculated at check-out Price includes VAT (GST)
72.95
54.95
43.99
Unavailable
Price includes VAT (GST)
× DRM-Free

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Table of Contents

Fluide: an operating environment for extensible multiprocessors, J Skubich et al. Mapping an algebraic specification onto a modula-2-program, W Ditt. Perspectives of automatic real-time program synthesis, Z Banaszak. A knowledge-presentation for diagnosis of dynamical systems, N Kumagai et al. A framework for fault tolerant design using abstract data types, M B Kelly. Digital signal processors, H Halling. A paradigm for the development of distributed systems, G M Bull et al. Development of real-time systems: specifying functional and parallel behaviour formally, M Goedicke. Rtunix - one step towards real-time unix, T Tempelmeier. Problems of real-time scheduling, D J Leigh. Formal specification of a real-time multiprogramming kernel, J Gorski. Artex - a real-time executive for distributed process control, O Pettersen. Formal specification of real-time software systems: an industrial example, J A de la Puente et al.


Description

The 1986 IFAC/IFIP Workshop on real-time programming represents the 14th meeting of this workshop since it was first organized in 1971. Traditionally a meeting of a small number of experts, the papers presented at this meeting concentrate on the topics of real-time environment and executives, software development tools and languages, and special real-time applications. The continuing progress being made in this field of programming is amply reflected by the papers and should be of interest to anyone wishing to be kept up to date in the field.

Readership

For all those working in the field of real-time programming.


Details

No. of pages:
135
Language:
English
Copyright:
© Pergamon 1986
Published:
Imprint:
Pergamon
eBook ISBN:
9781483298047

About the Editors

J. Szlanko Editor

Affiliations and Expertise

Hungarian Academy of Sciences, Budapest, Hungary