Sciweavers

395 search results - page 57 / 79
» Optimizing Communication Scheduling Using Dataflow Semantics
Sort
View
173
Voted
POPL
2010
ACM
16 years 3 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
199
Voted
LCPC
1995
Springer
15 years 10 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...
199
Voted
COMSWARE
2007
IEEE
16 years 21 days 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
197
Voted
PPSN
2000
Springer
15 years 10 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...
204
Voted
GLOBECOM
2009
IEEE
16 years 1 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