Sciweavers

5005 search results - page 362 / 1001
» The Design and Analysis of Parallel Algorithms
Sort
View
137
Voted
ICRA
2007
IEEE
118views Robotics» more  ICRA 2007»
16 years 14 days ago
Scheduling Analysis of Cluster Tools with Buffer/Process Modules
— Modeling and scheduling of cluster tools are critical to improving the productivity and to enhancing the design of wafer processing flows and equipment for semiconductor manuf...
Jingang Yi, Shengwei Ding, Dezhen Song, Mike Tao Z...
ASPDAC
2006
ACM
130views Hardware» more  ASPDAC 2006»
16 years 3 days ago
Convergence-provable statistical timing analysis with level-sensitive latches and feedback loops
Statistical timing analysis has been widely applied to predict the timing yield of VLSI circuits when process variations become significant. Existing statistical latch timing met...
Lizheng Zhang, Jeng-Liang Tsai, Weijen Chen, Yuhen...
157
Voted
ICPR
2010
IEEE
15 years 11 months ago
Using Sequential Context for Image Analysis
—This paper proposes the sequential context inference (SCI) algorithm for Markov random field (MRF) image analysis. This algorithm is designed primarily for fast inference on an...
Antonio Paiva, Elizabeth Jurrus, Tolga Tasdizen
ISQED
2003
IEEE
104views Hardware» more  ISQED 2003»
15 years 11 months ago
Elimination of false aggressors using the functional relationship for full-chip crosstalk analysis
As the portion of coupling capacitance increases in smaller process geometries, accurate coupled noise analysis is becoming more important in current design methodologies. We prop...
Jae-Seok Yang, Jeong-Yeol Kim, Joon-Ho Choi, Moon-...
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 10 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...