6939 search results - page 1158 / 1388 » Algorithm Engineering for Parallel Computation |
121
Voted
GMP
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. The need for robust solutions for sets of non-linear multivariate constraints or equations needs no motivation. Subdivision-based multivariate constraint solvers [1–3] ...
151
click to vote
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
The fth release of the multithreaded language Cilk uses a provably good \work-stealing" scheduling algorithm similar to the rst system, but the language has been completely r...
142
Voted
CASES
2008
ACM
15 years 5 months ago
2008
ACM
Interconnects based on Networks-on-Chip are an appealing solution to address future microprocessor designs where, very likely, hundreds of cores will be connected on a single chip...
168
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
144
Voted
PODC
2011
ACM
14 years 6 months ago
2011
ACM
In this paper we study the problem of building a connected dominating set with constant degree (CCDS) in the dual graph radio network model [4,9,10]. This model includes two types...