134 search results - page 8 / 27 » Flexible Control of Data Transfers between Parallel Programs |
CONCUR
2004
Springer
15 years 2 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
SIGARCH
2010
14 years 4 months ago
2010
We describe a programming framework for high performance clusters with various hardware accelerators. In this framework, users can utilize the available heterogeneous resources pr...
ASPLOS
2010
ACM
15 years 2 months ago
2010
ACM
Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existin...
100
click to vote
MM
2000
ACM
15 years 1 months ago
2000
ACM
The two-layered distributed clustered server architecture consisting of a control server and a group of storage servers has been widely used to support multimedia file systems. Wi...
BMCBI
2007
2007
FUNC: a package for detecting significant associations between gene sets and ontological annotations
14 years 9 months ago
Background: Genome-wide expression, sequence and association studies typically yield large sets of gene candidates, which must then be further analysed and interpreted. Informatio...