Sciweavers

4163 search results - page 312 / 833
» Enhancing surgical systems
Sort
View
ASE
2004
167views more  ASE 2004»
15 years 6 months ago
Cluster-Based Partial-Order Reduction
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
Twan Basten, Dragan Bosnacki, Marc Geilen
SSS
2010
Springer
143views Control Systems» more  SSS 2010»
15 years 5 months ago
Lightweight Live Migration for High Availability Cluster Service
High availability is a critical feature for service clusters and cloud computing, and is often considered more valuable than performance. One commonly used technique to enhance the...
Bo Jiang, Binoy Ravindran, Changsoo Kim
CASES
2010
ACM
15 years 4 months ago
Hardware trust implications of 3-D integration
3-D circuit-level integration is a chip fabrication technique in which two or more dies are stacked and combined into a single circuit through the use of vertical electroconductiv...
Ted Huffmire, Timothy E. Levin, Michael Bilzor, Cy...
ASAP
2009
IEEE
80views Hardware» more  ASAP 2009»
16 years 3 months ago
Specialization of the Cell SPE for Media Applications
— There is a clear trend towards multi-cores to meet the performance requirements of emerging and future applications. A different way to scale performance is, however, to specia...
Cor Meenderinck, Ben H. H. Juurlink
IROS
2009
IEEE
133views Robotics» more  IROS 2009»
16 years 1 months ago
Estimation-based disturbance rejection in control for limit cycle generation on inertia wheel inverted pendulum testbed
Abstract— This paper deals with constant disturbances rejection in limit cycle tracking for an underactuated mechanical system. The feedback controler presented in [1] is enhance...
Sebastien Andary, Ahmed Chemori, Sébastien ...