1206 search results - page 198 / 242 » Concurrent Abstract Predicates |
125
click to vote
TCOM
2010
15 years 23 days ago
2010
Abstract— Today, due to the vast amount of literature on largescale wireless networks, we have a fair understanding of the asymptotic behavior of such networks. However, in real ...
126
click to vote
CLOUDCOM
2010
Springer
15 years 13 days ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...
167
click to vote
OOPSLA
2010
Springer
15 years 9 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
146
click to vote
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
137
click to vote
INFOCOM
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Regular expression matching (REM) with nondeterministic finite automata (NFA) can be computationally expensive when a large number of patterns are matched concurrently....