1154 search results - page 53 / 231 » Mathematizing C concurrency |
145
click to vote
WOTUG
2007
15 years 7 months ago
2007
Abstract. The advent of mass-market multicore processors provides exciting new opportunities for parallelism on the desktop. The original C++CSP – a library providing concurrency...
174
click to vote
CACM
2010
15 years 6 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
148
click to vote
SC
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we discuss one of our experiments using the coordination language MANIFOLD to restructure an existing sequential numerical application into a concurrent application...
149
click to vote
ISIPTA
1999
IEEE
15 years 10 months ago
1999
IEEE
A solution is provided to the problem of computing a convex set of conditional probability distributions that characterize the state of a nonlinear dynamic system as it evolves in...
129
click to vote
ISSAC
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we consider the problem of fast computation of n-ary products, for large n, over arbitrary precision integer or rational number domains. The combination of loop unro...