7773 search results - page 1249 / 1555 » On generalized Frame-Stewart numbers |
171
click to vote
CRYPTO
1994
Springer
15 years 11 months ago
1994
Springer
Suppose we are given a proof of knowledge P in which a prover demonstrates that he knows a solution to a given problem instance. Suppose also that we have a secret sharing scheme S...
203
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
We provide a new theoretical framework for constructing Steiner routing trees with minimum Elmore delay. Earlier work [3, 13] has established Elmore delay as a high delity estima...
242
click to vote
FSTTCS
1993
Springer
15 years 11 months ago
1993
Springer
We investigate the complexity and approximability of some location problems when two distance values are specified for each pair of potential sites. These problems involve the se...
185
click to vote
ASPLOS
1992
ACM
15 years 11 months ago
1992
ACM
: In scalable parallel machines, processors can make local memory accesses much faster than they can make remote memory accesses. In addition, when a number of remote accesses must...
179
click to vote
HYBRID
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...