1299 search results - page 204 / 260 » Why Not Use a Pattern-Based Parallel Programming System |
111
click to vote
EICS
2009
ACM
15 years 9 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
220
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
132
click to vote
CASES
2006
ACM
15 years 6 months ago
2006
ACM
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...
172
click to vote
PPOPP
2003
ACM
15 years 7 months ago
2003
ACM
Large-scale cluster-based Internet services often host partitioned datasets to provide incremental scalability. The aggregation of results produced from multiple partitions is a f...
131
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
The prediction of the correct secondary structures of large RNAs is one of the unsolved challenges of computational molecular biology. Among the major obstacles is the fact that a...