799 search results - page 61 / 160 » Generating Reliable Code from Hybrid-Systems Models |
ECMDAFA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Model-based development is supposed to improve the development efficiency by raising the abstraction level and generating applications instead of manually coding the appl...
IRREGULAR
1997
Springer
14 years 2 months ago
1997
Springer
Stochastic modeling forms the basis for analysis in many areas, including biological and economic systems, as well as the performance and reliability modeling of computers and comm...
SIGGRAPH
1998
ACM
14 years 2 months ago
1998
ACM
During the last years the concept of multi-resolution modeling has gained special attention in many fields of computer graphics and geometric modeling. In this paper we generaliz...
SIGSOFT
2010
ACM
13 years 4 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...
CODES
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we propose an effective automatic generation approach for a Cycle-Count Accurate Memory Model (CCAMM) from the Clocked Finite State Machine (CFSM) of the Cycle Accu...