1683 search results - page 170 / 337 » Testing system virtual machines |
CORR
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
165
click to vote
ML
2008
ACM
15 years 4 months ago
2008
ACM
In this paper we present the system ALLPAD for learning Logic Programs with Annotated Disjunctions (LPADs). ALLPAD modifies the previous system LLPAD in order to tackle real world ...
169
click to vote
ICNS
2006
IEEE
15 years 10 months ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
134
Voted
HAPTICS
2009
IEEE
15 years 11 months ago
2009
IEEE
This work presents a new tactile display device for relaying contact information to locations along the human arm. The system is intended to facilitate teleoperation of whole-arm ...
121
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
A robotic system is developed to automate the packing of polycrystalline silicon nuggets into a fragile fused silica crucible in CZ semiconductor wafer production. The highly irre...