Sciweavers

444 search results - page 3 / 89
» Model Based Synthesis of Embedded Software
Sort
View
EMSOFT
2003
Springer
13 years 10 months ago
Constraint-Based Design-Space Exploration and Model Synthesis
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
Sandeep Neema, Janos Sztipanovits, Gabor Karsai, K...
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
13 years 10 months ago
A formal software synthesis approach for embedded hard real-time systems
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
Raimundo S. Barreto, Marília Neves, Meuse N...
ISSS
1996
IEEE
169views Hardware» more  ISSS 1996»
13 years 9 months ago
The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
Alessandro Balboni, William Fornaciari, M. Vincenz...
DATE
2008
IEEE
119views Hardware» more  DATE 2008»
13 years 11 months ago
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis
Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro,...