150 search results - page 28 / 30 » A bulk-synchronous parallel process algebra |
ICA3PP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we report on the recent progress in computing bivariate polynomial resultants on Graphics Processing Units (GPU). Given two polynomials in Z[x, y], our algo...
CSFW
1995
IEEE
15 years 1 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
106
click to vote
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
Linear algebra algorithms are fundamental to many computing applications. Modern GPUs are suited for many general purpose processing tasks and have emerged as inexpensive high per...
ICS
2010
Tsinghua U.
15 years 5 days ago
2010
Tsinghua U.
Autotuning technology has emerged recently as a systematic process for evaluating alternative implementations of a computation, in order to select the best-performing solution for...
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...