3107 search results - page 295 / 622 » Error-Correcting Source Code |
124
click to vote
USENIX
2007
15 years 6 months ago
2007
Most computer defense systems crash the process that they protect as part of their response to an attack. Although recent research explores the feasibility of selfhealing to autom...
141
click to vote
APCCM
2008
15 years 5 months ago
2008
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
128
click to vote
SETP
2007
15 years 5 months ago
2007
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
134
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Inspired by the context of compressing encrypted sources, this paper considers the general tradeoff between rate, end-to-end delay, and probability of error for lossless source co...
140
click to vote
DSD
2009
IEEE
15 years 2 months ago
2009
IEEE
Several traditional VHDL fault injection mechanisms like mutants or saboteurs have been adapted to SystemC model descriptions. The main drawback of these approaches is the necessi...