Sciweavers

3281 search results - page 178 / 657
» An Approach to use Executable Models for Testing
Sort
View
EMSOFT
2005
Springer
15 years 9 months ago
Model-based run-time monitoring of end-to-end deadlines
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
Jaswinder Ahluwalia, Ingolf H. Krüger, Walter...
105
Voted
MICCAI
2005
Springer
16 years 4 months ago
A Fast-Marching Approach to Cardiac Electrophysiology Simulation for XMR Interventional Imaging
Cardiac ablation procedures are becoming more routine to treat arrhythmias. The development of electrophysiological models will allow investigation of treatment strategies. However...
Maxime Sermesant, Yves Coudière, Valé...
CEC
2009
IEEE
15 years 8 months ago
A parallel genetic algorithm for protein folding prediction using the 3D-HP Side Chain model
— This work presents a methodology for the application of a parallel genetic algorithm (PGA) to the problem of protein folding prediction, using the 3DHP-Side Chain model. This m...
César Manuel Vargas Benítez, Heitor ...
130
Voted
IJAOSE
2008
97views more  IJAOSE 2008»
15 years 3 months ago
Formal driven prototyping approach for multiagent systems
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
Vincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, ...
CVGIP
2010
182views more  CVGIP 2010»
15 years 3 months ago
MCCD: Multi-core collision detection between deformable models using front-based decomposition
We present a novel parallel algorithm for fast continuous collision detection (CCD) between deformable models using multi-core processors. We use a hierarchical representation to ...
Min Tang, Dinesh Manocha, Ruofeng Tong