21984 search results - page 5 / 4397 » C |
122
click to vote
ICTAI
2008
IEEE
15 years 10 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
134
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
—In this paper, we examine the design process of a Network on-Chip (NoC) for a high-end commercial System onChip (SoC) application. We present several design choices and focus on...
119
Voted
ENTCS
2010
15 years 26 days ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
177
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
125
Voted
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe ITS4, a tool for statically scanning security-critical C source code for vulnerabilities. Compared to other approaches, our scanning technique stakes out a new middle ...