877 search results - page 105 / 176 » Full Abstraction for HOPLA |
CAIP
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The paper describes a three-layer video coder based on spatiotemporal scalability and data partitioning. The base layer represents video sequences with reduced spatial an...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract In this document we make a brief review of memory management and DMA considerations in case of common SCI hardware and the Virtual Interface Architecture. On this basis we...
ASPDAC
2000
ACM
14 years 1 months ago
2000
ACM
Abstract - In this paper, we propose the concept of System-InPackage (SIP) as a generalization of System-On-Chip (SOC). System-In-Package overcomes formidable integration barriers ...
FCCM
1998
IEEE
14 years 1 months ago
1998
IEEE
Abstract Image processing, specifically Automatic Target Recognition (ATR) in Synthetic Aperture Radar (SAR) imagery, is an application area that can require tremendous processing ...
CADE
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...