341 search results - page 5 / 69 » Use concurrent programming models to motivate teaching of pr... |
116
click to vote
APIN
1998
15 years 1 days ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
100
click to vote
MEMOCODE
2008
IEEE
15 years 6 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
101
click to vote
POPL
2009
ACM
15 years 7 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
105
Voted
ACSC
2005
IEEE
15 years 6 months ago
2005
IEEE
There is now widespread acceptance of Web services and service-oriented architectures. But despite the agreement on key Web services standards there remain many challenges. Progra...