12333 search results - page 13 / 2467 » System Level Modelling for Hardware Software Systems |
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...
ASPDAC
2008
ACM
13 years 10 months ago
2008
ACM
The information about the run-time behavior of software applications is crucial for enabling system level optimizations for embedded systems. This embedded Software Metadata inform...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
PDPTA
2003
13 years 9 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
EURODAC
1995
IEEE
13 years 11 months ago
1995
IEEE
A hierarchical system design flow was developed to facilitate concurrent development and Time-to-Market reductions. The system design flow provides for codesign of (embedded) driv...