IRIS – Institutional Research Information System
IRIS è il sistema di gestione della ricerca dell’Università degli Studi di Milano-Bicocca.Il repository BOA è il modulo del sistema dedicato alla raccolta e alla disseminazione della produzione scientifica di Ateneo. Le pubblicazioni sono ricercabili per parola chiave attraverso il box nella barra orizzontale in alto oppure, mediante il pulsante Sfoglia, per "Afferenza", "Autore", "Titolo", "Tipologia" o "Settore scientifico-disciplinare".
IRIS contiene inoltre alcuni moduli dedicati alla registrazione dei progetti e dei contratti, e alla reportistica avanzata per le attività di valutazione della ricerca
EnglishWe have presented two language extensions for C and Java for embedded system specification, simulation and implementation. The two languages JESTER and ECL build upon the ESTEREL synchronous semantic foundation that provides support for waiting, concurrency and preemption. They nicely support specification of mixed control/data modules. The compilation is performed by splitting the source code into reactive ESTEREL code (as large as possible, in the current implementation) and data-dominated C or Java code. The large reactive portion can be robustly optimized and synthesized to either hardware or software, while the C residual code must be either implemented in software as is or the user must provide a a hardware implementation
Antoniotti, M., Ferrari, A., Lavagno, L., Sangiovanni Vincentelli, A., & Sentovich, E. (2001). Embedded system design specification: merging reactive control and data computation. In Proceedings of the 40th IEEE Conference on Decision and Control (pp.3302-3307) [10.1109/CDC.2001.980331].
| Citazione: | Antoniotti, M., Ferrari, A., Lavagno, L., Sangiovanni Vincentelli, A., & Sentovich, E. (2001). Embedded system design specification: merging reactive control and data computation. In Proceedings of the 40th IEEE Conference on Decision and Control (pp.3302-3307) [10.1109/CDC.2001.980331]. | |
| Tipo: | paper | |
| Carattere della pubblicazione: | Scientifica | |
| Presenza di un coautore afferente ad Istituzioni straniere: | Si | |
| Titolo: | Embedded system design specification: merging reactive control and data computation | |
| Autori: | Antoniotti, M; Ferrari, A; Lavagno, L; Sangiovanni Vincentelli, A; Sentovich, E | |
| Autori: | ||
| Data di pubblicazione: | 2001 | |
| Lingua: | English | |
| Nome del convegno: | 40th IEEE Conference on Decision and Control 4-7 December | |
| ISBN: | 0-7803-7061-9 | |
| Serie: | PROCEEDINGS OF THE IEEE CONFERENCE ON DECISION & CONTROL | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1109/CDC.2001.980331 | |
| Appare nelle tipologie: | 02 - Intervento a convegno |
File in questo prodotto:
Copyright © 2022