11234 search results - page 320 / 2247 » A Microsurgery Simulation System |
141
click to vote
ISQED
2005
IEEE
16 years 4 days ago
2005
IEEE
The purpose of this work is to explore how device operation parameters such as switching speed and power dissipation scale with voltage and temperature. We simulated a CMOS ring o...
158
click to vote
CAV
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
172
click to vote
COSIT
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Current mobile computing systems can automatically sense and communicate detailed data about a person’s location. Location privacy is an urgent research issue because c...
151
click to vote
ICA3PP
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we propose a new parallelization scheme for Simulated Annealing — Hierarchical Parallel SA (HPSA). This new scheme features coarse-granularity in parallelization, d...
170
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper the control of exible joint manipulators is studied in detail. A composite control algorithm is proposed for the exible joint robots, which consists of two main part...