162 search results - page 11 / 33 » Using Metaobjects to Model Concurrent Objects with PICT |
IICS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
SPDP
1993
IEEE
13 years 11 months ago
1993
IEEE
We consider the problem of transforming a given sequential implementation of a data structure into a wait-free concurrent implementation. Given the code for different operations ...
CONCURRENCY
1998
13 years 7 months ago
1998
We consider the problem of converting C pointers to the less flexible concept of references. Our main application is converting scientific applications from C to Java. We provid...
WDAG
2004
Springer
14 years 29 days ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
As software projects evolve, possibly differing in size, complexity, scope, and purpose, the development processes that support the project must evolve to reflect these changes. T...