4809 search results - page 237 / 962 » CajunBot: Architecture and algorithms |
178
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
194
click to vote
DAC
2006
ACM
16 years 17 days ago
2006
ACM
This article describes a new software-based on-line memory compression algorithm for embedded systems and presents a method of adaptively managing the uncompressed and compressed ...
168
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper proposes a distributed Canny edge detection algorithm which can be mapped onto multi-core architectures for high throughput applications. In contrast to the conventiona...
170
click to vote
MICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
The multicluster architecture that we introduce offers a decentralized, dynamically-scheduled architecture, in which the register files, dispatch queue, and functional units of t...
197
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
Several industrial FPGA routing architectures have been shown to have no efficient routing algorithms (unless P=NP) [3,4]. Here, we further investigate if the intractability of th...