2227 search results - page 177 / 446 » Reversibility and Models for Concurrency |
187
click to vote
DC
2010
15 years 6 months ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
154
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
198
click to vote
CONCURRENCY
2010
15 years 3 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...
137
click to vote
W2GIS
2004
Springer
15 years 11 months ago
2004
Springer
Mobile transactions for updating spatial data are long-lived transactions that update local copies of the mobile platforms on disconnection. Since a mobile transaction is physicall...
163
click to vote
CONCUR
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...