1370 search results - page 63 / 274 » Synchronization Transformations for Parallel Computing |
124
click to vote
EMSOFT
2010
Springer
15 years 6 days ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
113
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
104
click to vote
IPPS
2009
IEEE
15 years 8 months ago
2009
IEEE
We describe a scalable and general-purpose framework for auto-tuning compiler-generated code. We combine Active Harmony’s parallel search backend with the CHiLL compiler transfo...
113
click to vote
ICPP
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we formulate the array robustness theorems (ARTs) for efficient computation and communication on faulty arrays. No hardware redundancy is required and no assumptio...
106
click to vote
PODC
2003
ACM
15 years 7 months ago
2003
ACM
We present a methodology for automatic discovery of synchronization algorithms. We built a tool and used it to automatically discover hundreds of new algorithms for the well-known ...