Sciweavers

14190 search results - page 54 / 2838
» Abstractions for hybrid systems
Sort
View
RTAS
2003
IEEE
15 years 5 months ago
Modular Code Generation from Hybrid Automata based on Data Dependency
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
Jesung Kim, Insup Lee
HYBRID
2001
Springer
15 years 4 months ago
Minimum-Cost Reachability for Priced Timed Automata
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Gu...
HYBRID
2001
Springer
15 years 4 months ago
Optimal Control Using Bisimulations: Implementation
Mireille E. Broucke, Maria Domenica Di Benedetto, ...
HYBRID
2000
Springer
15 years 3 months ago
Theory of Optimal Control Using Bisimulations
Mireille E. Broucke, Maria Domenica Di Benedetto, ...
ERSA
2006
186views Hardware» more  ERSA 2006»
15 years 1 months ago
The Case for High Level Programming Models for Reconfigurable Computers
In this paper we first outline and discuss the issues of currently accepted computational models for hybrid CPU/FPGA systems. Then, we discuss the need for researchers to develop ...
David L. Andrews, Ron Sass, Erik Anderson, Jason A...