2152 search results - page 312 / 431 » A Comparative Study of 2QBF Algorithms |
110
click to vote
FPL
2009
Springer
15 years 9 months ago
2009
Springer
The reconfigurable mesh model for massively parallel computing has recently been rediscovered and proposed as the basis of a practical many-core architecture. With this paper, we...
174
click to vote
ASP
2001
Springer
15 years 9 months ago
2001
Springer
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...
137
click to vote
IWDC
2001
Springer
15 years 9 months ago
2001
Springer
Recently, a TCP-friendly, single-rate multicast congestion control scheme called pgmcc was introduced by one of the authors. In this paper, we study the fairness of pgmcc in a vari...
133
click to vote
TSD
2001
Springer
15 years 9 months ago
2001
Springer
Two kinds of systems have been defined during the long history of WSD: principled systems that define which knowledge types are useful for WSD, and robust systems that use the info...
125
Voted
ICDCS
1999
IEEE
15 years 9 months ago
1999
IEEE
We describe imprecise calendars, a way to organize and schedule clusters of nodes in a computation grid. Imprecise calendars permit the easy and efficient sharing of resources bet...