193 search results - page 8 / 39 » A PVS Based Framework for Validating Compiler Optimizations |
116
click to vote
PAAMS
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we present a novel algorithm, named GBAP, that jointly uses automatic programming with ant colony optimization for mining classification rules. GBAP is based on a con...
IPPS
1998
IEEE
15 years 3 months ago
1998
IEEE
In distributed-memory message-passing architectures reducing communication cost is extremely important. In this paper, we present a technique to optimize communication globally. O...
DYNAMO
2000
15 years 1 months ago
2000
Dynamic program optimization allows programs to be generated that are highly tuned for a given environment and input data set. Optimization techniques can be applied and re-applie...
119
click to vote
SEAL
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Mainstream surrogate approaches for multi-objective problems build one approximation for each objective. Mono-surrogate approaches instead aim at characterizing the Paret...
118
click to vote
TPDS
2008
14 years 11 months ago
2008
This paper presents the Mitosis framework, which is a combined hardware-software approach to speculative multithreading, even in the presence of frequent dependences among threads....