Sciweavers

828 search results - page 17 / 166
» types 2000
Sort
View
IWMM
2000
Springer
78views Hardware» more  IWMM 2000»
13 years 11 months ago
On the Type Accuracy of Garbage Collection
We describe a novel approach to obtaining type-accurate information for garbage collection in a hardware and language independent way. Our approach uses a run-time analysis to pro...
Martin Hirzel, Amer Diwan
CSFW
2000
IEEE
14 years 1 days ago
Secure Composition of Untrusted Code: Wrappers and Causality Types
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
Peter Sewell, Jan Vitek
HICSS
2000
IEEE
146views Biometrics» more  HICSS 2000»
14 years 1 days ago
Transmission of MPEG-2 Encoded VoD Services over Wireless Access Networks Using Type-II Hybrid ARQ Schemes with RCPC Codes
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 ...
Hairuo Ma, Magda El Zarki
ECOOP
2000
Springer
13 years 12 months ago
A Basic Model of Typed Components
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
João Costa Seco, Luís Caires
ICIP
2000
IEEE
14 years 9 months ago
Subimage Extraction by Integer-Type Lifting Wavelet Transforms
This paper proposes a method for extracting subimages from a huge reference image by using lifting wavelet transforms that map integers to integers. Our integertype lifting wavele...
Shigeru Takano, Koichi Niijima