2342 search results - page 367 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
CODES
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we describe a new methodology based on game theory for minimizing the average power of a circuit during scheduling in behavioral synthesis. The problem of schedulin...
UML
2001
Springer
14 years 1 months ago
2001
Springer
Today's User Interfaces (UIs) are complex software components, which play an essential role in the usability of an application. The development of UIs requires therefore, not ...
SPLC
2004
13 years 10 months ago
2004
This paper elaborates on the coordination and management of evolving software product-lines, where development teams work around a shared and reusable domain infrastructure. The tr...
ICCAD
2010
IEEE
13 years 7 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach...