This paper suggests that a distributed system should support two communication paradigms: Remote Procedure Call (RPC) and group commumcation. The former is used for point-to-point...
M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verst...
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...
Cherif Salama, Gregory Malecha, Walid Taha, Jim Gr...
Robust local image features have been used successfully in robot localization and camera pose estimation; region tracking using affine warps is considered state of the art also for...
Abstract. In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time program can be executed on a single input, who...
Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothbl...
Tacit cartels did not arise in experimental triopoly markets even with the help of detailed instructions to prospective cartel members on how to coordinate actions. In duopoly mar...