Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 80 for “"Memory Model"”.
-
WMM : a resilient Weak Memory Model
A good memory model should have a precise definition that can be understood by any computer architect readily. It should also be resilient in the sense that it should not break when new microarchitecture optimizations are introduced to improve single-threaded performance. We introduce WMM, a new …
-
A Global Memory Model of Intentional Forgetting
… is a phenomenon that has been studied by memory researchers since 1968 (Bjork, LaBerge, & Legrand, 1968), however a formal model to explain directed forgetting has not yet been developed. In this paper, I will review the literature on directed forgetting and discuss the results six …
-
A Scene Schema Memory Model for Spatial Relations
An integrated scene schema memory model was proposed to provide an account of recall and recognition for five types of spatial relations. The integrated model assumes that recall involves retrieval processes where the retrieval of a relation depends on both its strength which is determined by the …
-
A no-thin-air memory model for programming languages
… runtime, etc. that make up the platform. A memory model, which prescribes what values each read of a concurrent program can read, allows programmers to determine whether a program behaves as expected without having to worry about the details of the platform. However, capturing these …
-
Epistemology as the basis for a corporate memory model
… theories can be used as a basis for a corporate memory model. Work in artificial intelligence knowledge representations and corporate memory knowledge representations are compared with ideas found in epistemology. A corporate memory model based on epistemology is proposed, and it is shown how …
-
The Space Complexity of Distributed Tasks in the Shared Memory Model
In this thesis, I study the space complexity of the implementation of test-and-set and renaming problems from atomic multi-reader/multi-writer registers in distributed synchronous systems with n processes. Previously, Giakkoupis and Woelfel as well as Styer and Peterson showed that at least …
-
Performance analysis of cache oblivious Algorithms in the Fresh Breeze memory model
The Fresh Breeze program execution model was designed for easy, reliable and massively scalable parallel performance. The model achieves these goals by combining a radical memory model with efficient fine-grain parallelsim and managing both in hardware. This presents a unique opportunity for …
-
A critical analysis of the Working Memory model of Eye Movement Desensitization and Reprocessing
… a leading theoretical account: the working memory (WM) hypothesis. To investigate the theory that EMs desensitise negative imagery in EMDR by taxing visuospatial WM, a series of experiments were conducted in which healthy subjects formed a visual image depicting a negative autobiographical …
-
Cache design exploration in a general purpose massively parallel architecture
Memory model design is a major part of any modern processor architecture. There are many design choices and tradeoffs to be considered, and these often need to be tightly coupled to the processing unit's arcitecure. The increased popularity of massively parallel architectures has motivated …
-
Thread Escape Analysis for a Memory Consistency -Aware Compiler
… and C#, have focused attention on the issue of memory model design. The Pensieve Project is building a compiler that will enable both language designers to prototype different memory models; and optimizing compilers to adapt to different memory models. Among the key analyses required to …
-
A schematic perspective of memory
"An analytical study of the different memory models proposed in the literature suggests the existence of a fourth memory mechanism, i.e., an intermediate-term memory, located between the short- and long-term memory. To the best of the author's knowledge there has never been any attempt made to …
-
Constructing and evaluating weak memory models
A memory model for an instruction set architecture (ISA) specifies all the legal multithreaded-program behaviors, and consequently constrains processor implementations. Weak memory models are a consequence of the desire of architects to preserve the flexibility of implementing optimizations that …
-
Rapid designs for cache coherence protocol engines in Bluespec
… and Arvind's Commit-Reconcile and Fences (CRF) memory model [1]. The CRF allows scalable implementations of shared memory systems by decomposing memory access operations into simpler instructions. However, the focus for Shen's Cachet protocol for the CRF was adaptivity and correctness, it …
-
The Cerberus C semantics
… does not really attempt to precisely define the memory model. These shortcomings leave C’s many obscure corners open to differing interpretations, and this is especially apparent when it comes to the memory model. While system programmers often rely on a very concrete view of pointers (even more …
-
A verification framework suitable for proving large language translations
… language with a real-world weak concurrency model. The framework combines four different pieces. First, we specify a complete semantics of the K framework and a translation from K to Isabelle as our basis for defining language specifications and proving properties about the specifications. …
-
The Role of Temporal Distraction on Short-Term Memory and Delayed Recognition
<p>Memory is a complex process that requires the translation of information from an external sensory experience into an internal representation. Once information has been translated into memory, there is little agreement regarding the cognitive structure of memory storage and maintenance. Baddeley …
-
Finding linearization violations in lock-free concurrent data structures
… programs under the Total-Store-Order (TSO) memory model and a methodology for finding linearization violations automatically with the tool.
-
Effect of repeated dosing of Delta 9-Tetrahydrocannabinol, the major psychoactive ingredient of marijuana, on memory in mice
… psychoactive component of marijuana, in a mouse memory model. Methods: In Experiment 1, the dose-response relationship of Δ9-THC was assessed in the object recognition task, a well-documented rodent memory model. In Experiment 2, mice were treated repeatedly with either escalating doses of Δ9-THC …
-
A Model of Scaffolded Encoding
… ubiquitous and are the foundation of episodic memory. As we investigate episodic memory in a laboratory setting and with, usually, a study-test design, we have inaccurately assumed encoding happens only at study and retrieval happens only at test. However, it’s entirely possible that encoding …
-
A computational memory and processing model for prosody
This thesis links processing in working memory to prosody in speech, and links different working memory capacities to different prosodic styles. It provides a causal account of prosodic differences and an architecture for reproducing them in synthesized speech. The implemented system mediates …
Page 1 of 4