5241 search results - page 274 / 1049 » Embedded Programming with C |
110
Voted
CCS
2003
ACM
15 years 8 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
118
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
We propose two novel integration techniques -- bypass and bookkeeping -- in the memory controller to address the cache coherence compatibility issue of a non-shared bus heterogene...
IWPC
2003
IEEE
15 years 8 months ago
2003
IEEE
Parsing programming languages is an essential component of the front end of most program comprehension tools. Languages such as C++ can be difficult to parse and so it can prove ...
124
Voted
CC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
119
Voted
JLP
2000
15 years 2 months ago
2000
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...