7099 search results - page 52 / 1420 » Context for models of concurrency |
ECMDAFA
2005
Springer
14 years 3 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
CAV
2007
Springer
14 years 4 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
NORDICHI
2004
ACM
14 years 3 months ago
2004
ACM
Two studies on how to support communication between grandparents and grandchildren are presented. The first study, an interview with 12 parents, investigates the conversation betw...
CONTEXT
2011
Springer
12 years 9 months ago
2011
Springer
POPL
2009
ACM
14 years 4 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...