Sciweavers

73 search results - page 5 / 15
» The Value-of-Information in Matching with Queues
Sort
View
TRANSCI
1998
78views more  TRANSCI 1998»
14 years 9 months ago
Queue Spillovers in Transportation Networks with a Route Choice
This paper explores some of the traffic phenomena that arise when drivers have to navigate a network in which queues back up past diverge intersections. If a diverge provides two ...
Carlos F. Daganzo
WOSP
2000
ACM
15 years 1 months ago
Analytic model of Web servers in distributed environments
In this paper, we illustrate a model-based approach to Web server performance evaluation, and present an analytic queueing model of Web servers in distributed environments. Perfor...
Paul Reeser, Rema Hariharan
SPAA
2004
ACM
15 years 3 months ago
Adaptive channel queue routing on k-ary n-cubes
This paper introduces a new adaptive method, Channel Queue Routing (CQR), for load-balanced routing on k-ary n-cube interconnection networks. CQR estimates global congestion in th...
Arjun Singh, William J. Dally, Amit K. Gupta, Bria...
CN
2007
132views more  CN 2007»
14 years 9 months ago
FluNet: A hybrid internet simulator for fast queue regimes
Motivated by the scale and complexity of simulating large-scale networks, recent research has focused on hybrid fluid/packet simulators, where fluid models are combined with pac...
Yung Yi, Sanjay Shakkottai
AMAST
2010
Springer
14 years 4 months ago
Matching Logic: An Alternative to Hoare/Floyd Logic
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
Grigore Rosu, Chucky Ellison, Wolfram Schulte