1550 search results - page 103 / 310 » Erlang for Concurrent Programming |
138
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
128
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...
111
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
117
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...
119
Voted
JUCS
2007
15 years 1 months ago
2007
: Multi-processor systems have become the standard in current computer architectures. Software developers have the possibility to take advantage of the additional computing power a...