Sciweavers

5339 search results - page 806 / 1068
» Controllable Delay-Insensitive Processes
Sort
View
HASE
2008
IEEE
16 years 19 days ago
Localizing Program Errors via Slicing and Reasoning
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
Fei Pu, Yan Zhang
HICSS
2008
IEEE
102views Biometrics» more  HICSS 2008»
16 years 19 days ago
Retrofitting Cyber Physical Systems for Survivability through External Coordination
Most Supervisory Control and Data Acquisition (SCADA) systems have been in operation for decades and they in general have 24x7 availability requirement, hence upgrading or adding ...
Kun Xiao, Shangping Ren, Kevin A. Kwiat
ICRA
2008
IEEE
163views Robotics» more  ICRA 2008»
16 years 18 days ago
Human-guided surgical robot system for spinal fusion surgery: CoRASS
— There are two main limitations in the conventional robot-assisted spinal fusion surgery. Since the end effector in the state of art has a role of guiding the insertion pose of ...
Jongwon Lee, Keehoon Kim, Wan Kyun Chung, Seungmoo...
IJCNN
2008
IEEE
16 years 18 days ago
Evolving a neural network using dyadic connections
—Since machine learning has become a tool to make more efficient design of sophisticated systems, we present in this paper a novel methodology to create powerful neural network ...
Andreas Huemer, Mario A. Góngora, David A. ...
ISCA
2008
IEEE
142views Hardware» more  ISCA 2008»
16 years 18 days ago
Improving NAND Flash Based Disk Caches
Flash is a widely used storage device that provides high density and low power, appealing properties for general purpose computing. Today, its usual application is in portable spe...
Taeho Kgil, David Roberts, Trevor N. Mudge