Resource constrained Wireless Sensor Networks (WSNs) require an automated firmware updating protocol for adding new features or error fixes. Reprogramming nodes manually is often impractical or even impossible. Current update protocols require a large external memory or external WSN transport protocol. This paper presents the design, implementation, and experiments of a Program Image Disseminat...

This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable Shared-memory MultiProcessor (S3.mp) at three levels of abstraction: the memory consistency model, the cache coherence protocol, and the implementation.

The Landauer principle sets a fundamental thermodynamic constraint on the minimum amount of heat that must be dissipated to erase one logical bit information through quasistatically slow protocol. For finite time erasure, costs depend specific physical realization memory and how is erased. Here we treat problem within paradigm Brownian particle in symmetric double-well potential. two minima rep...

In contrast to vertebrates, the role of the neurotransmitter glutamate in learning and memory in insects has hardly been investigated. The reason is that a pharmacological characterization of insect glutamate receptors is still missing; furthermore, it is difficult to locally restrict pharmacological interventions. In this study, we overcome these problems by using locally and temporally define...

Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number of processors, the number of addresses, and the number of distinguishable data values, and typically, automatic protocol verification analyzes only concrete instances of the protocol with small values (generally < 3) ...

In contrast to vertebrates, the role of the neurotransmitter glutamate in learning and memory in insects has hardly been investigated. The reason is that a pharmacological characterization of insect glutamate receptors is still missing; furthermore, it is difficult to locally restrict pharmacological interventions. In this study, we overcome these problems by using locally and temporally define...

In shared-memory multiprocessors, caches are attached to the processors in order to reduce the memory access latency. To keep the memory consistent, a cache coherence protocol is needed. A well known approach is to record which caches have copies of a memory block in a directory and only notify the caches having a copy when a processor modifies the block. Such a protocol is called a directory-b...

in recent years, the effects of exercise on nervous system, spatial memory andmotor function in the senescence period have received the attention of researchers.as the age increases, some functions of nervous system such as spatial memory areweakened. thus, the effect of aerobic exercises including swimming and runningon learning, spatial memory and motor function was investigated in old rats. ...

We propose a multi-user key and data exchange protocol, which is able to manipulate stored encrypted data without need to decipher. This protocol can be used by several clients at any given time, which are connected to a server, for keys and data exchanges. The ciphered data located in client and that located in the server is exchanged, stored, compared and processed without the need to deciphe...