21984 search results - page 29 / 4397 » C |
126
Voted
PDP
2010
IEEE
15 years 2 months ago
2010
IEEE
— This paper presents Investigation of Transient Fault Effects in an asynchronous NoC router. The experiment is based on simulation-based fault injection method to assess the fau...
188
Voted
SIES
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
107
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
101
Voted
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we compare the underlying models of computation of the system description languages SystemC and Esterel. Although these languages have a rather different origin, we...
116
Voted
SOCO
2005
Springer
15 years 9 months ago
2005
Springer
Compared to other languages, the C++ language offers a less powerful runtime type system, but a very powerful static type system. In AspectC++, this is addressed by an extended joi...