Sciweavers

786 search results - page 126 / 158
» A System for Semi-Automatic Modeling of Complex Environments
Sort
View
CCS
2011
ACM
13 years 11 months ago
Eliminating the hypervisor attack surface for a more secure cloud
Cloud computing is quickly becoming the platform of choice for many web services. Virtualization is the key underlying technology enabling cloud providers to host services for a l...
Jakub Szefer, Eric Keller, Ruby B. Lee, Jennifer R...
CORR
2007
Springer
170views Education» more  CORR 2007»
14 years 11 months ago
Animation of virtual mannequins, robot-like simulation or motion captures
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...
Damien Chablat
BMCBI
2010
178views more  BMCBI 2010»
14 years 12 months ago
Applications of a formal approach to decipher discrete genetic networks
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
Fabien Corblin, Eric Fanchon, Laurent Trilling
DAC
2006
ACM
16 years 23 days ago
Prototyping a fault-tolerant multiprocessor SoC with run-time fault recovery
Modern integrated circuits (ICs) are becoming increasingly complex. The complexity makes it difficult to design, manufacture and integrate these high-performance ICs. The advent o...
Xinping Zhu, Wei Qin
ICRA
2009
IEEE
169views Robotics» more  ICRA 2009»
15 years 6 months ago
Task-level imitation learning using variance-based movement optimization
— Recent advances in the field of humanoid robotics increase the complexity of the tasks that such robots can perform. This makes it increasingly difficult and inconvenient to ...
Manuel Mühlig, Michael Gienger, Sven Hellbach...