6939 search results - page 1310 / 1388 » Algorithm Engineering for Parallel Computation |
112
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
121
click to vote
CODES
2003
IEEE
15 years 7 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
122
click to vote
GLVLSI
2003
IEEE
15 years 7 months ago
2003
IEEE
In dense integrated circuit designs, management of routing congestion is essential; an over congested design may be unroutable. Many factors influence congestion: placement, rout...
123
Voted
IAT
2003
IEEE
15 years 7 months ago
2003
IEEE
The design of a an agent system for robotics is a problem that involves aspects coming from many different disciplines (robotics, artificial intelligence, computer vision, softwa...
123
click to vote
VISUALIZATION
2003
IEEE
15 years 7 months ago
2003
IEEE
We present a haptic rendering technique that uses directional constraints to facilitate enhanced exploration modes for volumetric datasets. The algorithm restricts user motion in ...