2019 search results - page 140 / 404 » Programming with Shared Data Abstractions |
158
Voted
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...
141
click to vote
LCR
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We present a system that allows task parallel OpenMP programs to execute on a network of workstations (NOW) with a variable number of nodes. Such adaptivity, generally ca...
93
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
133
click to vote
KDD
2005
ACM
16 years 3 months ago
2005
ACM
We propose a new algorithm for dimensionality reduction and unsupervised text classification. We use mixture models as underlying process of generating corpus and utilize a novel,...
95
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...