8766 search results - page 1554 / 1754 » Functional logic programming |
139
click to vote
CONTEXT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
128
click to vote
ISCA
2000
IEEE
15 years 7 months ago
2000
IEEE
Smaller feature sizes, reduced voltage levels, higher transistor counts, and reduced noise margins make future generations of microprocessors increasingly prone to transient hardw...
173
click to vote
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
130
click to vote
FCCM
1999
IEEE
15 years 7 months ago
1999
IEEE
The time it takes to reconfigure FPGAs can be a significant overhead for reconfigurable computing. In this paper we develop new compression algorithms for FPGA configurations that...
130
click to vote
STOC
1999
ACM
15 years 7 months ago
1999
ACM
The width of a Resolution proof is defined to be the maximal number of literals in any clause of the proof. In this paper, we relate proof width to proof length (ϭsize), in both g...