1604 search results - page 205 / 321 » Development Separation in Lambda-Calculus |
92
Voted
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
With the rapid development of digital technology in consumer electronics, the demand to preserve raw image data for further editing or repeated compression is increasing. Traditio...
104
Voted
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
Scalability refers to the extent of configuration modifications over which a system continues to be economically deployable. Until now, scalability of resource management system...
ISCA
2005
IEEE
15 years 6 months ago
2005
IEEE
Improved branch prediction accuracy is essential to sustaining instruction throughput with today’s deep pipelines. We introduce piecewise linear branch prediction, an idealized ...
100
Voted
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
— A Parallel algorithm and its hardware implementation of Inverse Halftone operation is proposed in this paper. The algorithm is based on Lookup Tables from which the inverse hal...
ISPW
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper suggests how an appropriately designed and architected process definition language can be an effective aid to the rapid generation of simulations, which are, in turn, ca...