338 search results - page 29 / 68 » Automated Performance Prediction of Message-Passing Parallel... |
131
click to vote
IWMM
2010
Springer
15 years 6 months ago
2010
Springer
With the availability of chip multiprocessor (CMP) and simultaneous multithreading (SMT) machines, extracting thread level parallelism from a sequential program has become crucial...
102
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
15 years 7 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
111
click to vote
CISIS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...
100
click to vote
DAC
2008
ACM
16 years 2 months ago
2008
ACM
Exponential increases in architectural design complexity threaten to make traditional processor design optimization techniques intractable. Genetically programmed response surface...
124
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...