21984 search results - page 29 / 4397 » C |
PDP
2010
IEEE
13 years 6 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...
SIES
2010
IEEE
13 years 5 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...
CADE
2007
Springer
14 years 7 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...
FDL
2007
IEEE
14 years 1 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...
SOCO
2005
Springer
14 years 1 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...