1547 search results - page 65 / 310 » Solving Knapsack Problems in a Sticker Based Model |
144
Voted
CP
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
106
click to vote
CONTEXT
2007
Springer
15 years 8 months ago
2007
Springer
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...
117
click to vote
AAAI
1990
15 years 3 months ago
1990
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
107
click to vote
PPL
2007
15 years 2 months ago
2007
In this paper we address the problem of accurately estimating the runtime and communication time of a client request in a Network Enabled Server (NES) middleware such as GridSolve...
112
click to vote
ICSM
2007
IEEE
15 years 8 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...