Sciweavers

3991 search results - page 225 / 799
» Bounding homogeneous models
Sort
View
CORR
2004
Springer
166views Education» more  CORR 2004»
13 years 8 months ago
A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
Marie Lalire, Philippe Jorrand
QUESTA
2007
50views more  QUESTA 2007»
13 years 7 months ago
Stability of join-the-shortest-queue networks
This paper investigates stability behavior in a variant of a generalized Jackson queueing network. In our network, some customers use a join-the-shortest-queue policy when enterin...
J. G. Dai, John J. Hasenbein, Bara Kim
BMVC
2010
13 years 6 months ago
Electoral College and Direct Popular Vote for Multi-Candidate Election
We introduce a stability analysis model for multi-candidate regional and national voting schemes (aka Electoral College and Direct Popular Vote, respectively), which can be expres...
Liang Chen
ICCS
2009
Springer
13 years 6 months ago
Developing Scientific Applications with Loosely-Coupled Sub-tasks
The Simple API for Grid Applications (SAGA) can be used to develop a range of applications which are in turn composed of multiple sub-tasks. In particular SAGA is an effective tool...
Shantenu Jha, Yaakoub El Khamra, Joohyun Kim
KDD
2012
ACM
292views Data Mining» more  KDD 2012»
11 years 10 months ago
Online allocation of display ads with smooth delivery
Display ads on the Internet are often sold in bundles of thousands or millions of impressions over a particular time period, typically weeks or months. Ad serving systems that ass...
Anand Bhalgat, Jon Feldman, Vahab S. Mirrokni