Sciweavers

1747 search results - page 33 / 350
» A Comparative Analysis of Architecture Frameworks
Sort
View
FM
1999
Springer
107views Formal Methods» more  FM 1999»
14 years 23 days ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
WIESS
2000
13 years 9 months ago
HP Caliper: An Architecture for Performance Analysis Tools
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...
Robert Hundt
DAC
2008
ACM
14 years 9 months ago
A framework for block-based timing sensitivity analysis
Since process and environmental variations can no longer be ignored in high-performance microprocessor designs, it is necessary to develop techniques for computing the sensitiviti...
Sanjay V. Kumar, Chandramouli V. Kashyap, Sachin S...
SC
2000
ACM
14 years 26 days ago
A Tool Framework for Static and Dynamic Analysis of Object-Oriented Software with Templates
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...
Kathleen A. Lindlan, Janice E. Cuny, Allen D. Malo...
ICIP
2006
IEEE
14 years 10 months ago
A Profile Hidden Markov Model Framework for Modeling and Analysis of Shape
In this paper we propose a new framework for modeling 2D shapes. A shape is first described by a sequence of local features (e.g., curvature) of the shape boundary. The resulting ...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas