Sciweavers

1655 search results - page 75 / 331
» Visual tool for generative programming
Sort
View
APSEC
2001
IEEE
13 years 11 months ago
Compilation of Specifications
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
Colin J. Fidge
EUROPAR
2004
Springer
14 years 1 months ago
Evaluating OpenMP Performance Analysis Tools with the APART Test Suite
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...
Michael Gerndt, Bernd Mohr, Jesper Larsson Trä...
ISSRE
2006
IEEE
14 years 1 months ago
Detecting Redundant Unit Tests for AspectJ Programs
Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspe...
Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin
EUROPAR
2009
Springer
14 years 11 days ago
Capturing and Visualizing Event Flow Graphs of MPI Applications
A high-level understanding of how an application executes and which performance characteristics it exhibits is essential in many areas of high performance computing, such as applic...
Karl Fürlinger, David Skinner
CLOUDCOM
2009
Springer
13 years 11 months ago
SPECI, a Simulation Tool Exploring Cloud-Scale Data Centres
There is a rapid increase in the size of data centres (DCs) used to provide cloud computing services. It is commonly agreed that not all properties in the middleware that manages D...
Ilango Sriram