124 search results - page 2 / 25 » Static Code Analysis of Functional Descriptions in SystemC |
ISVLSI
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
108
Voted
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
GI
2004
Springer
15 years 2 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
85
Voted
KES
2008
Springer
14 years 9 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
ESSOS
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. To understand the effect of code complexity on static analysis, thirty-five format string vulnerabilities were studied. We analyzed two code samples for each vulnerabilit...