1604 search results - page 42 / 321 » A Logical Viewpoint on Architectures |
139
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Logic synthesis systems are complex systems and algorithmic research in synthesis has become highly specialized. This creates a gap where it is often not clear how an advance in a...
178
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
-- We present a new heuristic algorithm for hazard-free minimization of two-level logic. On nearly all examples, the algorithm finds an exactly minimum-cost cover. It also solves s...
155
click to vote
IFL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
144
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Manufacturing disturbances are inevitable in the fabrication of integrated circuits. These disturbances will result in variations in the delay speci cations of manufactured circui...
165
click to vote
IWFM
2000
15 years 7 months ago
2000
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...