Sciweavers

42507 search results - page 228 / 8502
» On the analysis of
Sort
View
UML
2005
Springer
16 years 6 days ago
Modeling and Analysis of Real-Time and Embedded Systems
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
Susanne Graf, Sébastien Gérard, &Osl...
EUROPAR
2004
Springer
16 years 3 days 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ä...
SAS
2004
Springer
106views Formal Methods» more  SAS 2004»
16 years 2 days ago
A Relational Approach to Interprocedural Shape Analysis
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, ...
CLUSTER
2003
IEEE
16 years 1 days ago
A Distributed Performance Analysis Architecture for Clusters
The use of a cluster for distributed performance analysis of parallel trace data is discussed. We propose an analysis architecture that uses multiple cluster nodes as a server to ...
Holger Brunst, Wolfgang E. Nagel, Allen D. Malony
CSMR
2003
IEEE
16 years 1 days ago
Improving Dynamic Data Analysis with Aspect-Oriented Programming
In this paper we present a new instrumentation approach to reverse engineer a given software application. Our approach is based on aspect-oriented programming and provides support...
Thomas Gschwind, Johann Oberleitner