110 search results - page 3 / 22 » Automatic Generator of Minimal Problem Solvers |
129
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
125
Voted
CPAIOR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this paper we introduce a complex allocation and scheduling problem for variable voltage Multi-Processor System-on-Chip (MPSoC) platforms. We propose a methodology to ...
108
Voted
AAAI
2010
15 years 24 days ago
2010
Different solvers for computationally difficult problems such as satisfiability (SAT) perform best on different instances. Algorithm portfolios exploit this phenomenon by predicti...
220
Voted
IASTEDSE
2004
15 years 4 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
144
Voted
ICAI
2010
15 years 22 days ago
2010
- In this article, we present an algorithm which is capable of transforming a gridded dogleg channel routing problem into a constraint programming (CP) problem. The transformed CP ...