Sciweavers

1342 search results - page 169 / 269
» MEMS Design And Verification
Sort
View
ICCAD
2006
IEEE
146views Hardware» more  ICCAD 2006»
16 years 10 days ago
Cost-aware synthesis of asynchronous circuits based on partial acknowledgement
Designing asynchronous circuits by reusing existing synchronous tools has become a promising solution to the problem of poor CAD support in asynchronous world. A straightforward w...
Yu Zhou, Danil Sokolov, Alexandre Yakovlev
ISMAR
2005
IEEE
15 years 12 months ago
A Pipeline for Rapidly Incorporating Real Objects into a Mixed Environment
A method is presented to rapidly incorporate real objects into virtual environments using laser scanned 3D models with color-based marker tracking. Both the real objects and their...
Xiyong Wang, Aaron Kotranza, John Quarles, Benjami...
ICCAD
1999
IEEE
78views Hardware» more  ICCAD 1999»
15 years 10 months ago
Probabilistic state space search
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states according to their probability of reaching a given...
Andreas Kuehlmann, Kenneth L. McMillan, Robert K. ...
ASPDAC
2007
ACM
101views Hardware» more  ASPDAC 2007»
15 years 10 months ago
A New Methodology for Interconnect Parasitics Extraction Considering Photo-Lithography Effects
Abstract-- Due to photo-lithography effects and manufacture process variations, the actual features fabricated on the wafer are different from the designed ones. This difference ca...
Ying Zhou, Zhuo Li, Yuxin Tian, Weiping Shi, Frank...
ESAW
2006
Springer
15 years 10 months ago
Current Issues in Multi-Agent Systems Development
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
Rafael H. Bordini, Mehdi Dastani, Michael Winikoff