268 search results - page 20 / 54 » Analyzing Parallel Programs with Pin |
123
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
137
click to vote
PDPTA
1996
15 years 5 months ago
1996
This paper describes a parallelization of the sequential dynamic programming method for solving a 2D knapsack problem where multiples of n rectangular objects are optimally packed...
135
click to vote
DSD
2008
IEEE
15 years 10 months ago
2008
IEEE
Effective mapping of multimedia applications on massively parallel embedded systems is a challenging demand in the domain of compiler design. The software implementations of emerg...
126
click to vote
DAC
2005
ACM
15 years 5 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
138
click to vote
APPT
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, a comprehensive performance review of an MPI-based high-order three-dimensional spectral element method C++ toolbox is presented. The focus is put on the performance...