487 search results - page 35 / 98 » Implementation Correctness of a Real-Time Operating System |
CCS
2008
ACM
13 years 9 months ago
2008
ACM
We introduce a new practical mechanism for remote data storage with efficient access pattern privacy and correctness. A storage client can deploy this mechanism to issue encrypted...
VISUALIZATION
1997
IEEE
13 years 12 months ago
1997
IEEE
We present an image synthesis methodology and a system built around it. Given a sparse set of photographs taken from unknown viewpoints, the system generates images from new, diff...
MM
1999
ACM
14 years 2 days ago
1999
ACM
Current camera-monitor teleconferencing applications produce unrealistic imagery and break any sense of presence for the participants. Other capture/display technologies can be us...
ICPP
2003
IEEE
14 years 1 months 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...
CODES
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes a hardware-software co-design approach for flexible programmable Galois Field Processing for applications which require operations over GF(2m ), such as RS an...