Sciweavers

1987 search results - page 67 / 398
» Structural Model: Architecture for Software Designers
Sort
View
INFSOF
2000
82views more  INFSOF 2000»
15 years 5 months ago
Connecting architecture reconstruction frameworks
A number of standalone tools are designed to help developers understand software systems. These tools operate at different levels of abstraction, from low level source code to sof...
Ivan T. Bowman, Michael W. Godfrey, Richard C. Hol...
SIGSOFT
2003
ACM
16 years 6 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
EUROMICRO
2004
IEEE
15 years 9 months ago
Analysis and Prediction of Performance for Evolving Architectures
This paper describes a method for the "Analysis and Prediction of Performance for Evolving Architectures" (APPEAR). The method aims at performance estimation of adapted ...
Evgeni M. Eskenazi, Alexandre V. Fioukov, Dieter K...
ERLANG
2003
ACM
15 years 10 months ago
Extending the VoDKA architecture to improve resource modelling
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
Juan José Sánchez Penas, Carlos Abal...
DAC
2005
ACM
16 years 6 months ago
Systematic development of analog circuit structural macromodels through behavioral model decoupling
This paper presents a systematic methodology to create customized structural macromodels for a specific analog circuit. The novel contributions of the method include definition of...
Ying Wei, Alex Doboli