𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Specification and detection of performance problems with ASL

✍ Scribed by Michael Gerndt; Karl Fürlinger

Publisher
John Wiley and Sons
Year
2007
Tongue
English
Weight
186 KB
Volume
19
Category
Article
ISSN
1532-0626

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

Performance analysis is an important step in tuning performance‐critical applications. It is a cyclic process of measuring and analyzing performance data, driven by the programmer's hypotheses on potential performance problems. Currently this process is controlled manually by the programmer. The goal of the work described in this article is to automate the performance analysis process based on a formal specification of performance properties. One result of the APART project is the APART Specification Language (ASL) for the formal specification of performance properties. Performance bottlenecks can then be identified based on the specification, since bottlenecks are viewed as performance properties with a large negative impact. We also present the overall design and an initial evaluation of the Periscope system which utilizes ASL specifications to automatically search for performance bottlenecks in a distributed manner. Copyright © 2006 John Wiley & Sons, Ltd.

📜 SIMILAR VOLUMES

Specification and performance analysis o
Specification and performance analysis of embedded systems with coloured petri nets
✍ L.P.M. Benders 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 765 KB

To analyze synchronization, concurrency, communication protocols and system performance, a system level specification is modelled in a coloured Petri net. A toolbox collects information for the implementation, e.g., processing times, waiting times, idle times, data accesses, processing requests. Thi

Optimal matching problem in detection an
Optimal matching problem in detection and recognition performance evaluation
✍ Gang Liu; Robert M. Haralick 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 353 KB

This paper proposes a principle of one-to-one correspondence in performance evaluation of a general class of detection and recognition algorithms. Such a correspondence between ground-truth entities and algorithm declared entities is essential in accurately computing objective performance measures s

Enantiomer-specific high-performance liq
Enantiomer-specific high-performance liquid chromatography with fluorescence detection of methamphetamines in abusers' hair and urine
✍ Osama Al-Dirbashi; Mitsuhiro Wada; Naotaka Kuroda; Shigeko Inuduka; Kenichiro Na 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 78 KB 👁 2 views

Enantiomer-specific high-performance liquid chromatography with fluorescence detection using 4-(4,5-diphenyl-1Himidazol-2-yl)-benzoyl chloride as a fluorescence labeling reagent was applied to determine methamphetamine and its metabolites in abusers' hair and urine. Hair samples were segmentally ana