Sciweavers

15254 search results - page 358 / 3051
» A k
Sort
View
ICCAD
2003
IEEE
97views Hardware» more  ICCAD 2003»
16 years 4 days ago
Iterative Abstraction using SAT-based BMC with Proof Analysis
Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav ...
ICDCSW
2003
IEEE
16 years 4 days ago
Supporting QoS-Aware Transactions in a System on Mobile Devices (SyD)
Wanxia Xie, Shamkant B. Navathe, Sushil K. Prasad
ICNP
2003
IEEE
16 years 4 days ago
Planned Object Duplication Strategies in Dynamic PRR Meshes
Michael K. Bradshaw, Arnold L. Rosenberg, Donald F...
ICRA
2003
IEEE
105views Robotics» more  ICRA 2003»
16 years 4 days ago
Automatic grasp planning using shape primitives
Andrew T. Miller, Steffen Knoop, Henrik I. Christe...