7099 search results - page 335 / 1420 » Context for models of concurrency |
250
Voted
OMER
2001
15 years 9 months ago
2001
Abstract: To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called "synch states". Synch states insure ...
183
Voted
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
197
click to vote
GI
2009
Springer
16 years 4 days ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
187
Voted
ICML
1991
IEEE
15 years 11 months ago
1991
IEEE
The psychological literature on stages of cognitive development was reviewed and found to contain support for the idea that stages represent ordinal, qualitative changes in organi...
220
Voted
CONCUR
2008
Springer
15 years 9 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...