Published in: LITES, Volume 2, Issue 2 (2015). Leibniz Transactions on Embedded Systems, Volume 2, Issue 2
Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, and David Lesens. From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation. In LITES, Volume 2, Issue 2 (2015). Leibniz Transactions on Embedded Systems, Volume 2, Issue 2, pp. 01:1-01:30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2015)
@Article{carle_et_al:LITES-v002-i002-a001, author = {Carle, Thomas and Potop-Butucaru, Dumitru and Sorel, Yves and Lesens, David}, title = {{From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {01:1--01:30}, ISSN = {2199-2002}, year = {2015}, volume = {2}, number = {2}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v002-i002-a001}, doi = {10.4230/LITES-v002-i002-a001}, annote = {Keywords: Time-triggered, Off-line real-time scheduling, Temporal partitioning} }
Published in: Dagstuhl Reports, Volume 3, Issue 11 (2014)
Stephen A. Edwards, Alain Girault, and Klaus Schneider. Synchronous Programming (Dagstuhl Seminar 13471). In Dagstuhl Reports, Volume 3, Issue 11, pp. 117-143, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2014)
@Article{edwards_et_al:DagRep.3.11.117, author = {Edwards, Stephen A. and Girault, Alain and Schneider, Klaus}, title = {{Synchronous Programming (Dagstuhl Seminar 13471)}}, pages = {117--143}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {3}, number = {11}, editor = {Edwards, Stephen A. and Girault, Alain and Schneider, Klaus}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.11.117}, URN = {urn:nbn:de:0030-drops-44395}, doi = {10.4230/DagRep.3.11.117}, annote = {Keywords: Synchronous Languages, Hybrid Systems, Formal Verification, Models of Computation, WCET-Analysis, Embedded Systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 9481, SYNCHRON 2009
Albert Benveniste, Stephen A. Edwards, Edward Lee, Klaus Schneider, and Reinhard von Hanxleden. 09481 Abstracts Collection – SYNCHRON 2009. In SYNCHRON 2009. Dagstuhl Seminar Proceedings, Volume 9481, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2010)
@InProceedings{benveniste_et_al:DagSemProc.09481.1, author = {Benveniste, Albert and Edwards, Stephen A. and Lee, Edward and Schneider, Klaus and von Hanxleden, Reinhard}, title = {{09481 Abstracts Collection – SYNCHRON 2009}}, booktitle = {SYNCHRON 2009}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9481}, editor = {Albert Benveniste and Stephen A. Edwards and Edward Lee and Klaus Schneider and Reinhard von Hanxleden}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09481.1}, URN = {urn:nbn:de:0030-drops-24340}, doi = {10.4230/DagSemProc.09481.1}, annote = {Keywords: Synchronous languages, Safety-critical real-time systems, Model-based design, Discrete and hybrid systems, Combining synchronous and asynchronous models, Formally consistent subsetting of UML, High-level hardware modeling and synthesis, Compilation and code synthesis for embedded systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)
Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner. 04491 Abstracts Collection – Synchronous Programming - SYNCHRON'04. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2005)
@InProceedings{edwards_et_al:DagSemProc.04491.1, author = {Edwards, Stephen A. and Halbwachs, Nicholas and von Hanxleden, Reinhard and Stauner, Thomas}, title = {{04491 Abstracts Collection – Synchronous Programming - SYNCHRON'04}}, booktitle = {Synchronous Programming - SYNCHRON'04}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4491}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.1}, URN = {urn:nbn:de:0030-drops-1961}, doi = {10.4230/DagSemProc.04491.1}, annote = {Keywords: Synchronous languages , executive summary , Esterel , Lustre , Signal , semantics , programming languages , real-time systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)
Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner. 04491 Executive Summary – Synchronous Programming - SYNCHRON'04. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2005)
@InProceedings{edwards_et_al:DagSemProc.04491.2, author = {Edwards, Stephen A. and Halbwachs, Nicholas and von Hanxleden, Reinhard and Stauner, Thomas}, title = {{04491 Executive Summary – Synchronous Programming - SYNCHRON'04}}, booktitle = {Synchronous Programming - SYNCHRON'04}, pages = {1--7}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4491}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.2}, URN = {urn:nbn:de:0030-drops-1959}, doi = {10.4230/DagSemProc.04491.2}, annote = {Keywords: Synchronous languages , executive summary , Esterel , Lustre , signal , semantics , programming languages , real-time systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)
David White and Gerald Luettgen. Accessing Databases within Esterel. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2005)
@InProceedings{white_et_al:DagSemProc.04491.3, author = {White, David and Luettgen, Gerald}, title = {{Accessing Databases within Esterel}}, booktitle = {Synchronous Programming - SYNCHRON'04}, pages = {1--21}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4491}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.3}, URN = {urn:nbn:de:0030-drops-1619}, doi = {10.4230/DagSemProc.04491.3}, annote = {Keywords: database esterel lego mindstorms} }
Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)
Jan Lukoschus and Reinhard von Hanxleden. Removing Cycles in Esterel Programs. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2005)
@InProceedings{lukoschus_et_al:DagSemProc.04491.4, author = {Lukoschus, Jan and von Hanxleden, Reinhard}, title = {{Removing Cycles in Esterel Programs}}, booktitle = {Synchronous Programming - SYNCHRON'04}, pages = {1--27}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4491}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.4}, URN = {urn:nbn:de:0030-drops-1606}, doi = {10.4230/DagSemProc.04491.4}, annote = {Keywords: Synchronous Languages , compilation , cyclic circuits , constructiveness , Esterel} }
Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)
Stephen A. Edwards. SHIM: A Language for Hardware/Software Integration. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2005)
@InProceedings{edwards:DagSemProc.04491.5, author = {Edwards, Stephen A.}, title = {{SHIM: A Language for Hardware/Software Integration}}, booktitle = {Synchronous Programming - SYNCHRON'04}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4491}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.5}, URN = {urn:nbn:de:0030-drops-1580}, doi = {10.4230/DagSemProc.04491.5}, annote = {Keywords: Hardware/software codesign , synchronous , asynchronous , language design , integration} }
Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)
Xin Li and Reinhard von Hanxleden. The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2005)
@InProceedings{li_et_al:DagSemProc.04491.6, author = {Li, Xin and von Hanxleden, Reinhard}, title = {{The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor}}, booktitle = {Synchronous Programming - SYNCHRON'04}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4491}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.6}, URN = {urn:nbn:de:0030-drops-1597}, doi = {10.4230/DagSemProc.04491.6}, annote = {Keywords: Esterel , synchronous languages , reactive programming , ASIPs} }
Feedback for Dagstuhl Publishing