1099 search results - page 9 / 220 » A Parallel Programming Style and Its Algebra of Programs |
JLP
2008
14 years 9 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
MP
2010
14 years 4 months ago
2010
Given a generic semidefinite program, specified by matrices with rational entries, each coordinate of its optimal solution is an algebraic number. We study the degree of the minima...
CCGRID
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents a high-performance Distributed Shared Memory system called VODCA, which supports a novel View-Oriented Parallel Programming on cluster computers. One advantage...
PDP
2010
IEEE
15 years 4 months ago
2010
IEEE
—Multicore nodes have become ubiquitous in just a few years. At the same time, writing portable parallel software for multicore nodes is extremely challenging. Widely available p...
ISSAC
1994
Springer
15 years 1 months ago
1994
Springer
After four years of experience with the nonassociative algebra program Albert, we highlight its successes and drawbacks. Among its successes are the discovery of several new resul...