782 search results - page 61 / 157 » Performance Engineering Case Study: Heap Construction |
106
Voted
ENTCS
2010
14 years 10 months ago
2010
Graphical diagrams are the main modelling constructs offered by the popular modelling language UML. Because textual representations of models also have their benefits, we investig...
98
Voted
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
100
Voted
MSR
2006
ACM
15 years 6 months ago
2006
ACM
Refactorings are program transformations which should preserve the program behavior. Consequently, we expect that during phases when there are mostly refactorings in the change hi...
122
click to vote
SC
2000
ACM
15 years 4 months ago
2000
ACM
The current trend in HPC hardware is towards clusters of shared-memory (SMP) compute nodes. For applications developers the major question is how best to program these SMP cluster...
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures, inferior performances, or user dissatisfaction. In previ...