150 search results - page 28 / 30 » A bulk-synchronous parallel process algebra |
ICA3PP
2010
Springer
13 years 10 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
13 years 9 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...
IPPS
2009
IEEE
14 years 12 days 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.
13 years 8 months 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
14 years 10 days 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...