4764 search results - page 139 / 953 » Applications of Error-Control Coding |
POPL
1995
ACM
13 years 11 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
OPODIS
2007
13 years 9 months ago
2007
We present a novel translation of systems that are tolerant of crash failures to systems that are tolerant of Byzantine failures in an asynchronous environment, making weaker assum...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
A transform approximation is explored for speeding up the software compression of images and video. It is used to replace the regular DCT whenever only few DCT coefficients are ac...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Developers are often unaware of, or fail to respect, the intentions behind a design due to poor communication of design intent. SCL (Structural Constraint Language) helps develope...
WETICE
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper presents the performance analysis of a grid-enabled MIP solver in a grid environment consisting of three clusters on a campus LAN. In particular, the paper focuses on...