2019 search results - page 55 / 404 » Programming with Shared Data Abstractions |
CAV
2012
Springer
13 years 3 days ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
Abstract. Nested data-parallel programs often have large memory requirements due to their high degree of parallelism. Piecewise execution is an implementation technique used to min...
102
click to vote
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
104
click to vote
ASPLOS
1996
ACM
15 years 1 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
129
click to vote
SOCIALCOM
2010
14 years 7 months ago
2010
Abstract--In both the commercial and defense sectors a compelling need is emerging for rapid, yet secure, dissemination of information. In this paper we address the threat of infor...