Sciweavers

11573 search results - page 1933 / 2315
» Designing Relational Databases
Sort
View
KDD
2009
ACM
146views Data Mining» more  KDD 2009»
15 years 12 months ago
Online allocation of display advertisements subject to advanced sales contracts
In this paper we propose a utility model that accounts for both sales and branding advertisers. We first study the computational complexity of optimization problems related to bo...
Saeed Alaei, Esteban Arcaute, Samir Khuller, Wenji...
TACAS
2009
Springer
127views Algorithms» more  TACAS 2009»
15 years 12 months ago
From Tests to Proofs
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
CCGRID
2009
IEEE
15 years 12 months ago
Scheduling Strategies for Cycle Scavenging in Multicluster Grid Systems
The use of today’s multicluster grids exhibits periods of submission bursts with periods of normal use and even of idleness. To avoid resource contention, many users employ obse...
Omer Ozan Sonmez, Bart Grundeken, Hashim H. Mohame...
CEC
2009
IEEE
15 years 12 months ago
Mobile processes, mobile channels and complex dynamic systems
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
Eric Bonnici, Peter H. Welch
GLOBECOM
2009
IEEE
15 years 12 months ago
Local Estimation of Probabilities of Direct and Staggered Collisions in 802.11 WLANs
—Current 802.11 networks do not typically achieve the maximum potential throughput despite link adaptation and crosslayer optimization techniques designed to alleviate many cause...
Michael N. Krishnan, Sofie Pollin, Avideh Zakhor
« Prev « First page 1933 / 2315 Last » Next »