Sciweavers

395 search results - page 57 / 79
» Optimizing Communication Scheduling Using Dataflow Semantics
Sort
View
132
Voted
POPL
2010
ACM
15 years 11 months ago
A simple, verified validator for software pipelining
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
Jean-Baptiste Tristan, Xavier Leroy
147
Voted
LCPC
1995
Springer
15 years 5 months ago
V-cal: A Calculus for the Compilation of Data Parallel Languages
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
P. F. G. Dechering, J. A. Trescher, J. P. M. de Vr...
COMSWARE
2007
IEEE
15 years 8 months ago
On Optimal Performance in Mobile Ad hoc Networks
In this paper we are concerned with finding the maximum throughput that a mobile ad hoc network can support. Even when nodes are stationary, the problem of determining the capaci...
Tapas K. Patra, Joy Kuri, Pavan Nuggehalli
PPSN
2000
Springer
15 years 5 months ago
Optimizing through Co-evolutionary Avalanches
Abstract. We explore a new general-purpose heuristic for nding highquality solutions to hard optimization problems. The method, called extremal optimization, is inspired by self-or...
Stefan Boettcher, Allon G. Percus, Michelangelo Gr...
GLOBECOM
2009
IEEE
15 years 9 months ago
Opportunistic Cell Edge Selection in Multi-Cell OFDMA Networks
Abstract— We propose an intercell downlink orthogonal frequency division multiple access (OFDMA) scheduling technique in a sectorized cellular network. Adjacent sectors from neig...
Chun Kin Au-Yeung, Amine Maaref, Jinyun Zhang