Sciweavers

837 search results - page 74 / 168
» codes 2000
Sort
View
COMCOM
2000
125views more  COMCOM 2000»
15 years 15 days 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»
15 years 7 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
92
Voted
ISCAS
2003
IEEE
84views Hardware» more  ISCAS 2003»
15 years 6 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
115
Voted
CADE
2000
Springer
15 years 5 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»
15 years 2 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