This paper presents the first main task of a new system estimation framework for codesign located before the partitioning and architectural estimation steps. The key issue of the proposed method is a dynamic estimation at an abstract level (without architectural target) based on a global estimation algorithm. The proposed algorithm, addresses a given function extracted from a complex applicatio...

Monitoring and testing for regression of large scale systems such as the NCSA’s Blue Waters supercomputer are challenging tasks. In this paper we describe the solution we came up with to perform those tasks. Our goal was to find an automated solution for running user-level regression tests to evaluate system usability and performance. Jenkins, an automation server software, was chosen for its v...

In this work we discuss variants of a PDE based level set method. Traditionally interfaces are represented by the zero level set of continuous level set functions. We instead use piecewise constant level set functions, and let interfaces be represented by discontinuities. Some of the properties of the standard level set function are preserved in the proposed method. Using the methods for interf...

Accurate and efficient power analysis capability at the system-level is an essential ingredient for developing a successful SoC or processor design methodology. Our work presents a \textbf{system-level power analysis} framework that facilitates architectural exploration through a quick and sufficiently accurate power estimation capability. Developing a power analysis framework at systemlevel re...

...................................................................................... xviii

Service-Oriented Architectures (SOA) represent an architectural shift for building business applications based on loosely-coupled services. In a multi-layered SOA environment the exact conditions under which services are to be delivered can be formally specified by Service Level Agreements (SLAs). However, typical SLAs are just specified at the customer-level and do not allow service providers ...

With the growing importance of modeling in software engineering and knowledge engineering, and the accelerating convergence of these two disciplines through the confluence of internet-based software applications, the need for a simple, unified information modeling framework fulfilling the use cases of both communities has increased significantly over recent years. These use cases include switch...

We introduce a new geometrical framework based on which natural flows for image scale space and enhancement are presented. We consider intensity images as surfaces in the (x, I) space. The image is, thereby, a two-dimensional (2-D) surface in three-dimensional (3-D) space for gray-level images, and 2-D surfaces in five dimensions for color images. The new formulation unifies many classical sche...

Two-level λ-calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose different demands on the exact details of the two-level structure and the corresponding inference rules. We therefore formulate a number of existing systems in a common framework so as to conceal those differences between the sy...