2296 search results - page 144 / 460 » The Expressive Power of Synchronizations |
110
click to vote
ENTCS
2010
15 years 4 months ago
2010
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...
140
click to vote
POPL
2009
ACM
15 years 11 months ago
2009
ACM
Speculative execution is an important technique that has historically been used to extract concurrency from sequential programs. While techniques to support speculation work well ...
147
Voted
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...
133
Voted
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
154
Voted
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...