6111 search results - page 727 / 1223 » Time, Hardware, and Uniformity |
106
click to vote
ISCAS
2005
IEEE
16 years 23 days ago
2005
IEEE
Abstract— Sufficient conditions for stability of time-varying 1D systems are already well established. This work treats the 2-D case in an approach that parallels that of the 1-...
143
click to vote
ISCAS
2005
IEEE
16 years 23 days ago
2005
IEEE
— Accurate analysis of VLSI interconnects is essential to the performance-driven synthesis and layout of integrated circuits. Existing techniques are based on either simulation, ...
178
click to vote
SAT
2005
Springer
16 years 20 days ago
2005
Springer
We give a randomized algorithm for testing satisfiability of Boolean formulas in conjunctive normal form with no restriction on clause length. Its running time is at most 2n(1−1...
182
click to vote
ASPDAC
2004
ACM
16 years 18 days ago
2004
ACM
Abstract — This paper presents a functional-space decomposition approach to enhance the capability of symbolic simulation. In our symbolic simulator, the control part and datapat...
184
click to vote
COORDINATION
2004
Springer
16 years 17 days ago
2004
Springer
As a case study that illustrates our view on coordination and component-based software engineering, we present the design and implementation of a parallel constraint solver. The pa...