Sciweavers

500 search results - page 29 / 100
» codes 1998
Sort
View
ICIP
1998
IEEE
14 years 28 days ago
Implicit Coding for Very Low Bit Rate Image Compression
W e explore a n image compression scheme that does not rely o n the usual additive decomposition of a n input image into a set of predefined spanning functions. The proposed schem...
Yuk-Wong Choi, Nguyen T. Thao
RSP
1998
IEEE
126views Control Systems» more  RSP 1998»
14 years 28 days ago
Testing Prototypes Validity to Enhance Code Reuse
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
Didier Buchs, A. Diagne, Fabrice Kordon
NIPS
1998
13 years 10 months ago
Scheduling Straight-Line Code Using Reinforcement Learning and Rollouts
The execution order of a block of computer instructions can make a difference in its running time by a factor of two or more. In order to achieve the best possible speed, compiler...
Amy McGovern, J. Eliot B. Moss
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
14 years 27 days 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
ICSE
1998
IEEE-ACM
14 years 27 days ago
Conceptual Module Querying for Software Reengineering
Many tools have been built to analyze source code. Most of these tools do not adequately support reengineering activities because they do not allow a software engineer to simultan...
Elisa L. A. Baniassad, Gail C. Murphy