990 resultados para Memory Program


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Memory Meanders is an ethnographic analysis of a postcolonial migrant community, white former Rhodesians, who have emigrated from Zimbabwe to South Africa after Zimbabwe s independence in 1980. An estimated 100 000 whites left the country during the first years of independence. Majority of these emigrants settled in South Africa. In recent years President Mugabe s land redistribution program has inflicted forced expulsions and violence against white farmers and black farm workers, and instigated a new wave of emigration. Concerning the study of Southern Africa, my research is therefore very topical. In recent years there has been a growing concern to study postcolonialism as it unfolds in the lived realities of actual postcolonies. A rising interest has also been cast on colonial cultures and white colonials within complex power relationships. My research offers insight to these discussions by investigating the ways in which the colonial past affects and effects in the present activities and ideas of former colonials. The study also takes part in discussing fundamental questions concerning how diaspora communities socially construct their place in the world in relation to the place left behind, to their current places of dwelling and to the community in dispersal. In spite of Rhodesia s incontestable ending, it is held close by social practices; by thoughts and talks, by material displays, and by webs of meaningful relationships. Such social memory practices, I suggest, are fundamental to how the community understands itself. The vantage points from which I examine how the ex-Rhodesians reminisce about Rhodesia concern ideas and practices related to place, home and commemoration. I first focus on the processes of symbolic investment that go into understanding place and landscape in Rhodesia and ask how the once dwelled-in places, iconic landscapes and experiences within places are reminisced about in diaspora. Secondly, I examine how home both as a mundanely organized sphere of everyday lives and as an idea of belonging is culturally configured, and analyze how and if homes travel in diaspora. In the final ethnographic section I focus on commemorative practices. I first analyze how food and culturally specific festive occasions of commensality are connected to social and sensual memory, considering the unique ways in which food acts as a mnemonic trigger in a diaspora community. The second example concerns the celebration of a centenary of Rhodesia in 1990. Through this case I describe how the mnemonic power of commemoration rests on the fact that culturally meaningful experiences are bodily re-enacted. I show how habitual memory connected to performance is one example of how memory gets passed-on in non-textual ways.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than the intuitive sequential consistency semantics to allow efficient execution. In this paper, we present WOMM (abbreviation for Weak Operational Memory Model) that formally unifies two sources of weak behavior in hardware memory models: reordering of instructions and weakly consistent memory. We show that a large number of optimizations are allowed by WOMM. We also show that WOMM is weaker than a number of hardware memory models. Consequently, if a program behaves correctly under WOMM, it will be correct with respect to those hardware memory models. Hence, WOMM can be used as a formally specified abstraction of the hardware memory models. Moreover; unlike most weak memory models, WOMM is described using operational semantics, making it easy to integrate into a model checker for concurrent programs. We further show that WOMM has an important property - it has sequential consistency semantics for datarace-free programs.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The Java Memory Model (JMM) provides a semantics of Java multithreading for any implementation platform. The JMM is defined in a declarative fashion with an allowed program execution being defined in terms of existence of "commit sequences" (roughly, the order in which actions in the execution are committed). In this work, we develop OpMM, an operational under-approximation of the JMM. The immediate motivation of this work lies in integrating a formal specification of the JMM with software model checkers. We show how our operational memory model description can be integrated into a Java Path Finder (JPF) style model checker for Java programs.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Energy consumption has become a major constraint in providing increased functionality for devices with small form factors. Dynamic voltage and frequency scaling has been identified as an effective approach for reducing the energy consumption of embedded systems. Earlier works on dynamic voltage scaling focused mainly on performing voltage scaling when the CPU is waiting for memory subsystem or concentrated chiefly on loop nests and/or subroutine calls having sufficient number of dynamic instructions. This paper concentrates on coarser program regions and for the first time uses program phase behavior for performing dynamic voltage scaling. Program phases are annotated at compile time with mode switch instructions. Further, we relate the Dynamic Voltage Scaling Problem to the Multiple Choice Knapsack Problem, and use well known heuristics to solve it efficiently. Also, we develop a simple integer linear program formulation for this problem. Experimental evaluation on a set of media applications reveal that our heuristic method obtains a 38% reduction in energy consumption on an average, with a performance degradation of 1% and upto 45% reduction in energy with a performance degradation of 5%. Further, the energy consumed by the heuristic solution is within 1% of the optimal solution obtained from the ILP approach.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Software transactional memory (STM) has been proposed as a promising programming paradigm for shared memory multi-threaded programs as an alternative to conventional lock based synchronization primitives. Typical STM implementations employ a conflict detection scheme, which works with uniform access granularity, tracking shared data accesses either at word/cache line or at object level. It is well known that a single fixed access tracking granularity cannot meet the conflicting goals of reducing false conflicts without impacting concurrency adversely. A fine grained granularity while improving concurrency can have an adverse impact on performance due to lock aliasing, lock validation overheads, and additional cache pressure. On the other hand, a coarse grained granularity can impact performance due to reduced concurrency. Thus, in general, a fixed or uniform granularity access tracking (UGAT) scheme is application-unaware and rarely matches the access patterns of individual application or parts of an application, leading to sub-optimal performance for different parts of the application(s). In order to mitigate the disadvantages associated with UGAT scheme, we propose a Variable Granularity Access Tracking (VGAT) scheme in this paper. We propose a compiler based approach wherein the compiler uses inter-procedural whole program static analysis to select the access tracking granularity for different shared data structures of the application based on the application's data access pattern. We describe our prototype VGAT scheme, using TL2 as our STM implementation. Our experimental results reveal that VGAT-STM scheme can improve the application performance of STAMP benchmarks from 1.87% to up to 21.2%.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The dependence of thermal properties of Ag8In14Sb55Te23 phase-change memory materials in crystalline and amorphous states on temperature was measured and analyzed. The results show that in the crystalline state, the thermal properties monotonically decrease with the temperature and present obvious crystalline semiconductor characteristics. The heat capacity, thermal diffusivity, and thermal conductivity decrease from 0.35 J/g K, 1.85 mm(2)/s, and 4.0 W/m K at 300 K to 0.025 J/g K, 1.475 mm(2)/s, and 0.25 W/m K at 600 K, respectively. In the amorphous state, while the dependence of thermal properties on temperature does not present significant changes, the materials retain the glass-like thermal characteristics. Within the temperature range from 320 K to 440 K, the heat capacity fluctuates between 0.27 J/g K and 0.075 J/g K, the thermal diffusivity basically maintains at 0.525 mm(2)/s, and the thermal conductivity decreases from 1.02 W/m K at 320 K to 0.2 W/m K at 440 K. Whether in the crystalline or amorphous state, Ag8In14Sb55Te23 are more thermally active than Ge2Sb2Te5, that is, the Ag8In14Sb55Te23 composites bear stronger thermal conduction and diffusion than the Ge2Sb2Te5 phase-change memory materials.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

