12373 search results - page 38 / 2475 » Semi-Logarithmic Number Systems |
JISE
2000
13 years 7 months ago
2000
methods. If a pair of methods op1 and op2 are compatible, the summation of the quorum numbers of op1 and op2 can be smaller than the number of replicas in the QOL protocol even if ...
ACPC
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. A number of techniques are described for solving sparse linear systems on parallel platforms. The general approach used is a domaindecomposition type method in which a pr...
CONCUR
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...
IAT
2007
IEEE
14 years 1 months ago
2007
IEEE
In our model agent-based e-commerce system [2] we have assumed that a certain number of items of a given product is available for sale. In this note we introduce a model logistics...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...