Sciweavers

4764 search results - page 154 / 953
» Applications of Error-Control Coding
Sort
View
SAC
2003
ACM
14 years 1 months ago
Validation of Code-Improving Transformations for Embedded Systems
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...
Robert van Engelen, David B. Whalley, Xin Yuan
CAV
2008
Springer
160views Hardware» more  CAV 2008»
13 years 10 months ago
Scalable Shape Analysis for Systems Code
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano...
ICC
2007
IEEE
210views Communications» more  ICC 2007»
13 years 10 months ago
Dirty-Paper Coding without Channel Information at the Transmitter and Imperfect Estimation at the Receiver
—In this paper, we examine the effects of imperfect channel estimation at the receiver and no channel knowledge at the transmitter on the capacity of the fading Costa’s channel...
Pablo Piantanida, Pierre Duhamel
CSREAESA
2003
13 years 9 months ago
Impact of Code Compression on the Power Consumption in Embedded Systems
Future embedded systems (ES) will offer higher computation capacity than existing embedded systems. New applications of these ES require more and more memory resources and more an...
N. Kadri, S. Niar, A. R. Baba-Ali
AVI
2000
13 years 9 months ago
Generating User Interface Code in a Model Based User Interface Development Environment
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
Paulo Pinheiro da Silva, Tony Griffiths, Norman W....