804 search results - page 54 / 161 » Algorithms for Programmers |
112
click to vote
HRI
2006
ACM
15 years 8 months ago
2006
ACM
Robot programmers are faced with the challenging problem of understanding the robot’s view of its world, both when creating and when debugging robot software. As a result tools ...
132
click to vote
FPL
2003
Springer
15 years 7 months ago
2003
Springer
Local search methods such as WSAT have proven to be successful for solving SAT problems. In this paper, we propose two host-FPGA (Field Programmable Gate Array) co-implementations,...
145
Voted
FPGA
2000
ACM
15 years 6 months ago
2000
ACM
With the expiration of the Data Encryption Standard (DES) in 1998, the Advanced Encryption Standard (AES) development process is well underway. It is hoped that the result of the ...
115
click to vote
ATS
2003
IEEE
15 years 6 months ago
2003
IEEE
We propose an embedded processor-based built-in self-repair (BISR) design for embedded memories. In the proposed design we reuse the embedded processor that can be found on almost...
240
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...