1031 search results - page 38 / 207 » codes 2004 |
93
Voted
DSN
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper describes a decentralized consistency protocol for survivable storage that exploits local data versioning within each storage-node. Such versioning enables the protocol...
103
click to vote
FORTE
2004
15 years 1 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
91
Voted
LCTRTS
2004
Springer
15 years 5 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
109
Voted
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
Video coding techniques yielding state-of-the-art compression performance require large amount of computational resources, hence practical implementations, which target a broad ma...
104
click to vote
SAC
2004
ACM
15 years 6 months ago
2004
ACM
Some telecommunication systems can not afford the cost of repeating a corrupted message. Instead, the message should be somewhat “corrected” by the receiver. In these cases a...