2477 search results - page 353 / 496 » Parallelizing Functional Programs by Generalization |
256
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
While deterministic replay of parallel programs is a powerful technique, current proposals have shortcomings. Specifically, software-based replay systems have high overheads on mu...
178
click to vote
IEEEPACT
2008
IEEE
16 years 14 days ago
2008
IEEE
Technology scaling in integrated circuits has consistently provided dramatic performance improvements in modern microprocessors. However, increasing device counts and decreasing o...
158
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
167
click to vote
ACL2
2006
ACM
16 years 22 hour ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
162
click to vote
CSB
2005
IEEE
15 years 11 months ago
2005
IEEE
Functionally related genes co-evolve, probably due to the strong selection pressure in evolution. Thus we expect that they are present in multiple genomes. Physical proximity amon...