124 search results - page 21 / 25 » Full Abstraction for a Shared Variable Parallel Language |
133
Voted
ESAW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
130
Voted
HIPC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Wireless technology is becoming an attractive mode of communication for real-time applications in typical settings such as in an industrial setup because of the tremendou...
126
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
131
click to vote
ICPP
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—As Chip-Multiprocessor systems (CMP) have become the predominant topology for leading microprocessors, critical components of the system are now integrated on a single c...
126
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...