972 search results - page 19 / 195 » presence 2007 |
93
Voted
EUROCRYPT
2007
Springer
15 years 1 months ago
2007
Springer
We show an efficient secure two-party protocol, based on Yao's construction, which provides security against malicious adversaries. Yao's original protocol is only secur...
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
Abstract-- SAT sweeping is the process of merging two or more functionally equivalent nodes in a circuit by selecting one of them to represent all the other equivalent nodes. This ...
ESANN
2003
14 years 10 months ago
2003
- A test bed of experiments with real and artificially generated data has been designed to compare the performance of three well-known algorithms for BSS. The main goal of these ex...
EUSFLAT
2001
14 years 10 months ago
2001
In this paper we suggest how to est,imate a mean lifetime in the presence of vague data, especially imprecise number of failures.