7430 search results - page 1226 / 1486 » Programming Applications in CIFF |
274
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
287
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
305
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
The wide availability of commodity graphics processors has made real-time graphics an intrinsic component of the human/computer interface. These graphics cores accelerate the z-bu...
171
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
Because data races represent a hard-to-manage class of errors in concurrent programs, numerous approaches to detect them have been proposed and evaluated. We specifically consider...
191
click to vote
SPAA
2009
ACM
16 years 6 months ago
2009
ACM
Thread-level speculation (TLS) is a technique that allows parts of a sequential program to be executed in parallel. TLS ensures the parallel program's behaviour remains true ...