Sciweavers

17740 search results - page 361 / 3548
» Simulation Using Orchestration
Sort
View
DSD
2010
IEEE
111views Hardware» more  DSD 2010»
15 years 5 months ago
Faults Coverage Improvement Based on Fault Simulation and Partial Duplication
— A method how to improve the coverage of single faults in combinational circuits is proposed. The method is based on Concurrent Error Detection, but uses a fault simulation to f...
Jaroslav Borecky, Martin Kohlik, Hana Kubatova, Pa...
PTS
2010
138views Hardware» more  PTS 2010»
15 years 5 months ago
Alternating Simulation and IOCO
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...
Margus Veanes, Nikolaj Bjørner
HAID
2010
Springer
15 years 4 months ago
Conflicting Audio-haptic Feedback in Physically Based Simulation of Walking Sounds
We describe an audio-haptic experiment conducted using a system which simulates in real-time the auditory and haptic sensation of walking on different surfaces. The system is based...
Luca Turchet, Stefania Serafin, Smilen Dimitrov, R...
VIS
2004
IEEE
148views Visualization» more  VIS 2004»
16 years 8 months ago
Detection and Visualization of Anomalous Structures in Molecular Dynamics Simulation Data
In this article we explore techniques to detect and visualize features in data from molecular dynamics (MD) simulations. Although the techniques proposed are general, we focus on ...
John Wilkins, Kaden Hazzard, Raghu Machiraju, Same...
MICCAI
2007
Springer
16 years 7 months ago
Simulation and Fully Automatic Multimodal Registration of Medical Ultrasound
The fusion of 3D freehand ultrasound with CT and CTA has benefits for a variety of clinical applications, however a lot of manual work is usually required for correct registration....
Wolfgang Wein, Ali Khamene, Dirk-André Clev...