3820 search results - page 201 / 764 » Bounded Model Debugging |
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
We describe an efficient parallel algorithm for hiddensurface removal for terrain maps. The algorithm runs in Olog4 n steps on the CREW PRAM model with a work bound of On + kpolyl...
107
click to vote
CRYPTO
1992
Springer
15 years 7 months ago
1992
Springer
Blakley, Blakley, Chan and Massey conjectured a lower bound on the entropy of broadcast messages in threshold schemes with disenrollment. In an effort to examine the conjecture, w...
116
click to vote
DAC
1995
ACM
15 years 6 months ago
1995
ACM
Abstract We observe that the switching activity at a circuit node, also called the transition density, can be extremely sensitive to the circuit internal delays. As a result, sligh...
113
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
ABSTRACT: In this paper I present the model of ‘bounded revision’ that is based on two-dimensional revision functions taking as arguments pairs consisting of an input sentence ...
132
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, new inner and outer bounds on the achievable compression-equivocation rate region for generalized secure data compression with side information are given that do not...