Sciweavers

IFIP
1997
Springer
14 years 8 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 8 months ago
Polynomial Closure and Unambiguous Product
Jean-Eric Pin, Pascal Weil
ICALP
1995
Springer
14 years 8 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 8 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 8 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 8 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 8 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 8 months ago
Automatic Synthesis of Real Time Systems
Jørgen H. Andersen, Kåre J. Kristoffe...
GI
1995
Springer
14 years 8 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