2019 search results - page 179 / 404 » Programming with Shared Data Abstractions |
144
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
Computational biology research is now faced with the burgeoning number of genome data. The rigorous postprocessing of this data requires an increased role for high performance com...
226
click to vote
POPL
2002
ACM
16 years 3 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
112
Voted
ICALP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In this paper we investigate automated methods for externalizing internal memory data structures. We consider a class of balanced trees that we call weight-balanced parti...
111
click to vote
SCP
1998
15 years 2 months ago
1998
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
137
click to vote
HPCC
2007
Springer
15 years 9 months ago
2007
Springer
Many new Partitioned Global Address Space (PGAS) programming languages have recently emerged and are becoming ubiquitously available on nearly all modern parallel architectures. PG...