1145 search results - page 67 / 229 » The Correctness of an Optimized Code Generation |
ICCAD
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper describes a method of synthesis of asynchronous circuits with relative timing. Asynchronous communication between gates and modules typically utilizes handshakes to ens...
ICLP
1989
Springer
14 years 28 days ago
1989
Springer
The generation of efficient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we show that over the binary erasure channel, Quasi-Cyclic LDPC codes can efficiently accommodate the hybrid iterative/ML decoding. We demonstrate that the quasicycl...
PCM
2005
Springer
2005
Springer
Photometry Data Coding for Three-Dimensional Mesh Models Using Connectivity and Geometry Information
14 years 2 months ago
In this paper, we propose new predictive coding schemes for photometry data of three-dimensional (3-D) mesh models as per-vertex binding. We exploit geometry and connectivity infor...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
We consider the problem of constructing an erasure code for storage over a network when the data sources are distributed. Specifically, we assume that there are n storage nodes wit...