1646 search results - page 184 / 330 » Automatic generation of two-party computations |
ARITH
2009
IEEE
14 years 1 months ago
2009
IEEE
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...
BIRTHDAY
2007
Springer
14 years 1 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
HPCC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
HUMO
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present a 3D registration algorithm based on simulated physical force/moment for articulated human motion tracking. Provided with sparsely reconstructed 3D human ...
DAC
1995
ACM
14 years 1 months ago
1995
ACM
— Most information and services required today by designers will soon become available as documents distributed in a wide area hypermedia network. New integration services are re...