Sciweavers

2621 search results - page 80 / 525
» Near orders and codes
Sort
View
WCRE
1995
IEEE
15 years 8 months ago
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
ICIP
2004
IEEE
16 years 6 months ago
Wireless transmission of images using jpeg2000
A novel scheme is proposed for the transmission of JPEG2000 image streams over wireless channels. The proposed scheme exploits the block-based coding structure of the JPEG2000 str...
Nikolaos Thomos, Nikolaos V. Boulgouris, Michael G...
ESORICS
2007
Springer
15 years 10 months ago
Security of Multithreaded Programs by Compilation
Abstract. Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the cod...
Gilles Barthe, Tamara Rezk, Alejandro Russo, Andre...
SIP
2003
15 years 5 months ago
Code-aided Phase and Timing Ambiguity Resolution for AWGN Channels
We present a novel maximum-likelihood (ML) joint frame synchronization and carrier phase ambiguity resolution algorithm for coded systems that exploits the code properties by acce...
Henk Wymeersch, Marc Moeneclaey
WCET
2007
15 years 5 months ago
Analysis of path exclusion at the machine code level
We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded ...
Ingmar Stein, Florian Martin