287 search results - page 25 / 58 » Introducing parallelism and concurrency in the data structur... |
ERLANG
2004
ACM
14 years 26 days ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
VECPAR
2004
Springer
14 years 23 days ago
2004
Springer
The deployment of biomedical applications in a grid environment has started about three years ago in several European projects and national initiatives. These applications have dem...
PODC
2000
ACM
13 years 11 months ago
2000
ACM
Stampede is a parallel programming system to facilitate the programming of interactive multimedia applications on clusters of SMPs. In a Stampede application, a variable number of...
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
Automatic parallelization is a promising strategy to improve application performance in the multicore era. However, common programming practices such as the reuse of data structur...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...