Sciweavers

12264 search results - page 438 / 2453
» An Analysis of the XSL Algorithm
Sort
View
ICRA
2007
IEEE
118views Robotics» more  ICRA 2007»
16 years 1 months 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...
TACAS
2007
Springer
74views Algorithms» more  TACAS 2007»
16 years 29 days ago
Shape Analysis by Graph Decomposition
Abstract. Programs commonly maintain multiple linked data structures. Correlations between multiple data structures may often be nonexistent or irrelevant to verifying that the pro...
Roman Manevich, Josh Berdine, Byron Cook, G. Ramal...
DATE
2006
IEEE
133views Hardware» more  DATE 2006»
16 years 28 days ago
Analysis and synthesis of quantum circuits by using quantum decision diagrams
Quantum information processing technology is in its pioneering stage and no proficient method for synthesizing quantum circuits has been introduced so far. This paper introduces a...
Afshin Abdollahi, Massoud Pedram
IJCNN
2006
IEEE
16 years 27 days ago
Online Kernel Canonical Correlation Analysis for Supervised Equalization of Wiener Systems
— We consider the application of kernel canonical correlation analysis (K-CCA) to the supervised equalization of Wiener systems. Although a considerable amount of research has be...
Steven Van Vaerenbergh, Javier Vía, Ignacio...
ASPDAC
2006
ACM
130views Hardware» more  ASPDAC 2006»
16 years 25 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...