Sciweavers

3272 search results - page 28 / 655
» Introduction to Software Performance Engineering
Sort
View
120
Voted
DAGSTUHL
2007
15 years 4 months ago
Empirical Studies in End-User Software Engineering and Viewing Scientific Programmers as End-Users - Position Statement -
My work has two relationships with End User Software Engineering. First, as an Empirical Software Engineer, I am interested in meeting with people who do research into techniques ...
Jeffrey Carver
111
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
Embedded Architect: A Tool for Early Performance Evaluation of Embedded Software
Embedded Architect is a design automation tool that embodies a static performance evaluation technique to support early, architecture-level design space exploration for component-...
Jeffry T. Russell, Margarida F. Jacome
117
Voted
ICMS
2010
15 years 1 months ago
The Reformulation-Optimization Software Engine
Abstract. Most optimization software performs numerical computation, in the sense that the main interest is to find numerical values to assign to the decision variables, e.g. a so...
Leo Liberti, Sonia Cafieri, David Savourey
CAISE
2005
Springer
15 years 8 months ago
The Logic of Correctness in Software Engineering
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
Mark Priestly
ICCS
2001
Springer
15 years 7 months ago
High-Performance Algorithm Engineering for Computational Phylogenetics
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...
Bernard M. E. Moret, David A. Bader, Tandy Warnow