156 search results - page 17 / 32 » Microsystem design using simulator coupling |
EVOW
1999
Springer
13 years 11 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
CF
2008
ACM
13 years 9 months ago
2008
ACM
Volunteer Computing (VC) is a paradigm that takes advantage of idle cycles from computing resources donated by volunteers and connected through the Internet to compute large-scale...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper, a visual servoing scheme is proposed to control an airplane during its landing. A linearized model of the airplane dynamics and decoupled visual features are use...
PRESENCE
2006
13 years 7 months ago
2006
We present a physically-based approach to grasping and manipulation of virtual objects that produces visually realistic results, addresses the problem of visual interpenetration o...
MICRO
2008
IEEE
13 years 7 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...