4401 search results - page 698 / 881 » Computing with Default Logic |
137
click to vote
ISPA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...
104
Voted
SAT
2004
Springer
15 years 8 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
106
Voted
HRI
2010
ACM
15 years 8 months ago
2010
ACM
—Alan Turing proposed a test for the intelligence of machines in 1950 [1]. Despite great efforts, no computer has passed this test so far. Each year, chat bots compete for the Lo...
ARITH
2003
IEEE
15 years 8 months ago
2003
IEEE
We propose a split array multiplier organized in a left-to-right leapfrog (LRLF) structure with reduced delay compared to conventional array multipliers. Moreover, the proposed de...
118
Voted
ASAP
2003
IEEE
15 years 8 months ago
2003
IEEE
The register file is a power-hungry device in modern architectures. Current research on compiler technology and computer architectures encourages the implementation of larger dev...