7092 search results - page 335 / 1419 » Parallelizing constraint programs |
103
click to vote
SCAM
2002
IEEE
15 years 7 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
115
click to vote
EUROPAR
2006
Springer
15 years 6 months ago
2006
Springer
Parallel performance tuning naturally involves a diagnosis process to locate and explain sources of program inefficiency. Proposed is an approach that exploits parallel computation...
159
click to vote
CC
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. How can we exploit a microprocessor as efficiently as possible? The “classic” approach is static optimization at compile-time, optimizing a program for all possible u...
124
click to vote
EUROPAR
2007
Springer
15 years 9 months ago
2007
Springer
The performance of many scientific applications for distributed memory platforms can be increased by utilizing multiprocessor-task programming. To obtain the minimum parallel runt...
135
click to vote
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...