2019 search results - page 220 / 404 » Programming with Shared Data Abstractions |
130
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. To resolve difficulties in parallel programming, a large number of studies are conducted on parallel skeletons and optimization theorems over skeleton programs. However, ...
140
click to vote
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
129
click to vote
IFL
2004
Springer
15 years 8 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
170
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
116
click to vote
INFOCOM
2012
IEEE
13 years 5 months ago
2012
IEEE
Abstract—This paper considers a novel distributed system for collaborative location-based information generation and sharing which become increasingly popular due to the explosiv...