Stochastic sandpiles self-organize to an absorbing-state critical point with scaling behavior different from directed percolation (DP) and characterized by the presence of an additional conservation law. This is usually called the C-DP or Manna universality class. There remains, however, an exception to this universality principle: a sandpile automaton introduced by Maslov and Zhang, which was ...

ion and Modular Verification of Infinite-State Reactive Systems ⋆ Zohar Manna, Michael A. Colón, Bernd Finkbeiner, Henny B. Sipma and Tomás E. Uribe Computer Science Department Stanford University Stanford, CA. 94305-9045 [email protected] Abstract. We review a number of temporal verification techniques for reactive systems using modularity and abstraction. Their use allows the verification...

Universality in isotropic, abelian and non-abelian, sandpile models is examined using extensive numerical simulations. To characterize the critical behavior we employ an extended set of critical exponents, geometric features of the avalanches, as well as scaling functions describing the time evolution of average quantities such as the area and size during the avalanche. Comparing between the ab...

We reinvestigate the Deterministic Lattice Gas introduced as a paradigmatic model of the 1/f spectra [Phys. Rev. Lett. 64, 3103 (1990)] arising according to the self-organized criticality scenario. We demonstrate that the density fluctuations exhibit an unexpected dependence on systems size and relate the finding to effective Langevin equations. The low-density behavior is controlled by the cri...

We show that the stochastic field theory for directed percolation in the presence of an additional conservation law [the conserved directed-percolation (C-DP) class] can be mapped exactly to the continuum theory for the depinning of an elastic interface in short-range correlated quenched disorder. Along one line of the parameters commonly studied, this mapping leads to the simplest overdamped d...

As cloud computing becomes more popular, collections of virtual machine (VM) images are growing in size. Management of VM collections requires the ability to inspect and search data stored within VM images. We present a plug-in-based architecture, called Manna, for efficiently searching state within VM images through both index and non-index based search. The architecture offers a flexible fram...