— 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...
: This paper describes a new methodology for using genetic programming to solve the missile countermeasures optimization problem. The resulting system evolves programs that combine...
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...
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 ...