2316 search results - page 138 / 464 » The many forms of hypercomputation |
133
click to vote
CSR
2006
Springer
15 years 8 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
140
click to vote
ESA
2006
Springer
15 years 8 months ago
2006
Springer
The objective of this paper is to characterize classes of problems for which a greedy algorithm finds solutions provably close to optimum. To that end, we introduce the notion of k...
128
click to vote
FPL
2006
Springer
15 years 8 months ago
2006
Springer
Ripple-carry architectures are the norm in today's reconfigurable fabrics. They are simple, require minimal routing, and are easily formed across arbitrary cells in a fabric....
133
click to vote
CCGRID
2001
IEEE
15 years 8 months ago
2001
IEEE
As computing devices become ubiquitous and increasingly mobile, it is becoming apparent that the directed peerto-peer communication model has shortcomings for many forms of distri...
121
click to vote
EUROPAR
2000
Springer
15 years 8 months ago
2000
Springer
With the increasing processing power, the latency of the memory hierarchy becomes the stumbling block of many modern computer architectures. In order to speed-up the calculations, ...