422 search results - page 36 / 85 » Automatic Generation of Program Families by Model Restrictio... |
137
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
We show in this paper how to evaluate the performance of skeleton-based high level parallel programs. Since many applications follow some commonly used algorithmic skeletons, we id...
197
click to vote
AAIP
2009
15 years 5 months ago
2009
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming ...
142
click to vote
CL
2010
Springer
15 years 4 months ago
2010
Springer
Autonomous mobile programs (AMPs) offer a novel decentralised load management technology where periodic use is made of cost models to decide where to execute in a network. In this...
113
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
169
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...