Sciweavers

3107 search results - page 71 / 622
» Error-Correcting Source Code
Sort
View
ECRTS
2005
IEEE
14 years 1 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
IWPC
2002
IEEE
14 years 23 days ago
Source Code Files as Structured Documents
A means to add explicit structure to program source code is presented. XML is used to augment source code with syntactic information from the parse tree. More importantly, comment...
Jonathan I. Maletic, Michael L. Collard, Andrian M...
ICSM
2003
IEEE
14 years 1 months ago
A Framework for Understanding Conceptual Changes in Evolving Source Code
As systems evolve, they become harder to understand because the implementation of concepts (e.g. business rules) becomes less coherent. To preserve source code comprehensibility, ...
Nicolas Gold, Andrew Mohan
VTC
2006
IEEE
124views Communications» more  VTC 2006»
14 years 1 months ago
Linear Dispersion for Single-Carrier Communications in Frequency Selective Channels
Abstract— Linear dispersion coded orthogonal frequency division multiplexing (LDC-OFDM) has recently been proposed to improve joint frequency and time diversity. This paper inves...
Jinsong Wu, Steven D. Blostein
ISQED
2010
IEEE
156views Hardware» more  ISQED 2010»
13 years 9 months ago
On the design of different concurrent EDC schemes for S-Box and GF(p)
Recent studies have shown that an attacker can retrieve confidential information from cryptographic hardware (e.g. the secret key) by introducing internal faults. A secure and re...
Jimson Mathew, Hafizur Rahaman, Abusaleh M. Jabir,...