3107 search results - page 368 / 622 » Error-Correcting Source Code |
144
click to vote
PVM
2005
Springer
15 years 9 months ago
2005
Springer
A scalable approach to performance analysis of MPI applications is presented that includes automated source code instrumentation, low overhead generation of profile and trace data...
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ...
114
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
Refactoring, an important technique for increasing flexibility of the source code, can be applied with much ease and efficiency by using automated tools. There is currently a lack...
120
click to vote
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper promotes the use of a mathematical concept lattice based upon the binary relation of accesses between methods and fields as a novel visualization of individual JAVA cl...
129
click to vote
ERLANG
2003
ACM
15 years 9 months ago
2003
ACM
This paper describes how the Erlang programming language could be extended with parameterized modules, in a way that is compatible with existing code. This provides a powerful way...