3307 search results - page 111 / 662 » The meaning of concurrent programs |
131
Voted
CAV
2010
Springer
15 years 4 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...
110
click to vote
FORMATS
2005
Springer
15 years 6 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
68
Voted
SPAA
2000
ACM
15 years 5 months ago
2000
ACM
The computer industry is currently examining the use of strong synchronization operations such as double compareand-swap (DCAS) as a means of supporting non-blocking synchronizati...
120
Voted
OOPSLA
2009
Springer
15 years 7 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...
101
Voted
ECOOP
2005
Springer
15 years 6 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...