2302 search results - page 81 / 461 » The Evolution of Concurrent Programs |
174
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
150
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Efficient communication and synchronization is crucial for finegrained parallelism. Libraries providing such features, while indispensable, are difficult to write, and often ca...
160
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
152
click to vote
ECOOP
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This essay just sketches my early investigations on the concept of objects which models concurrent activities of mobile entities that interact with each other in space. 1...
167
click to vote
KBSE
2006
IEEE
16 years 1 days ago
2006
IEEE
The evolution of Software Engineering methodology, from waterfall to spiral, from spiral to agile, indicates that high concurrency, iterative development and short cycles are key ...