584 search results - page 82 / 117 » A program visualization tool for program comprehension |
EOR
2008
13 years 7 months ago
2008
The Cooperative Water Allocation Model (CWAM) is designed within a general mathematical programming framework for modeling equitable and efficient water allocation among competing...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
HPCC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Tracing parallel programs to observe their performance introduces intrusion as the result of trace measurement overhead. If post-mortem trace analysis does not compensate...
ECLIPSE
2005
ACM
13 years 9 months ago
2005
ACM
Java provides a program-level exception handling mechanism in response to error conditions (that are translated into exceptions by Java VM). However, exception handling code is of...
ICTAI
2002
IEEE
14 years 20 days ago
2002
IEEE
Tracing and performance analysis tools are an important component in the development of high performance applications. Tracing parallel programs with current tracing tools, howeve...