Sciweavers

IFIP
1997
Springer
14 years 3 months ago
Waiting time distributions in a two-queue model with mixed exhaustive and gated-type K-limited services
We deal with a two-queue model with mixed exhaustive and gated-type K-limited services. This model can achieve various degrees of priority in each queue by varying the value of K....
Toshihisa Ozawa
ICALP
1995
Springer
14 years 3 months ago
Polynomial Closure and Unambiguous Product
Jean-Eric Pin, Pascal Weil
ICALP
1995
Springer
14 years 3 months ago
New Collapse Consequences of NP Having Small Circuits
We show that if a self-reducible set has polynomial-size circuits, then it is low for the probabilistic class ZPP(NP). As a consequence we get a deeper collapse of the polynomial-...
Johannes Köbler, Osamu Watanabe
ICALP
1995
Springer
14 years 3 months ago
Weakly Useful Sequences
An infinite binary sequence x is defined to be (i) strongly useful if there is a computable time bound within which every decidable sequence is Turing reducible to x; and (ii) w...
Stephen A. Fenner, Jack H. Lutz, Elvira Mayordomo
ICALP
1995
Springer
14 years 3 months ago
Shortest Path Queries in Digraphs of Small Treewidth
We consider the problem of preprocessing an n-vertex digraph with real edge weights so that subsequent queries for the shortest path or distance between any two vertices can be ef...
Shiva Chaudhuri, Christos D. Zaroliagis
ICALP
1995
Springer
14 years 3 months ago
Parallel Algorithms with Optimal Speedup for Bounded Treewidth
We describe the rst parallel algorithm with optimal speedup for constructing minimum-width tree decompositions of graphs of bounded treewidth. On n-vertex input graphs, the algori...
Hans L. Bodlaender, Torben Hagerup
ICALP
1995
Springer
14 years 3 months ago
Intervalizing k-Colored Graphs
The problem to determine whether a given k-colored graph is a subgraph of a properly colored interval graph has an application in DNA physical mapping. In this paper, we study the...
Hans L. Bodlaender, Babette de Fluiter
ICALP
1995
Springer
14 years 3 months ago
Automatic Synthesis of Real Time Systems
Jørgen H. Andersen, Kåre J. Kristoffe...
GI
1995
Springer
14 years 3 months ago
A Comparison of C++, FORTRAN 90 and Oberon-2 for Scientific Programming
In the past decade, the programming languages C++, FORTRAN 90 and Oberon-2 allevolved from their ancestors. This invites to reflect upon the suitability ofthese modern programming...
Bernd Mösli