Sciweavers

11234 search results - page 155 / 2247
» A Microsurgery Simulation System
Sort
View
QEST
2010
IEEE
15 years 4 months ago
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
Ralf Wimmer, Bettina Braitling, Bernd Becker, Erns...
CF
2009
ACM
15 years 4 months ago
High accuracy failure injection in parallel and distributed systems using virtualization
Emulation sits between simulation and experimentation to complete the set of tools available for software designers to evaluate their software and predict behavior under condition...
Thomas Hérault, Thomas Largillier, Sylvain ...
ICIP
2009
IEEE
15 years 3 months ago
Modeling of image shutters and motion blur in analog and digital camera systems
For motion imaging the perceived smoothness of a sequence highly depends on motion blur. The exposure for each frame is started and ended with a shutter mechanism. There are diffe...
Michael Schöberl, Siegfried Fößel,...
PATMOS
2010
Springer
15 years 4 months ago
Self-Timed SRAM for Energy Harvesting Systems
Abstract. Portable digital systems tend to be not just low power but power efficient as they are powered by low batteries or energy harvesters. Energy harvesting systems tend to pr...
Abdullah Baz, Delong Shang, Fei Xia, Alexandre Yak...
PDP
2011
IEEE
14 years 10 months ago
Energy-Aware Task Allocation for Network-on-Chip Based Heterogeneous Multiprocessor Systems
—Energy-efficiency is becoming one of the most critical issues in embedded system design. In Network-on-Chip (NoC) based heterogeneous Multiprocessor Systems, the energy consump...
Jia Huang, Christian Buckl, Andreas Raabe, Alois K...