COMBINATORICS
2004
13 years 4 months ago
2004
We consider the asymptotic behavior of the following model: balls are sequentially thrown into bins so that the probability that a bin with n balls obtains the next ball is propor...
ACS
2010
13 years 4 months ago
2010
The class Md of sequentially dense monomorphisms were first defined and studied by Giuli, Ebrahimi, and Mahmoudi for projection algebras (acts over the monoid (N , min), of interes...
CAV
2008
Springer
13 years 6 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...