1816 search results - page 47 / 364 » Trace oblivious computation |
ASIACRYPT
2003
Springer
15 years 2 months ago
2003
Springer
We propose a new public key trace and revoke scheme secure against adaptive chosen ciphertext attack. Our scheme is more efficient than the DF scheme suggested by Y. Dodis and N. F...
76
Voted
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
81
Voted
ICPR
2008
IEEE
15 years 5 months ago
2008
IEEE
Natural fractures may greatly affect wellbore stability and fluid flow in oil reservoirs. The detection of fracture heterogeneities—also named fracture traces—on electrical im...
SIGGRAPH
1999
ACM
15 years 3 months ago
1999
ACM
Antialiasing of ray traced images is typically performed by supersampling the image plane. While this type of filtering works well for many algorithms, it is much more efficient t...
ICPP
2007
IEEE
15 years 5 months ago
2007
IEEE
We propose and evaluate a novel approach for automatic parallelization. The approach uses traces as units of parallel work. We discuss the benefits and challenges of the use of t...