Sciweavers

14190 search results - page 54 / 2838
» Abstractions for hybrid systems
Sort
View
RTAS
2003
IEEE
15 years 11 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 10 months ago
Minimum-Cost Reachability for Priced Timed Automata
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Gu...
HYBRID
2001
Springer
15 years 10 months ago
Optimal Control Using Bisimulations: Implementation
Mireille E. Broucke, Maria Domenica Di Benedetto, ...
HYBRID
2000
Springer
15 years 10 months ago
Theory of Optimal Control Using Bisimulations
Mireille E. Broucke, Maria Domenica Di Benedetto, ...
ERSA
2006
186views Hardware» more  ERSA 2006»
15 years 7 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...