2097 search results - page 342 / 420 » Modeling and Simulation of Hardware Software Systems with CD... |
VLSID
2004
IEEE
14 years 9 months ago
2004
IEEE
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents the design and implementation of a thread virtual machine, called TNT (or TiNy-Threads) for the IBM Cyclops64 architecture (the latest Cyclops architecture tha...
IFIPTCS
2000
14 years 27 days ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
HICSS
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
ATAL
1995
Springer
14 years 27 days ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...