Sciweavers

4998 search results - page 749 / 1000
» The case for intentional networking
Sort
View
FGCS
2006
83views more  FGCS 2006»
13 years 9 months ago
Memory-efficient Kronecker algorithms with applications to the modelling of parallel systems
We present a new algorithm for computing the solution of large Markov chain models whose generators can be represented in the form of a generalized tensor algebra, such as network...
Anne Benoit, Brigitte Plateau, William J. Stewart
JMM2
2008
74views more  JMM2 2008»
13 years 9 months ago
Discrete LQ Rate Control for MPEG2 Video Streaming System
-- In this paper, we propose a novel rate control system by applying the discrete linear quadratic rate control method (DLQ) to transmissions of MPEG2 streams in IP networks. We gi...
Xiaofei Zhou, Kenneth Ong
MANSCI
2008
102views more  MANSCI 2008»
13 years 9 months ago
Revenue Management of Callable Products
We introduce callable products into a finite-capacity, two-period sales or booking process where low-fare customers book first. A callable product is a unit of capacity sold at th...
Guillermo Gallego, S. G. Kou, Robert Phillips
JSAT
2006
108views more  JSAT 2006»
13 years 9 months ago
Translating Pseudo-Boolean Constraints into SAT
In this paper, we describe and evaluate three different techniques for translating pseudoboolean constraints (linear constraints over boolean variables) into clauses that can be h...
Niklas Eén, Niklas Sörensson
FAC
2007
122views more  FAC 2007»
13 years 9 months ago
Formal techniques for performance analysis: blending SAN and PEPA
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
Jane Hillston, Leïla Kloul