1173 search results - page 121 / 235 » Program Derivation Using Analogy |
133
click to vote
ICFP
2004
ACM
16 years 5 months ago
2004
ACM
Writing boilerplate code is a royal pain. Generic programming promises to alleviate this pain by allowing the programmer to write a generic "recipe" for boilerplate code...
129
click to vote
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
221
click to vote
PLDI
1993
ACM
15 years 9 months ago
1993
ACM
Data locality is critical to achievinghigh performance on large-scale parallel machines. Non-local data accesses result in communication that can greatly impact performance. Thus ...
138
click to vote
ICS
2010
Tsinghua U.
15 years 3 months ago
2010
Tsinghua U.
We develop real-time scheduling techniques for improving performance and energy for multiprogrammed workloads that scale nonuniformly with increasing thread counts. Multithreaded ...
176
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We develop a generic framework for deriving linear-size problem kernels for NP-hard problems on planar graphs. We demonstrate the usefulness of our framework in several c...