4067 search results - page 413 / 814 » Programs for Applying Symmetries |
154
click to vote
EUROPAR
2004
Springer
16 years 5 days ago
2004
Springer
The APART working group is developing the APART Test Suite (ATS) for evaluating (automatic) performance analysis tools with respect to their correctness – that is, their ability...
191
click to vote
MEMBRANE
2004
Springer
16 years 4 days ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
134
click to vote
SAS
2004
Springer
16 years 4 days ago
2004
Springer
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
195
click to vote
IWPC
2003
IEEE
16 years 2 days ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
168
click to vote
KBSE
2003
IEEE
16 years 2 days 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...