Sciweavers

11200 search results - page 412 / 2240
» An Object-oriented Optimization System
Sort
View
IPPS
2005
IEEE
15 years 10 months ago
The Globus eXtensible Input/Output System (XIO): A Protocol Independent IO System for the Grid
— In distributed heterogeneous Grid environments the protocols used to exchange bits are crucial. As researchers work hard to discover the best new protocol for the Grid, applica...
William E. Allcock, John Bresnahan, Rajkumar Ketti...
137
Voted
EPS
1998
Springer
15 years 8 months ago
A Genetic Programming Methodology for Missile Countermeasures Optimization Under Uncertainty
: This paper describes a new methodology for using genetic programming to solve the missile countermeasures optimization problem. The resulting system evolves programs that combine...
Frank W. Moore, Oscar N. Garcia
SAS
2009
Springer
175views Formal Methods» more  SAS 2009»
16 years 5 months ago
Automatic Parallelization and Optimization of Programs by Proof Rewriting
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
Clément Hurlin
CGO
2008
IEEE
15 years 11 months ago
Program optimization space pruning for a multithreaded gpu
Program optimization for highly-parallel systems has historically been considered an art, with experts doing much of the per
Shane Ryoo, Christopher I. Rodrigues, Sam S. Stone...
ISCAS
1995
IEEE
77views Hardware» more  ISCAS 1995»
15 years 8 months ago
Exploration of Area and Performance Optimized Datapath Design Using Realistic Cost Metrics
We present a novel technique for datapath allocation, which incorporates interconnection area and delay estimates based on dynamic oorplanning. In this approach, datapath area is ...
Kyumyung Choi, Steven P. Levitan