5012 search results - page 699 / 1003 » Distributed Error Correction |
176
Voted
SPAA
2010
ACM
15 years 11 months ago
2010
ACM
Transactional memory (TM) has shown potential to simplify the task of writing concurrent programs. Inspired by classical work on databases, formal definitions of the semantics of...
181
click to vote
ISPAN
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
179
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
178
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. It is an undeniable fact that people want information. Unfortunately, even in today's highly automated society, a lot of the information we desire is still manually ...
184
click to vote
JGTOOLS
2008
15 years 6 months ago
2008
A sensor located inside a digital camera is only able to measure the light which is reflected by an object. The reflected light varies with the spectral power distribution of the ...