12452 search results - page 2450 / 2491 » An exploration of program as language |
168
Voted
IWMM
2009
Springer
16 years 19 days ago
2009
Springer
Tracing algorithms visit reachable nodes in a graph and are central to activities such as garbage collection, marshalling etc. Traditional sequential algorithms use a worklist, re...
154
click to vote
ISSTA
2009
ACM
16 years 18 days ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
156
click to vote
CGO
2008
IEEE
16 years 17 days ago
2008
IEEE
In recent years, the microprocessor industry has embraced chip multiprocessors (CMPs), also known as multi-core architectures, as the dominant design paradigm. For existing and ne...
133
click to vote
CGO
2008
IEEE
16 years 17 days ago
2008
IEEE
In this paper we investigate the benefit of scheduling non-critical loads for a higher latency during software pipelining. "Noncritical" denotes those loads that have s...
178
click to vote
CGO
2008
IEEE
16 years 17 days ago
2008
IEEE
The recent trend in the processor industry of packing multiple processor cores in a chip has increased the importance of automatic techniques for extracting thread level paralleli...