Sciweavers

16883 search results - page 186 / 3377
» Generalized Non-Reducible Descriptors
Sort
View
MICCAI
2008
Springer
16 years 20 days ago
Soft Tissue Tracking for Minimally Invasive Surgery: Learning Local Deformation Online
Accurate estimation and tracking of dynamic tissue deformation is important to motion compensation, intra-operative surgical guidance and navigation in minimally invasive surgery. ...
Peter Mountney and Guang-Zhong Yang
CORR
2011
Springer
162views Education» more  CORR 2011»
14 years 10 months ago
Optimal Power Cost Management Using Stored Energy in Data Centers
Since the electricity bill of a data center constitutes a significant portion of its overall operational costs, reducing this has become important. We investigate cost reduction o...
Rahul Urgaonkar, Bhuvan Urgaonkar, Michael J. Neel...
HPDC
2011
IEEE
14 years 10 months ago
Algorithm-based recovery for iterative methods without checkpointing
In today’s high performance computing practice, fail-stop failures are often tolerated by checkpointing. While checkpointing is a very general technique and can often be applied...
Zizhong Chen
ISPW
2011
IEEE
14 years 10 months ago
Analyzing software process models with AVISPA
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...
Julio Ariel Hurtado Alegria, María Cecilia ...
ASPLOS
2011
ACM
14 years 10 months ago
Ensuring operating system kernel integrity with OSck
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...
Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Indraj...