3656 search results - page 363 / 732 » Parallel programming in Split-C |
179
click to vote
FOSSACS
2004
Springer
16 years 3 days ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
163
click to vote
CLUSTER
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper presents a comparative study of the communication middleware systems suitable for aggregating computational clusters with heterogeneous incompatible SANs into a common ...
182
click to vote
IPPS
2003
IEEE
16 years 14 hour ago
2003
IEEE
As computing systems of all types grow in power and complexity, it is common to want to simultaneously execute processes with different timeliness constraints. Many systems use CP...
154
click to vote
IPPS
2003
IEEE
16 years 14 hour ago
2003
IEEE
In this paper we use a mathematical approach to automatically generate high performance short vector code for the discrete Fourier transform (DFT). We represent the well-known Coo...
162
click to vote
APPT
2003
Springer
15 years 12 months ago
2003
Springer
This paper discusses how to building high available storage systems on top of peer-to-peer infrastructure. We first demonstrate that traditional definitions of availability are not...