7099 search results - page 405 / 1420 » Context for models of concurrency |
218
Voted
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
302
click to vote
ICDE
1999
IEEE
16 years 9 months ago
1999
IEEE
This paper presents a general model for estimating access times of serpentine tape drives. The model is used to schedule I/O requests in order to minimize the total access time. W...
192
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
324
click to vote
POPL
2008
ACM
16 years 8 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
202
click to vote
POPL
2009
ACM
16 years 2 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 ...