DAC
1994
ACM
14 years 3 months ago
1994
ACM
Abstract - We propose a new algorithm for the performancedriven interconnect design problem, based on alphabetic trees. The interconnect topology is determined in a global manner a...
CPM
1993
Springer
14 years 3 months ago
1993
Springer
Consider a text string of length n, a pattern string of length m, and a match vector of length n which declares each location in the text to be either a mismatch (the pattern does ...
COCO
1994
Springer
14 years 3 months ago
1994
Springer
We study competing-prover one-round interactive proof systems. We show that one-round proof systems in which the rst prover is trying to convince a veri er to accept and the secon...
COCO
1994
Springer
14 years 3 months ago
1994
Springer
Resource-bounded measure as originated by Lutz is an extension of classical measure theory which provides a probabilistic means of describing the relative sizes of complexity clas...
COCO
1994
Springer
14 years 3 months ago
1994
Springer
A probabilistically checkable debate system (PCDS) for a language L consists of a probabilisticpolynomial-time veri er V and a debate between Player 1, who claims that the input x ...
COCO
1994
Springer
14 years 3 months ago
1994
Springer
COCO
1994
Springer
14 years 3 months ago
1994
Springer
We show the following results regarding complete sets.
COCO
1994
Springer
14 years 3 months ago
1994
Springer
COCO
1994
Springer
14 years 3 months ago
1994
Springer
COCO
1994
Springer
14 years 3 months ago
1994
Springer
Recent results by Toda, Vinay, Damm, and Valiant have shown that the complexity of the determinant is characterized by the complexity of counting the number of accepting computati...