837 search results - page 36 / 168 » codes 2000 |
HICSS
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper, we investigate the e ectiveness of applying type-II hybrid ARQ schemes to the transmission of MPEG-2 encoded video streams over xed wireless links in broadband xed ...
ANLP
1994
13 years 10 months ago
1994
A new technique to locate content-representing words for a given document image using representation of character shapes is described. A character shape code representation define...
TPHOL
2000
IEEE
14 years 6 days ago
2000
IEEE
This paper outlines a formal model of the Intel IA-64 architecture, and explains how this model can be used to verify the correctness of assembly-level code optimizations. The form...
POS
2000
Springer
14 years 7 days ago
2000
Springer
Abstract. Aggressive optimization of programs often relies on analysis and transformation that cuts across the natural abstraction boundaries of the source programming language, su...
CLUSTER
2000
IEEE
14 years 1 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...