Sciweavers

300 search results - page 12 / 60
» Bilevel programming: A survey
Sort
View
IWPC
1998
IEEE
13 years 12 months ago
Archetypal Source Code Searches: A Survey of Software Developers and Maintainers
In this study, we conducted a survey to generate archetypes of source code searching by programmers across maintenance tasks. Using a questionnaire on a web page, we obtained 69 r...
Susan Elliott Sim, Charles L. A. Clarke, Richard C...
FCA
2005
Springer
201views Formal Methods» more  FCA 2005»
14 years 1 months ago
A Survey of Formal Concept Analysis Support for Software Engineering Activities
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
Thomas Tilley, Richard Cole, Peter Becker 0002, Pe...
FPL
2003
Springer
95views Hardware» more  FPL 2003»
14 years 27 days ago
Reconfigurable Hardware SAT Solvers: A Survey of Systems
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
Iouliia Skliarova, António de Brito Ferrari
UM
2001
Springer
14 years 3 days ago
Designing TV Viewer Stereotypes for an Electronic Program Guide
This paper describes how a user modeling knowledge base for personalized TV servers can be generated starting from an analysis of lifestyles surveys. The aim of the research is the...
Cristina Gena
CCO
2001
Springer
256views Combinatorics» more  CCO 2001»
14 years 5 days ago
General Mixed Integer Programming: Computational Issues for Branch-and-Cut Algorithms
In this paper we survey the basic features of state-of-the-art branch-and-cut algorithms for the solution of general mixed integer programming problems. In particular we focus on p...
Alexander Martin