D-Serine, the endogenous coagonist of N-methyl-D-aspartate receptors (NMDARs), is considered to be an important gliotransmitter, and is essential for the induction of long-term potentiation. However, less is known about the role of D-serine in another for

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In the present study, the interaction between morphine and the beta-adrenergic receptor antagonist, propranolol (PROP), in memory consolidation was investigated in a two-trial recognition Y-maze task. Four sets of Y-maze experiments were carried out in mi

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In most studies regarding the improving or therapeutical effects induced by enriched environment (EE), EE was performed after the stress treatment or in patients with certain diseases. In the current study, the effects of chronic restraint stress (6 h/day) in mice living in an enriched environment or standard environment (SE) were tested. Mice were randomly divided into 4 groups: non-stressed or stressed mice housed in SE or EE conditions (SE, stress + SE, EE, stress + EE). Prepulse inhibition (PPI) of startle was tested after the 2 weeks or 4 weeks stress and/or EE treatment and 1 or 2 weeks withdrawal from the 4 weeks treatment. After the 4 weeks treatment, spatial recognition memory in Y-maze was also tested. The results showed that EE increased PPI in stressed and non-stressed mice after 2 weeks treatment. No effect of EE on PPI was found after the 4 weeks treatment. 4 weeks chronic restraint stress increased PPI in mice housed in standard but not EE conditions. Stressed mice showed deficits on the 1 h delay version of the Y-maze which could be prevented by living in an enriched environment. Our results indicated that living in an enriched environment reversed the impairing effects of chronic restraint stress on spatial recognition memory. However, EE did not change the effects of stress on PPI. (C) 2010 Elsevier B.V. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The prefrontal cortex (PFC) has a central role in working memory (WM). Resistance to distraction is considered a fundamental feature of WM and PFC neuronal activity. However, although unexpected stimuli often disrupt our work, little is known about the un

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Previous Studies have demonstrated that in the pentylenetetrazol (PTZ) kindling model, recurrent seizures either impair or have no effect on learning and memory. However, the effects of brief seizures on learning and memory remain unknown. Here, we found

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Chronic exposure to opiates impairs hippocampal long-term potentiation (LTP) and spatial memory, but the underlying mechanisms remain to be elucidated. Given the well known effects of adenosine, an important neuromodulator, on hippocampal neuronal excitability and synaptic plasticity, we investigated the potential effect of changes in adenosine concentrations on chronic morphine treatment-induced impairment of hippocampal CA1 LTP and spatial memory. We found that chronic treatment in mice with either increasing doses (20-100 mg/kg) of morphine for 7 d or equal daily dose (20 mg/kg) of morphine for 12 d led to a significant increase of hippocampal extracellular adenosine concentrations. Importantly, we found that accumulated adenosine contributed to the inhibition of the hippocampal CA1 LTP and impairment of spatial memory retrieval measured in the Morris water maze. Adenosine A(1) receptor antagonist 8-cyclopentyl-1,3-dipropylxanthine significantly reversed chronic morphine-induced impairment of hippocampal CA1 LTP and spatial memory. Likewise, adenosine deaminase, which converts adenosine into the inactive metabolite inosine, restored impaired hippocampal CA1 LTP. We further found that adenosine accumulation was attributable to the alteration of adenosine uptake but not adenosine metabolisms. Bidirectional nucleoside transporters (ENT2) appeared to play a key role in the reduction of adenosine uptake. Changes in PKC-alpha/beta activity were correlated with the attenuation of the ENT2 function in the short-term (2 h) but not in the long-term (7 d) period after the termination of morphine treatment. This study reveals a potential mechanism by which chronic exposure to morphine leads to impairment of both hippocampal LTP and spatial memory.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Although prefrontal and hippocampal neurons are critical for spatial working memory, the function of glial cells in spatial working memory remains uncertain. In this study we investigated the function of glial cells in rats' working memory. The glial cell

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper proposes an embedded ultra low power nonvolatile memory in a standard CMOS logic process. The memory adopts a bit cell based on the differential floating gate PMOS structure and a novel operating scheme. It can greatly improve the endurance and retention characteristic and make the area/bit smaller. A new high efficiency all-PMOS charge pump is designed to reduce the power consumption and to increase the power efficiency. It eliminates the body effect and can generate higher output voltage than conventional structures for a same stage number. A 32-bit prototype chip is fabricated in a 0.18 mu m 1P4M standard CMOS logic process and the core area is 0.06 mm(2). The measured results indicate that the typical write/erase time is 10ms. With a 700 kHz clock frequency, power consumption of the whole memory is 2.3 mu A for program and 1.2 mu A for read at a 1.6V power supply.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

SIR is a computer system, programmed in the LISP language, which accepts information and answers questions expressed in a restricted form of English. This system demonstrates what can reasonably be called an ability to "understand" semantic information. SIR's semantic and deductive ability is based on the construction of an internal model, which uses word associations and property lists, for the relational information normally conveyed in conversational statements. A format-matching procedure extracts semantic content from English sentences. If an input sentence is declarative, the system adds appropriate information to the model. If an input sentence is a question, the system searches the model until it either finds the answer or determines why it cannot find the answer. In all cases SIR reports its conclusions. The system has some capacity to recognize exceptions to general rules, resolve certain semantic ambiguities, and modify its model structure in order to save computer memory space. Judging from its conversational ability, SIR, is a first step toward intelligent man-machine communication. The author proposes a next step by describing how to construct a more general system which is less complex and yet more powerful than SIR. This proposed system contains a generalized version of the SIR model, a formal logical system called SIR1, and a computer program for testing the truth of SIR1 statements with respect to the generalized model by using partial proof procedures in the predicate calculus. The thesis also describes the formal properties of SIR1 and how they relate to the logical structure of SIR.