Minimizing Test Power in SRAM through Reduction of Pre-charge Activity

In this paper we analyze the test power of SRAM memories and demonstrate that the full functional pre-charge activity is not necessary during test mode because of the predictable addressing sequence. We exploit this observation in order to minimize power dissipation during test by eliminating the unnecessary power consumption associated with the pre-charge activity. This is achieved through a modified pre-charge control circuitry, exploiting the first degree of freedom of March tests, which allows choosing a specific addressing sequence. The efficiency of the proposed solution is validated through extensive Spice simulations

Typing Quantum Superpositions and Measurement

We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis.Fil: Díaz Caro, Alejandro. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Dowek, Gilles. Institut National de Recherche en Informatique et en Automatique; Franci

Dynamics of active membranes with internal noise

We study the time-dependent height fluctuations of an active membrane containing energy-dissipating pumps that drive the membrane out of equilibrium. Unlike previous investigations based on models that neglect either curvature couplings or random fluctuations in pump activities, our formulation explores two new models that take both of these effects into account. In the first model, the magnitude of the nonequilibrium forces generated by the pumps is allowed to fluctuate temporally. In the second model, the pumps are allowed to switch between "on" and "off" states. We compute the mean squared displacement of a membrane point for both models, and show that they exhibit distinct dynamical behaviors from previous models, and in particular, a superdiffusive regime specifically arising from the shot noise.Comment: 7 pages, 4 figure

Logic Programming and Logarithmic Space

We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this construction, a characterization of logspace (deterministic and non-deterministic) computation is given via a synctactic restriction, using an encoding of words that derives from proof theory. We show that the acceptance of a word by an observation (the counterpart of a program in the encoding) can be decided within logarithmic space, by reducing this problem to the acyclicity of a graph. We show moreover that observations are as expressive as two-ways multi-heads finite automata, a kind of pointer machines that is a standard model of logarithmic space computation

Classical Structures Based on Unitaries

Starting from the observation that distinct notions of copying have arisen in different categorical fields (logic and computation, contrasted with quantum mechanics) this paper addresses the question of when, or whether, they may coincide. Provided all definitions are strict in the categorical sense, we show that this can never be the case. However, allowing for the defining axioms to be taken up to canonical isomorphism, a close connection between the classical structures of categorical quantum mechanics, and the categorical property of self-similarity familiar from logical and computational models becomes apparent. The required canonical isomorphisms are non-trivial, and mix both typed (multi-object) and untyped (single-object) tensors and structural isomorphisms; we give coherence results that justify this approach. We then give a class of examples where distinct self-similar structures at an object determine distinct matrix representations of arrows, in the same way as classical structures determine matrix representations in Hilbert space. We also give analogues of familiar notions from linear algebra in this setting such as changes of basis, and diagonalisation.Comment: 24 pages,7 diagram

Central Proper-Motion Kinematics of NGC 6752

We present proper motions derived from WFPC2 imaging for stars in the core of the peculiar globular cluster NGC 6752. The central velocity dispersion in both components of the proper motion is 12 km/s. We discuss the implications of this result as well as the intrinsic difficulties in making such measurements. We also give an alternative correction for the 34-row problem in the WFPC2 CCDs.Comment: 25 pages, 7 figures, 1 table included. Accepted for publication in A

Can distributed delays perfectly stabilize dynamical networks?

Signal transmission delays tend to destabilize dynamical networks leading to oscillation, but their dispersion contributes oppositely toward stabilization. We analyze an integro-differential equation that describes the collective dynamics of a neural network with distributed signal delays. With the gamma distributed delays less dispersed than exponential distribution, the system exhibits reentrant phenomena, in which the stability is once lost but then recovered as the mean delay is increased. With delays dispersed more highly than exponential, the system never destabilizes.Comment: 4pages 5figure