804 search results - page 86 / 161 » Algorithms for Programmers |
167
Voted
FPL
2010
Springer
15 years 14 days ago
2010
Springer
We demonstrate how Field Programmable Gate Arrays (FPGAs) may be used to address the computing challenges associated with assembling genome sequences from recent ultra-high-through...
102
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
117
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
112
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
Adaptive, or self-aware, computing has been proposed to help application programmers confront the growing complexity of multicore software development. However, existing approache...
119
click to vote
ICCAD
2004
IEEE
15 years 11 months ago
2004
IEEE
— In deep sub-micron technologies, process variations can cause significant path delay and clock skew uncertainties thereby lead to timing failure and yield loss. In this paper,...