Sciweavers

17740 search results - page 98 / 3548
» Simulation Using Orchestration
Sort
View
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
14 years 3 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
DATE
2003
IEEE
105views Hardware» more  DATE 2003»
14 years 3 months ago
Optimizing Stresses for Testing DRAM Cell Defects Using Electrical Simulation
: Stresses are considered an integral part of any modern industrial DRAM test. This paper describes a novel method to optimize stresses for memory testing, using defect injection a...
Zaid Al-Ars, A. J. van de Goor, Jens Braun, Detlev...
HUMO
2007
Springer
14 years 1 months ago
Articulated Object Registration Using Simulated Physical Force/Moment for 3D Human Motion Tracking
In this paper, we present a 3D registration algorithm based on simulated physical force/moment for articulated human motion tracking. Provided with sparsely reconstructed 3D human ...
Bingbing Ni, Stefan Winkler, Ashraf A. Kassim
WSC
2007
14 years 11 days ago
Simulation of continuous behavior using discrete tools: ORE conveyor transport
The modeling of systems mixing discrete and continuous behavior is a challenge for model builders. Sometimes, the continuous part is important, but small near the complex decision...
Marcelo Moretti Fioroni, Luiz Augusto Gago Franzes...
ACMSE
2006
ACM
14 years 4 months ago
Performance evaluation of the reactor pattern using the OMNeT++ simulator
The design of large-scale, distributed, performance-sensitive systems presents numerous challenges due to their networkcentric nature and stringent quality of service (QoS) requir...
Arundhati Kogekar, Aniruddha S. Gokhale