Sciweavers

2621 search results - page 165 / 525
» Near orders and codes
Sort
View
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
15 years 10 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet
ICCL
1992
IEEE
15 years 10 months ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
Jens Palsberg
CG
2004
Springer
15 years 6 months ago
Compression of soft-body animation sequences
We describe a compression scheme for the geometry component of 3D animation sequences. This scheme is based on the principle component analysis (PCA) method, which represents the ...
Zachi Karni, Craig Gotsman
VLSISP
1998
114views more  VLSISP 1998»
15 years 6 months ago
A Region-Based Representation of Images in MARS
We study the problem of representing images within a multimedia Database Management System (DBMS), in order to support fast retrieval operations without compromising storage e cien...
Sergio D. Servetto, Yong Rui, Kannan Ramchandran, ...
VTC
2010
IEEE
121views Communications» more  VTC 2010»
15 years 4 months ago
Randomized DSFC with Relay-Assisted ARQ for Decentralized Wireless Relay Networks
Abstract—In this paper, randomized distributed spacefrequency coding (R-DSFC) scheme is proposed for decentralized wireless relay networks. We consider relay-assisted ARQ to over...
Eungkuk Nam, Jae Hong Lee