10072 search results - page 1809 / 2015 » Composition of Model Programs |
140
click to vote
PVM
2009
Springer
16 years 29 days ago
2009
Springer
Petascale machines with close to a million processors will soon be available. Although MPI is the dominant programming model today, some researchers and users wonder (and perhaps e...
159
Voted
TLCA
2009
Springer
16 years 29 days ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
180
click to vote
ASPDAC
2009
ACM
16 years 29 days ago
2009
ACM
— Multiprocessors on a chip are the reality of these days. Semiconductor industry has recognized this approach as the most efficient in order to exploit chip resources, but the ...
143
click to vote
CASES
2009
ACM
16 years 28 days ago
2009
ACM
This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it opt...
167
click to vote
CHIMIT
2009
ACM
16 years 28 days ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...