Sciweavers

2637 search results - page 64 / 528
» Tool Supported Specification and Simulation of Distributed S...
Sort
View
WSC
2004
15 years 5 months ago
Data Dissemination Techniques for Distributed Simulation Environments
Farm is a distributed simulation environment for modeling the performance of large-scale multi-agent systems. It uses a component-based architecture to distribute the computationa...
Bryan Horling, Victor R. Lesser
132
Voted
COMPSAC
2007
IEEE
15 years 7 months ago
Unified Property Specification for Hardware/Software Co-Verification
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
Fei Xie, Huaiyu Liu
167
Voted
CASES
2007
ACM
15 years 7 months ago
A fast and generic hybrid simulation approach using C virtual machine
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
Lei Gao, Stefan Kraemer, Rainer Leupers, Gerd Asch...
131
Voted
JSW
2007
98views more  JSW 2007»
15 years 3 months ago
Real Time Simulation of Medical Diagnosis with Confidence Levels on Distributed Knowledge Nodes
—Telemedicine has been researched to provide better care to people in the remote area via Internet. Enhancing the Telemedicine over Internet can be applied to multiple health-car...
Narongrit Waraporn
109
Voted
ESTIMEDIA
2006
Springer
15 years 7 months ago
A Mixed-level Co-simulation Method for System-level Design Space Exploration
The Sesame modeling and simulation framework aims at efficient system-level design space exploration of embedded multimedia systems. A primary objective of Sesame is the ion at mu...
Mark Thompson, Andy D. Pimentel, Simon Polstra, Ca...