6111 search results - page 739 / 1223 » Time, Hardware, and Uniformity |
115
click to vote
ASPDAC
2004
ACM
16 years 18 days ago
2004
ACM
—Owing to inductive effect, coplanar waveguide (CPW) is widely used to achieve signal integrity in high performance clock designs. In this paper, we first propose a piece-wise l...
145
click to vote
ASPDAC
2004
ACM
16 years 18 days ago
2004
ACM
- This paper shows that divide-and-conquer derives a minimum sum-of-products expression (MSOP) of functions that have an AND bi-decomposition when at least one of the subfunctions ...
164
click to vote
ASPDAC
2004
ACM
16 years 18 days ago
2004
ACM
—This paper focuses on SIMD processor synthesis and proposes a SIMD instruction set/functional unit synthesis algorithm. Given an initial assembly code and a timing constraint, t...
183
click to vote
SAT
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. Recently Schuler [17] presented a randomized algorithm that solves SAT in expected time at most 2n(1−1/ log2(2m)) up to a polynomial factor, where n and m are, respecti...
201
click to vote
CAV
2003
Springer
16 years 12 days ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...