1466 search results - page 18 / 294 » C Program Information Database for Analysis Tools |
APSEC
1996
IEEE
13 years 11 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
MIR
2004
ACM
14 years 29 days ago
2004
ACM
We present in this paper a CBIR system for use in a psychological study of the relationship between human movement and Dyslexia. The system allows access to up to 500 hours of vid...
AICCSA
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
EUROPAR
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...
PPOPP
1993
ACM
13 years 11 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...