420 search results - page 63 / 84 » A Small Test Generator for Large Designs |
91
Voted
QUESTA
2007
14 years 12 months ago
2007
We propose a new queueing model named the acquisition queue. It differs from conventional queueing models in that the server not only serves customers, but also performs acquisit...
121
click to vote
ICAI
2010
14 years 10 months 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 ...
103
Voted
SIGMOD
2003
ACM
16 years 17 days ago
2003
ACM
A query optimizer compares alternative plans in its search space to find the best plan for a given query. Depending on the search space and the enumeration algorithm, optimizers v...
144
click to vote
COR
2008
15 years 5 hour ago
2008
In this paper we discuss models and methods for solving the rooted distance constrained minimum spanning tree problem which is defined as follows: given a graph G = (V, E) with no...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
A comfort zone is a tested region of a system’s input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advo...