7557 search results - page 83 / 1512 » Modeling Timed Concurrent Systems |
103
click to vote
MICRO
2008
IEEE
15 years 7 months ago
2008
IEEE
—Transactional memory (TM) is a promising paradigm for helping programmers take advantage of emerging multicore platforms. Though they perform well under low contention, hardware...
119
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
PPL
2008
15 years 1 months ago
2008
This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for mult...
134
click to vote
EPEW
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
116
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...