Sciweavers

2097 search results - page 11 / 420
» Modeling and Simulation of Hardware Software Systems with CD...
Sort
View
DATE
2007
IEEE
74views Hardware» more  DATE 2007»
14 years 2 months ago
Modeling and simulation alternatives for the design of networked embedded systems
E. Alessio, Franco Fummi, Davide Quaglia, Maura Tu...
CORR
2006
Springer
106views Education» more  CORR 2006»
13 years 8 months ago
Checkbochs: Use Hardware to Check Software
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...
Sorav Bansal
SPRINGSIM
2007
13 years 9 months ago
Studying the impact of web-services implementation of distributed simulation of DEVS and Cell-DEVS models
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
Rami Madhoun, Gabriel A. Wainer
DATE
2008
IEEE
168views Hardware» more  DATE 2008»
14 years 2 months ago
A methodology for improving software design lifecycle in embedded control systems
Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the...
Mohamed El Mongi Ben Gaid, Rémy Kocik, Yves...
CODES
2007
IEEE
14 years 2 months ago
HySim: a fast simulation framework for embedded software development
Instruction Set Simulation (ISS) is widely used in system evaluation and software development for embedded processors. Despite the significant advancements in the ISS technology,...
Stefan Kraemer, Lei Gao, Jan Weinstock, Rainer Leu...