Sciweavers

790 search results - page 36 / 158
» Abstract modeling for engineering and engagement level simul...
Sort
View
ISARCS
2010
240views Hardware» more  ISARCS 2010»
13 years 11 months ago
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
EMSOFT
2010
Springer
13 years 7 months ago
PinaVM: a systemC front-end based on an executable intermediate representation
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
Kevin Marquet, Matthieu Moy
EPEW
2009
Springer
14 years 3 months ago
Modelling Zoned RAID Systems Using Fork-Join Queueing Simulation
Abstract. RAID systems are ubiquitously deployed in storage environments, both as standalone storage solutions and as fundamental components of virtualised storage platforms. Accur...
Abigail S. Lebrecht, Nicholas J. Dingle, William J...
MICCAI
2004
Springer
14 years 9 months ago
Simulation Model of Intravascular Ultrasound Images
Abstract. The extraction of quantitative information through Intravascular Ultrasound (IVUS) images is a very important goal for the diagnostic and the therapy in atherosclerotic v...
Misael Dario Rosales Ramírez, Petia Radeva ...
ICRA
2007
IEEE
149views Robotics» more  ICRA 2007»
14 years 3 months ago
daVinci Code: A Multi-Model Simulation and Analysis Tool for Multi-Body Systems
Abstract— This paper discusses the design and current capabilities of a new software tool, dVC, capable of simulating planar systems of bodies experiencing unilateral contacts wi...
Stephen Berard, Jeffrey C. Trinkle, Binh Nguyen, B...