Real-time Programming 2000 (WRTP'2000)

Real-time Programming 2000 (WRTP'2000)
Author :
Publisher : Pergamon
Total Pages : 232
Release :
ISBN-10 : UOM:39015054252823
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Real-time Programming 2000 (WRTP'2000) by : Alfons Crespo

Download or read book Real-time Programming 2000 (WRTP'2000) written by Alfons Crespo and published by Pergamon. This book was released on 2000 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Proceedings contains the papers presented at the IFAC Workshop on Real-Time Programming held in Spain. During these last twelve years, the Workshop on Real-Time Programming (WRTP) has developed as an excellent forum for presenting the most relevant advances in the field of real-time computing and exchanging information and experiences among the real-time community. Several of the most relevant people of this community have participated in the reviewing process that plays, every time, a more important role. This year, 48 papers from 16 different countries have been submitted to the Workshop. After the review process, 31 of them have been selected for presentation including 2 industrial papers. They cover topics of formal methods, scheduling, distributed systems, embedded systems, design techniques, applications, etc. Their discussion proved to be interesting and productive, and we are sure that it helped to throw light on some of the aspects of Real-Time Programming. WRTP 2000 was organised in co-operation with another event related to the real-time field: the Workshop on Algorithms and Architecture for Real-Time Control (AARTC). Both Workshops were scheduled with a common day of joint activities. This experience increased the level of cooperation and information exchanging between this two research communities which have several aspects in common.


Real-time Programming 2000 (WRTP'2000) Related Books

Real-time Programming 2000 (WRTP'2000)
Language: en
Pages: 232
Authors: Alfons Crespo
Categories: Computers
Type: BOOK - Published: 2000 - Publisher: Pergamon

DOWNLOAD EBOOK

This Proceedings contains the papers presented at the IFAC Workshop on Real-Time Programming held in Spain. During these last twelve years, the Workshop on Real
FME 2001: Formal Methods for Increasing Software Productivity
Language: en
Pages: 641
Authors: Jose N. Oliveira
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD EBOOK

FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimula
Algorithms and Architectures for Real-Time Control 2000
Language: en
Pages: 266
Authors: V. Hernandez
Categories: Computers
Type: BOOK - Published: 2000-12-04 - Publisher: Pergamon

DOWNLOAD EBOOK

The 6th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC'2000) was held at Palma de Mallorca, Spain. The objective, as in previous edi
Operational Semantics for Timed Systems
Language: en
Pages: 221
Authors: Heinrich Rust
Categories: Computers
Type: BOOK - Published: 2005-04-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This monograph is dedicated to a novel approach for uniform modeling of timed and hybrid systems. The author introduces a time model that allows for both the de
Bibliographic Index
Language: en
Pages: 1080
Authors:
Categories: Bibliographical literature
Type: BOOK - Published: 2002 - Publisher:

DOWNLOAD EBOOK