1550 search results - page 204 / 310 » Erlang for Concurrent Programming |
177
click to vote
SMALLTALK
2007
Springer
15 years 7 months ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
130
Voted
POPL
1998
ACM
15 years 6 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
100
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
117
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
The increasing availability of commodity multicore processors is making parallel computing available to the masses. Traditional parallel languages are largely intended for large-s...