2020 search results - page 201 / 404 » PAPER - Accelerating parallel evaluations of ROCS |
200
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
187
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
Due to the complexity associated with developing parallel applications, scientists and engineers rely on highlevel software libraries such as PETSc, ScaLAPACK and PESSL to ease th...
175
click to vote
CF
2008
ACM
15 years 8 months ago
2008
ACM
This paper contributes and evaluates a model and a methodology for implementing parallel wavefront algorithms on the Cell Broadband Engine. Wavefront algorithms are vital in sever...
181
click to vote
CLUSTER
2009
IEEE
15 years 4 months ago
2009
IEEE
GPUs have recently evolved into very fast parallel co-processors capable of executing general purpose computations extremely efficiently. At the same time, multi-core CPUs evolutio...
162
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
There are many application classes where the users are flexible with respect to the output quality. At the same time, there are other constraints, such as the need for real-time ...