Sciweavers

837 search results - page 74 / 168
» codes 2000
Sort
View
COMCOM
2000
125views more  COMCOM 2000»
13 years 10 months ago
On object initialization in the Java bytecode
Java is an ideal platform for implementing mobile code systems, not only because of its portability but also because it is designed with security in mind. Untrusted Java programs ...
Stephane Doyon, Mourad Debbabi
ISCAS
2007
IEEE
181views Hardware» more  ISCAS 2007»
14 years 4 months ago
Image Compression using 2D Dual-tree Discrete Wavelet Transform (DDWT)
—In this paper, we investigate image compression using 2D Dual-tree Discrete Wavelet Transform (DDWT), which is an overcomplete transform with direction-selective basis functions...
Jing-Yu Yang, Wenli Xu, Qionghai Dai, Yao Wang
ISCAS
2003
IEEE
84views Hardware» more  ISCAS 2003»
14 years 3 months ago
Performance optimization for motion compensated 2D wavelet video compression techniques
In this paper we present two performance optimization methods for a motion compensated (MC) 2D wavelet video coding technique, which is based on two of the current stateof-the-art...
Zhen Li, Feng Wu, Shipeng Li, Edward J. Delp
CADE
2000
Springer
14 years 2 months ago
Machine Instruction Syntax and Semantics in Higher Order Logic
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
Neophytos G. Michael, Andrew W. Appel
DYNAMO
2000
110views more  DYNAMO 2000»
13 years 11 months ago
Machine-adaptable dynamic binary translation
Dynamic binary translation is the process of translating and optimizing executable code for one machine to another at runtime, while the program is "executing" on the ta...
David Ung, Cristina Cifuentes