Sciweavers

15254 search results - page 358 / 3051
» A k
Sort
View
ICCAD
2003
IEEE
97views Hardware» more  ICCAD 2003»
16 years 25 days ago
Iterative Abstraction using SAT-based BMC with Proof Analysis
Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav ...
ICDCSW
2003
IEEE
16 years 25 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 25 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 25 days ago
Automatic grasp planning using shape primitives
Andrew T. Miller, Steffen Knoop, Henrik I. Christe...