2302 search results - page 147 / 461 » The Evolution of Concurrent Programs |
145
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
Parallel programming is seen as an effective technique to improve the performance of computationally-intensive programs. This is done at the cost of increasing the complexity of t...
143
click to vote
SIGOPSE
2004
ACM
15 years 11 months ago
2004
ACM
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
170
click to vote
CONCUR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
141
click to vote
PPOPP
2005
ACM
15 years 12 months ago
2005
ACM
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...
162
click to vote
CONCURRENCY
2000
15 years 6 months ago
2000
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. This chapter is hard to interpret and po...