913 search results - page 64 / 183 » Full Abstraction for Linda |
EUROPAR
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper proposes two compiler-assisted techniques to improve thread level control speculation in speculative multithreading executions. The first technique is to incr...
WAIFI
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Miller’s algorithm for computing pairings involves performing multiplications between elements that belong to different finite fields. Namely, elements in the full e...
DSD
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract—The increasing presence of UDP traffic in the Internet and the emergence of sensing applications which do not require full reliability motivates the search for a robust...
ACNS
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We introduce WORM-ORAM, a first mechanism that combines Oblivious RAM (ORAM) access privacy and data confidentiality with Write Once Read Many (WORM) regulatory data re...