Sciweavers

12050 search results - page 360 / 2410
» Modeling and Simulation
Sort
View
ISPW
2007
IEEE
15 years 11 months ago
Project Delay Variability Simulation in Software Product Line Development
The possible variability of project delay is useful information to understand and mitigate the project delay risk. However, it is not sufficiently considered in the literature con...
Makoto Nonaka, Liming Zhu, Muhammad Ali Babar, Mar...
MICCAI
2005
Springer
16 years 5 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é...
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
15 years 11 months ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao
143
Voted
HAPTICS
2002
IEEE
15 years 9 months ago
Simulated Interactive Needle Insertion
A novel interactive virtual needle insertion simulation is presented. Simulation models are based upon planar tissue deformations and forces measured during needle insertion exper...
Simon P. DiMaio, S. E. Salcudean
ASMTA
2008
Springer
167views Mathematics» more  ASMTA 2008»
15 years 6 months ago
Perfect Simulation of Stochastic Automata Networks
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
Paulo Fernandes, Jean-Marc Vincent, Thais Webber