Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Selected Works

Gabriel A. Moreno

2009

Articles 1 - 2 of 2

Full-Text Articles in Physical Sciences and Mathematics

Overview Of The Lambda-* Performance Reasoning Frameworks, Gabriel A. Moreno, Jeffery Hansen Jan 2009

Overview Of The Lambda-* Performance Reasoning Frameworks, Gabriel A. Moreno, Jeffery Hansen

Gabriel A. Moreno

The Predictable Assembly from Certifiable Code (PACC) Initiative at the Carnegie Mellon Software Engineering Institute is developing methods and technologies to enable the production of software with predictable behavior by making the application of analytic methods accessible to software engineering practitioners. The use of reasoning frameworks is a means to achieving this goal. A reasoning framework is a packaging of an analysis theory along with other important elements that are needed for its application, such as methods for creating analysis models and evaluating them.
Lambda-* is a suite of performance reasoning frameworks founded on the principles of Generalized Rate Monotonic …

Go to article

Statistical-Based Wcet Estimation And Validation, Jeffery Hansen, Scott A. Hissam, Gabriel A. Moreno Dec 2008

Statistical-Based Wcet Estimation And Validation, Jeffery Hansen, Scott A. Hissam, Gabriel A. Moreno

Gabriel A. Moreno

In this paper we present a measurement-based approach that produces both a WCET (Worst Case Execution Time) estimate, and a prediction of the probability that a future execution time will exceed our estimate. Our statistical-based approach uses extreme value theory to build a model of the tail behavior of the measured execution time value. We validate our approach using an industrial data set comprised of over 150 sampled components and nearly 200 million sample execution times. Each trace is divided into two segments, with one used to make the WCET estimate, and the second used check our prediction of the …

Go to article