2673 search results - page 438 / 535 » Guided Static Analysis |
143
click to vote
COORDINATION
2009
Springer
16 years 4 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
126
click to vote
VLSID
2007
IEEE
16 years 4 months ago
2007
IEEE
Register file banking is an effective alternative to monolithic register files in embedded processor based systems. In this work, we propose techniques for performing application s...
251
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
198
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
132
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...