682 search results - page 58 / 137 » Parallel Programming and Parallel Abstractions in Fortress |
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...
DCOSS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Current programming interfaces for sensor networks often target experienced developers and lack important features. Tables is a spreadsheet inspired programming environme...
149
click to vote
CCECE
2006
IEEE
15 years 7 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
114
click to vote
IISWC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— The Intel Threading Building Blocks (TBB) runtime library [1] is a popular C++ parallelization environment [2][3] that offers a set of methods and templates for creatin...
DDEP
2000
Springer
15 years 5 months ago
2000
Springer
There are parallels between the construction of programs and the construction of hypertexts, and in ar between the abstractions available to the application programmer and those a...