3404 search results - page 30 / 681 » C Programming Tutorial |
83
Voted
ASPLOS
2008
ACM
14 years 11 months ago
2008
ACM
The C programming language is at least as well known for its absence of spatial memory safety guarantees (i.e., lack of bounds checking) as it is for its high performance. C'...
150
click to vote
IFM
2010
Springer
14 years 7 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
SAMOS
2004
Springer
15 years 3 months ago
2004
Springer
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...
83
Voted
APSEC
2004
IEEE
15 years 1 months ago
2004
IEEE
In embedded software development, the programming language C and inline assembly code are traditionally widely used. However, tools for C program-understanding, e.g., cross-refere...
81
Voted
PTS
2008
14 years 11 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...