This paper describes a memory management discipline for programs that perform dynamic memory allocation and de-allocation. At runtime, all values are put into regions. The store consists of a stack of regions. All points of region allocation and de-allocation are inferred automatically, using a type and effect based program analysis. The scheme does not assume the presence of a garbage collecto...

In light of the recent data from BES collaboration for χc0 → V V , PP and SS, and from CLEO-c for ηη, η′η′ and ηη′, we present a detailed analysis of the decays of heavy quarkonia into light meson pairs such as χc0,2 → V V , PP and SS in a recently proposed parametrization scheme. An overall agreement with the data is achieved in χc0,2 → V V and PP , while in χc0 → SS we find that a possible ex...

Motivated by the distributed binary consensus algorithm in Perron et al. [(2009) UsingThree States for Binary Consensus on Complete Graphs. INFOCOM 2009, IEEE, April, pp. 2527–2535], we propose a distributed algorithm for the multivalued consensus problem. In the multivalued consensus problem, each node initially chooses from one of k available choices and the objective of all nodes is to find ...

ions," Proceedings of the CHI '98 Conference on Human Factors in Computing Systems (Los Angeles, CA, Apr. 1998), pp. 171-178 (1998). Christel et al. "Information Visualization within a Digital Video Library," Journal of Intelligent Information Systems 11 :235-257 (1998). Dellaert et al. "Recognizing emotion in speech," Proceedings ICSLP 96. Fourth International Conference on Spoken Language Pro...

306 REFERENCES Damasio AR (1999) The Feeling of What Happens: Body and Emotion in the Making of Consciousness. New York, NY, USA: Harcourt Brace Dennett D (1991) Consciousness Explained. Boston, MA, USA: Little, Brown & Co. Farah MJ, Illes J, Cook-Deegan R, Gardner H, Kandel E, King P, Parens E, Sahakian B, Wolpe PR (2004) Neurocognitive enhancement: what can we do and what should we do? Nat Re...

sional realization theory," &YAM J. Cone., vol. 13, pp. 221-241, Jan. 1965. H. J. Sussmann, "Existence and uniqueness of minimal realizations of nonlinear systems-Part I: Initialized systems," J. Math. Syst. Theory, t o be published. , "Orbits of families of vector fields and integrability of systems with singularities," Bull. Amer. Math. Soc., vol. 79, pp. 197-199, 1973. P. Stefan, "Two proofs...