268 search results - page 20 / 54 » Analyzing Parallel Programs with Pin |
146
click to vote
LICS
2009
IEEE
16 years 16 days 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. ...
163
click to vote
PDPTA
1996
15 years 7 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...
171
click to vote
DSD
2008
IEEE
16 years 11 days 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...
149
click to vote
DAC
2005
ACM
15 years 7 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...
161
click to vote
APPT
2009
Springer
16 years 15 days 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...