Sciweavers

2957 search results - page 131 / 592
» Code analysis and CS-XML
Sort
View
PARA
2004
Springer
15 years 8 months ago
A Tool to Display Array Access Patterns in OpenMP Programs
Abstract. A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Array privatization is one of the most effective ways to improve...
Oscar Hernandez, Chunhua Liao, Barbara M. Chapman
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
15 years 5 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
ACMSE
2006
ACM
15 years 9 months ago
Static analysis of anomalies and security vulnerabilities in executable files
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
Jay-Evan J. Tevis, John A. Hamilton Jr.
DFMA
2005
IEEE
120views Multimedia» more  DFMA 2005»
15 years 8 months ago
Modelling, Analysis and Parallel Implementation of an On-line Video Encoder
Video encoding is a fundamental component of a wide range of real-time multimedia applications. In this paper we present the fine grain MPEG-4 parallelism and describe a modellin...
Ismail Assayad, Philippe Gerner, Sergio Yovine, Va...
EMSOFT
2006
Springer
15 years 6 months ago
An analysis framework for network-code programs
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
Madhukar Anand, Sebastian Fischmeister, Insup Lee