1163 search results - page 123 / 233 » Concurrent Subspaces Analysis |
117
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...
155
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper, we propose an analytical model to evaluate the hidden station effect on both non-saturation and saturation performance of the IEEE 802.11 Distributed Coordination...
139
Voted
QEST
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
130
click to vote
LCN
2002
IEEE
15 years 8 months ago
2002
IEEE
Overall efficiency of high-performance computing clusters not only relies on the computing power of the individual nodes, but also on the performance that the underlying network c...
144
Voted
METRICS
2002
IEEE
15 years 8 months ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...