Sciweavers

3456 search results - page 148 / 692
» Byte Code Engineering
Sort
View
IOLTS
2006
IEEE
100views Hardware» more  IOLTS 2006»
15 years 9 months ago
A Note on Error Detection in an RSA Architecture by Means of Residue Codes
Recently, various attacks have been proposed against many cryptosystems, exploiting deliberate error injection during the computation process. In this paper, we add a residue-base...
Luca Breveglieri, Paolo Maistri, Israel Koren
CODES
2005
IEEE
15 years 8 months ago
Enhanced code density of embedded CISC processors with echo technology
Code density is an important issue in memory constrained systems. Some RISC processor, e.g. the THUMB extension in the ARM processor, supports aggressive code size reduction even ...
Youfeng Wu, Mauricio Breternitz Jr., Herbert H. J....
112
Voted
ECRTS
2005
IEEE
15 years 8 months ago
Automated Model-Based Generation of Ravenscar-Compliant Source Code
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
Matteo Bordin, Tullio Vardanega
CODES
2002
IEEE
15 years 8 months ago
A language for multiple models of computation
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
Dag Björklund, Johan Lilius
WCRE
2005
IEEE
15 years 8 months ago
Symbolic Interpretation of Legacy Assembly Language
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
Jacques Carette, Pulak Kumar Chowdhury