626 search results - page 112 / 126 » When Can Formal Methods Make a Real Difference |
130
click to vote
ICDCS
2009
IEEE
16 years 16 days ago
2009
IEEE
In distributed storage systems, erasure codes represent an attractive solution to add redundancy to stored data while limiting the storage overhead. They are able to provide the s...
127
click to vote
ICDCS
2009
IEEE
16 years 16 days ago
2009
IEEE
Retrieving sequential rich media content from modern commodity disks is a challenging task. As disk capacity increases, there is a need to increase the number of streams that are ...
123
click to vote
ICPP
2009
IEEE
15 years 10 months ago
2009
IEEE
— High-end computing (HEC) systems have passed the petaflop barrier and continue to move toward the next frontier of exascale computing. As companies and research institutes con...
133
click to vote
ICDCS
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Stream processing is widely used by today’s applications such as financial data analysis and disaster response. In distributed stream processing systems, machine fail...
133
click to vote
ICIP
1998
IEEE
15 years 7 months ago
1998
IEEE
The block-matching motion estimation algorithm using a translational motion model cannot provide acceptable image quality in low bit-rate coding. To improve coding performance, we ...