2286 search results - page 249 / 458 » Algorithms for Categorical Equivalence |
215
click to vote
PODC
2000
ACM
15 years 11 months ago
2000
ACM
Distributed programs are hard to write. A distributed debugger equipped with the mechanism to re-execute the traced computation in a controlled fashion can greatly facilitate the ...
193
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
It has been shown that secret information can be leaked to external observers through covert timing channels. In this paper we are concerned with a kind of timing attack that want...
172
click to vote
PKC
1999
Springer
15 years 11 months ago
1999
Springer
This paper introduces a method for tracking different copies of functionally equivalent algorithms containing identification marks known to the attacker. Unlike all previous solu...
194
Voted
DAC
1994
ACM
15 years 10 months ago
1994
ACM
New placement techniques are presented which substantially improve the process of automatic layout generation of analog IC's. Extremely tight specifications can be enforced o...
155
click to vote
COCO
1992
Springer
15 years 10 months ago
1992
Springer
We characterize the classes of functions computable by uniform log-depth (NC1) and polylog-depth circuit families as closures of a set of base functions. (The former is equivalent...