3307 search results - page 151 / 662 » The meaning of concurrent programs |
135
Voted
ACSC
2005
IEEE
15 years 9 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...
129
Voted
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
150
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
141
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
126
Voted
ISAAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In a multicore transactional memory (TM) system, concurrent execution threads interact and interfere with each other through shared memory. The less interference a progra...