Sciweavers

71 search results - page 3 / 15
» Symbolic Execution of Virtual Devices
Sort
View
MVA
2002
106views Computer Vision» more  MVA 2002»
13 years 6 months ago
Wearable Virtual Tablet: Fingertip Drawing Interface Using an Active-Infrared Camera
We always input various kinds of information into a computer when using it. As wearable technology advances, several works about portable interfaces have been reported. These inte...
Norimichi Ukita, Akihiro Terabe, Yasuyuki Kono, Ma...
ICRA
1999
IEEE
151views Robotics» more  ICRA 1999»
13 years 10 months ago
Interaction with a Realtime Dynamic Environment Simulation Using a Magnetic Levitation Haptic Interface Device
A high performance six degree-of-freedom magnetic levitation haptic interface device has been integrated with a physically-based dynamic rigid-body simulation to enable realistic ...
Peter J. Berkelman, Ralph L. Hollis, David Baraff
PPPJ
2009
ACM
13 years 11 months ago
SlimVM: a small footprint Java virtual machine for connected embedded systems
The usage of cellular phones, PDAs, and other mobile devices has increased dramatically over the past ten years. Java is targeted to be one of the most popular execution environme...
Christoph Kerschbaumer, Gregor Wagner, Christian W...
IWINAC
2005
Springer
13 years 11 months ago
Network of Evolutionary Processors with Splicing Rules
In this paper we consider networks of evolutionary processors with splicing rules and permitting context (NEPPS) as language generating and computational devices. Such a network c...
Ashish Choudhary, Kamala Krithivasan
IEEECIT
2010
IEEE
13 years 4 months ago
Virtual Security Kernel: A Component-Based OS Architecture for Self-Protection
—This paper presents VSK, a lightweight adaptable OS authorization architecture suitable for self-protection of pervasive devices. A “virtual” management plane, separate from...
Ruan He, Marc Lacoste, Jean Leneutre