9842 search results - page 1619 / 1969 » Problem complexity |
193
click to vote
FOCS
2003
IEEE
16 years 2 days ago
2003
IEEE
We consider the problem of constructing a general protocol for secure two-party computation in a way that preserves security under concurrent composition. In our treatment, we foc...
142
click to vote
ICPP
2003
IEEE
16 years 2 days ago
2003
IEEE
For concurrent I/O operations, atomicity defines the results in the overlapping file regions simultaneously read/written by requesting processes. Atomicity has been well studied...
192
click to vote
ICRA
2003
IEEE
16 years 2 days ago
2003
IEEE
— The Extended Kalman Filter (EKF) has been the de facto approach to the Simultaneous Localization and Mapping (SLAM) problem for nearly fifteen years. However, the EKF has two ...
190
click to vote
IPPS
2003
IEEE
16 years 2 days ago
2003
IEEE
In this paper, we describe a compilation system that automates much of the process of performance tuning that is currently done manually by application programmers interested in h...
191
click to vote
IPPS
2003
IEEE
16 years 2 days ago
2003
IEEE
The accurate modeling of the electronic structure of atoms and molecules involves computationally intensive tensor contractions involving large multi-dimensional arrays. The effi...