2 search results - page 1 / 1 » Reachability under Contextual Locking |
TACAS
2012
Springer
12 years 13 days ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
OZCHI
2006
ACM
13 years 11 months ago
2006
ACM
The HCI community currently faces the problem of making tangible user interfaces actively responsive to their user’s current physical context. This paper explores the context of...