1837 search results - page 3 / 368 » Abstraction and the C Machine Model |
TACAS
2001
Springer
13 years 10 months ago
2001
Springer
SIMVIS
2004
13 years 7 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
FDL
2005
IEEE
13 years 11 months ago
2005
IEEE
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
ASM
2008
ASM
13 years 7 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
MEMOCODE
2010
IEEE
13 years 3 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...