Sciweavers

4690 search results - page 348 / 938
» An operational semantics for Scheme
Sort
View
ICIP
2004
IEEE
16 years 8 months ago
Theoretical analysis of some regularized image denoising methods
Regularization techniques have been in use in signal recovery for over four decades. In this paper, we propose a new, synthetic approach to the study of regularization methods in ...
Patrick L. Combettes, Valerie R. Wajs
OSDI
2004
ACM
16 years 7 months ago
Chain Replication for Supporting High Throughput and Availability
Chain replication is a new approach to coordinating clusters of fail-stop storage servers. The approach is intended for supporting large-scale storage services that exhibit high t...
Robbert van Renesse, Fred B. Schneider
ICCS
2007
Springer
16 years 29 days ago
Hierarchical-Matrix Preconditioners for Parabolic Optimal Control Problems
Abstract. Hierarchical (H)-matrices approximate full or sparse matrices using a hierarchical data sparse format. The corresponding H-matrix arithmetic reduces the time complexity o...
Suely Oliveira, Fang Yang
ISMVL
2000
IEEE
79views Hardware» more  ISMVL 2000»
15 years 11 months ago
Novel Resonant-Tunneling Multiple-Threshold Logic Circuit Based on Switching Sequence Detection
We present a novel multiple-threshold circuit using resonant-tunneling diodes (RTDs). The logic operation is based on detecting a switching sequence in the RTD circuit. This schem...
Takao Waho, Kazufumi Hattori, Kouji Honda
USS
2004
15 years 8 months ago
Side Effects Are Not Sufficient to Authenticate Software
Kennell and Jamieson [KJ03] recently introduced the Genuinity system for authenticating trusted software on a remote machine without using trusted hardware. Genuinity relies on ma...
Umesh Shankar, Monica Chew, J. D. Tygar