Sciweavers

1987 search results - page 67 / 398
» Structural Model: Architecture for Software Designers
Sort
View
119
Voted
INFSOF
2000
82views more  INFSOF 2000»
15 years 3 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...
132
Voted
SIGSOFT
2003
ACM
16 years 4 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
109
Voted
EUROMICRO
2004
IEEE
15 years 7 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...
146
Voted
ERLANG
2003
ACM
15 years 8 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...
99
Voted
DAC
2005
ACM
16 years 4 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