3307 search results - page 151 / 662 » The meaning of concurrent programs |
153
click to vote
ACSC
2005
IEEE
15 years 11 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...
155
click to vote
ESOP
2009
Springer
16 years 10 days 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...
175
click to vote
SPIN
2009
Springer
16 years 3 days 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 ...
165
click to vote
POPL
2010
ACM
16 years 12 days 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...
144
click to vote
ISAAC
2009
Springer
16 years 3 days 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...