Mapping Esterel onto a multi-threaded embedded processor
X Li, M Boldt, R von Hanxleden - … of the 12th international conference on …, 2006 - dl.acm.org
The synchronous language Esterel is well-suited for programming control-dominated
reactive systems at the system level. It provides non-traditional control structures, in …
reactive systems at the system level. It provides non-traditional control structures, in …
A concurrent reactive Esterel processor based on multi-threading
X Li, R von Hanxleden - Proceedings of the 2006 ACM symposium on …, 2006 - dl.acm.org
Esterel is a concurrent synchronous language for developing reactive systems. As an
alternative to the classical software and hardware synthesis paths, the reactive processing …
alternative to the classical software and hardware synthesis paths, the reactive processing …
Exploiting Process Dynamics in Multi-Stage Schedule Optimization for Flexible Manufacturing
M Balszun, C Hobbs, E Fraccaroli… - 2022 IEEE 27th …, 2022 - ieeexplore.ieee.org
The core idea of flexible manufacturing is adapting to changes. In this domain, the machine
is not confined to a single fixed type of process but can perform different jobs (eg, cutting …
is not confined to a single fixed type of process but can perform different jobs (eg, cutting …
Process dynamics-aware flexible manufacturing for industry 4.0
M Balszun, C Hobbs, E Fraccaroli… - 2022 IEEE 18th …, 2022 - ieeexplore.ieee.org
This paper studies the following basic flexible manufacturing problem: Given N machines
that can perform the same job on a production item (eg, drilling or tapping) but with different …
that can perform the same job on a production item (eg, drilling or tapping) but with different …
Schedulability analysis with UML
M Di Natale, M Saksena - UML for Real: Design of Embedded Real-Time …, 2003 - Springer
The growing complexity of real-time software is generating an increasing demand for
(specialized) UML as a modeling language for real-time systems. Verification of non …
(specialized) UML as a modeling language for real-time systems. Verification of non …
Cosíntesis de sistemas heterogéneos complejos
JMM Fernández - 2002 - dialnet.unirioja.es
Los rápidos cambios tecnológicos y la fuerte demanda de aparatos electrónicos de
consumo, cada vez más complejos, están haciendo que el coste de diseño sea dominante …
consumo, cada vez más complejos, están haciendo que el coste de diseño sea dominante …
[PDF][PDF] INSTITUT FUR INFORMATIK UND PRAKTISCHE MATHEMATIK
ACRE Processor - 2005 - rtsys.informatik.uni-kiel.de
The synchronous language Esterel is well-suited for programming control-dominated
reactive systems at the system level. It provides non-traditional control structures, in …
reactive systems at the system level. It provides non-traditional control structures, in …
[PDF][PDF] Mapping Esterel onto a Multi-Threaded Embedded Processor
MTE Processor - 2006 - rtsys.informatik.uni-kiel.de
The synchronous language Esterel is well-suited for programming control-dominated
reactive systems at the system level. It provides non-traditional control structures, in …
reactive systems at the system level. It provides non-traditional control structures, in …