1163 search results - page 106 / 233 » Concurrent Subspaces Analysis |
129
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
150
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
121
Voted
DSN
2009
IEEE
15 years 10 months ago
2009
IEEE
This work assesses how crashes and recoveries affect the performance of a replicated dynamic content web application. RobustStore is the result of retrofitting TPC-W’s on-line ...
114
Voted
PE
2006
Springer
15 years 3 months ago
2006
Springer
This paper proposes a stochastic fluid flow model to compute the transfer time distribution of resources in peer-to-peer file sharing applications. The amount of bytes transferred...
117
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...