Name: Designing Embedded Systems With the Signal Programming Language: Synchronous, Reactive Specification (en Inglés)
SKU: 57761981
Price: 102.80 USD
Availability: InStock
Author: Abdoulaye Gamatié
ISBN: 9781489985125

portada Designing Embedded Systems With the Signal Programming Language: Synchronous, Reactive Specification (en Inglés)

Designing Embedded Systems With the Signal Programming Language: Synchronous, Reactive Specification (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Abdoulaye Gamatié

Idioma

Inglés

N° páginas

282

Encuadernación

Tapa Blanda

ISBN13

9781489985125

N° edición

2010th

Designing Embedded Systems With the Signal Programming Language: Synchronous, Reactive Specification (en Inglés)

Abdoulaye Gamatié (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 205.61$ 102.80

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 102.80

Llega entre el 12 Oct y el 23 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Designing Embedded Systems With the Signal Programming Language: Synchronous, Reactive Specification (en Inglés)"

I am very pleased to play even a small part in the publication of this book on the SIGNAL language and its environment POLYCHRONY. I am sure it will be a s- ni?cant milestone in the development of the SIGNAL language, of synchronous computing in general, and of the data?ow approach to computation. In data?ow, the computation takes place in a producer-consumer network of - dependent processing stations. Data travels in streams and is transformed as these streams pass through the processing stations (often called ?lters). Data?ow is an attractive model for many reasons, not least because it corresponds to the way p- duction, transportation, andcommunicationare typicallyorganizedin the real world (outside cyberspace). I myself stumbled into data?ow almost against my will. In the mid-1970s, Ed Ashcroft and I set out to design a "super" structured programming language that, we hoped, would radically simplify proving assertions about programs. In the end, we decided that it had to be declarative. However, we also were determined that iterative algorithms could be expressed directly, without circumlocutions such as the use of a tail-recursive function. The language that resulted, which we named LUCID, was much less traditional then we would have liked. LUCID statements are equations in a kind of executable temporallogic thatspecifythe (time)sequencesof variablesinvolvedin aniteration.