1855 search results - page 92 / 371 » Composing model programs for analysis |
128
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
110
click to vote
ARC
2009
Springer
15 years 10 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...
106
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
120
click to vote
ESAW
2000
Springer
15 years 6 months ago
2000
Springer
While software is becoming decomposed in more and more finegrained entities, the interactions amongst those become of major importance. While methodologies for building such compon...
120
click to vote
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...