Sciweavers

73 search results - page 5 / 15
» The Value-of-Information in Matching with Queues
Sort
View
TRANSCI
1998
78views more  TRANSCI 1998»
15 years 5 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 10 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 11 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»
15 years 6 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
15 years 1 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