4126 search results - page 325 / 826 » Set based logic programming |
155
click to vote
TCAD
1998
15 years 4 months ago
1998
Abstract—This paper presents an aggressive optimization technique targeting combinational logic circuits. Starting from an initial implementation mapped on a given technology lib...
145
Voted
SIGARCH
2008
15 years 4 months ago
2008
Conventional programming models were designed to be used by expert programmers for programming for largescale multiprocessors, distributed computational clusters, or specialized p...
193
click to vote
ICFP
2012
ACM
13 years 7 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
174
click to vote
DAC
2003
ACM
16 years 6 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
149
click to vote
WCNC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Weather attenuations can have a distorting effect on signal fidelity above 10 GHz that lead to excessive digital transmission error. This loss of signal is commonly referred to...