Sciweavers

1884 search results - page 138 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
EUROPAR
2005
Springer
15 years 3 months ago
An Approach to Performance Prediction for Parallel Applications
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
Engin Ipek, Bronis R. de Supinski, Martin Schulz, ...
SEFM
2007
IEEE
15 years 4 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
HUC
2003
Springer
15 years 3 months ago
User-Friendly Surveying Techniques for Location-Aware Systems
Abstract. Many location-aware applications rely on data from fine-grained location systems. During deployment such systems require a survey, specifying the locations of their envi...
James Scott, Mike Hazas
LCPC
2009
Springer
15 years 2 months ago
A Balanced Approach to Application Performance Tuning
Abstract. Current hardware trends place increasing pressure on programmers and tools to optimize scientific code. Numerous tools and techniques exist, but no single tool is a pana...
Souad Koliai, Stéphane Zuckerman, Emmanuel ...
ICCBR
2007
Springer
15 years 4 months ago
From Anomaly Reports to Cases
Abstract. Creating case representations in unsupervised textual case-based reasoning applications is a challenging task because class knowledge is not available to aid selection of...
Stewart Massie, Nirmalie Wiratunga, Susan Craw, Al...