5012 search results - page 25 / 1003 » Distributed Error Correction |
APLAS
2000
ACM
15 years 4 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
114
click to vote
EUROCRYPT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Secure computation consists of protocols for secure arithmetic: secret values are added and multiplied securely by networked processors. The striking feature of secure co...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
This paper discusses a stylized communications problem where one wishes to transmit a real-valued signal x Rn (a block of n pieces of information) to a remote receiver. We ask wh...
ASPDAC
2006
ACM
15 years 5 months ago
2006
ACM
— As the complexity of SoCs is increasing, hardware/software co-verification becomes an important part of system verification. C-level cycle-based simulation could be an efficien...
3DPVT
2002
IEEE
15 years 4 months ago
2002
IEEE
Ultrasound imaging is a helpful aid for diagnosis in many medical specialities. In order to enhance the information available to the examiner, an upcoming approach is to compound ...