Search results for "memory model"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy	DRFX: a simple and efficient memory model for concurrent programming languages.	PLDI	2010	DBLP DOI BibTeX RDF	memory model exception, soft fences, memory models, data races, sequential consistency
3	Wolfgang Puffitsch	Data caching, garbage collection, and the Java memory model.	JTRES	2009	DBLP DOI BibTeX RDF	Java memory model, garbage collection, data cache
3	Xavier Leroy, Sandrine Blazy	Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	The Coq proof assistant, Compilation, C, Program verification, Memory model, Compiler correctness
3	Nathan Chong, Samin Ishtiaq	Reasoning about the ARM weakly consistent memory model.	MSPC	2008	DBLP DOI BibTeX RDF	weakly consistent memory model, ARM
3	Pietro Ferrara	Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model.	TAP	2008	DBLP DOI BibTeX RDF	Static Analysis, Abstract Interpretation, Memory Model, Multithreaded Programs
3	W. L. Tung, Chai Quek	A brain-inspired fuzzy semantic memory model for learning and reasoning with uncertainty.	Neural Computing and Applications	2007	DBLP DOI BibTeX RDF	GenSoFNN, Brain-inspired learning memory model, Discrete incremental clustering, Type-2 fuzzy inference, Insulin modeling, Noise/uncertainty handling
3	Naga K. Govindaraju, Scott Larsen, Jim Gray, Dinesh Manocha	Memory - A memory model for scientific algorithms on graphics processors.	SC	2006	DBLP DOI BibTeX RDF	scientific algorithms, graphics processors, memory model
3	Jeremy Manson, William Pugh, Sarita V. Adve	The Java memory model.	POPL	2005	DBLP DOI BibTeX RDF	Java, concurrency, multithreading, memory model
3	Ying Dai, Yoshitaka Shibata, Tomoyuki Ishii, Koji Hashimoto, K. Katamachi, K. Noguchi, N. Kakizaki, Dawei Cai	An Associate Memory Model Of Facial Expressions And Its Application In Facial Expression Recognition Of Patients On Bed.	ICME	2001	DBLP DOI BibTeX RDF	facial action rate of occurrence, associate memory model, optical flow, Facial expression recognition
3	Franck Cappello, Olivier Richard	Performance Characteristics of a Network of Commodity Multiprocessors for the NAS Benchmarks Using a Hybrid Memory Model.	IEEE PACT	1999	DBLP DOI BibTeX RDF	Cluster of Multiprocessor, Hybrid memory model, NAS NPB 2.3 benchmark, Performance Evaluation, Hardware Performance Counters
3	G. J. Blinowski	A Shared Memory model based on the Dataflow paradigm.	PDP	1995	DBLP DOI BibTeX RDF	dataflow paradigm, autonomous processing elements, single assignment principle, multi-dimensional addressing, associative data access primitives, associative data read, tightly coupled, heterogenous machines, distributed processing, computer networks, computer network, shared memory systems, data flow computing, shared memory model
2	John H. Kelm, Daniel R. Johnson, Steven S. Lumetta, Sanjay J. Patel, Matthew I. Frank	A Task-Centric Memory Model for Scalable Accelerator Architectures.	IEEE Micro	2010	DBLP DOI BibTeX RDF	software coherence, parallel architecture, accelerator, memory model
2	John H. Kelm, Daniel R. Johnson, William Tuohy, Steven S. Lumetta, Sanjay J. Patel	Cohesion: a hybrid memory model for accelerators.	ISCA	2010	DBLP DOI BibTeX RDF	computer architecture, cache coherence, accelerator
2	Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric	A low-level memory model and an accompanying reachability predicate.	STTT	2009	DBLP DOI BibTeX RDF
2	KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders	Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking.	ASE	2009	DBLP DOI BibTeX RDF	model checking, heuristic algorithm, data race, relaxed memory model
2	Zvonimir Rakamaric, Alan J. Hu	A Scalable Memory Model for Low-Level Code.	VMCAI	2009	DBLP DOI BibTeX RDF
2	Hans-Juergen Boehm, Sarita V. Adve	Foundations of the C++ concurrency memory model.	PLDI	2008	DBLP DOI BibTeX RDF	trylock, c++, memory model, data race, sequential consistency, memory consistency
2	Daniel Lorenz, Peter Buchholz, Christian Uebing, Wolfgang Walkowiak, Roland Wismüller	RMOST: A Shared Memory Model for Online Steering.	ICCS	2008	DBLP DOI BibTeX RDF
2	Annerieke Heuvelink, Michel C. A. Klein, Jan Treur	An Agent Memory Model Enabling Rational and Biased Reasoning.	IAT	2008	DBLP DOI BibTeX RDF
2	Guowei Yang, Shoujue Wang, Xiaodong Zhuang	The Associative Memory Model with Expecting Fault-Tolerant Field on Multi-Value Information Space.	ICNSC	2008	DBLP DOI BibTeX RDF
2	Arnab De, Abhik Roychoudhury, Deepak D'Souza	Java memory model aware software validation.	PASTE	2008	DBLP DOI BibTeX RDF
2	Jaroslav Sevcík, David Aspinall	On Validity of Program Transformations in the Java Memory Model.	ECOOP	2008	DBLP DOI BibTeX RDF
2	Dingming Wu, Dongyan Zhao, Xue Zhang	An Adaptive User Profile Based on Memory Model.	WAIM	2008	DBLP DOI BibTeX RDF
2	Brian Keng, Hratch Mangassarian, Andreas G. Veneris	A succinct memory model for automated design debugging.	ICCAD	2008	DBLP DOI BibTeX RDF
2	Greg Bronevetsky, Bronis R. de Supinski	Complete Formal Specification of the OpenMP Memory Model.	International Journal of Parallel Programming	2007	DBLP DOI BibTeX RDF	parallel programming, theorem proving, OpenMP, formal systems
2	Thuan Quang Huynh, Abhik Roychoudhury	Memory model sensitive bytecode verification.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Programming language memory models, Software model checking, Bytecode verification
2	Guowei Yang, Shoujue Wang, Qingxu Yan	A Design Method of Associative Memory Model with Expecting Fault-Tolerant Field.	ISNN	2007	DBLP DOI BibTeX RDF
2	Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio	The Java Memory Model: Operationally, Denotationally, Axiomatically.	ESOP	2007	DBLP DOI BibTeX RDF
2	Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun	A theory of memory models.	PPOPP	2007	DBLP DOI BibTeX RDF	weak model, memory model, sequential consistency
2	Ke-Jia Chen, Jean-Paul A. Barthès	MemoPA: Intelligent Personal Assistant Agents with a Case Memory Mechanism.	ICIC	2007	DBLP DOI BibTeX RDF	Personal Assistant Agent, Case-Based Reasoning, Memory Model
2	Arvind, Jan-Willem Maessen	Memory Model = Instruction Reordering + Store Atomicity.	ISCA	2006	DBLP DOI BibTeX RDF
2	Romain Thomas, Stéphane Donikian	A Spatial Cognitive Map and a Human-Like Memory Model Dedicated to Pedestrian Navigation in Virtual Urban Environments.	Spatial Cognition	2006	DBLP DOI BibTeX RDF
2	Thuan Quang Huynh, Abhik Roychoudhury	A Memory Model Sensitive Checker for C#.	FM	2006	DBLP DOI BibTeX RDF
2	Sandrine Blazy, Xavier Leroy	Formal Verification of a Memory Model for C-Like Imperative Languages.	ICFEM	2005	DBLP DOI BibTeX RDF
2	Harvey Tuch, Gerwin Klein	A Unified Memory Model for Pointers.	LPAR	2005	DBLP DOI BibTeX RDF
2	Bailing Zhang, Yuan Miao, Gopal Gupta	k-Nearest Neighbors Associative Memory Model for Face Recognition.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
2	Leelani Kumari Wickramasinghe, L. Damminda Alahakoon	Representation of Procedural Knowledge of an Intelligent Agent Using a Novel Cognitive Memory Model.	KES	2005	DBLP DOI BibTeX RDF
2	Kary Främling	Dual Memory Model for Using Pre-existing Knowledge in Reinforcement Learning Tasks.	ICANN	2005	DBLP DOI BibTeX RDF
2	Hyonho Lee	Transformations of Mutual Exclusion Algorithms from the Cache-Coherent Model to the Distributed Shared Memory Model.	ICDCS	2005	DBLP DOI BibTeX RDF
2	M. Teresa Higuera-Toledano	Towards an Understanding of the Behavior of the Single Parent Rule in the RTSJ Scoped Memory Model.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
2	Sergey Polyakov, Assaf Schuster	Verification of the Java Causality Requirements.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF	Java, Verification, Complexity, Concurrency, Shared Memory, Multithreading, Memory Model
2	Tomoyuki Kimoto, Masato Okada	Coexistence of memory patterns and mixed states in a sparsely encoded associative memory model storing ultrametric patterns.	Biological Cybernetics	2004	DBLP DOI BibTeX RDF
2	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom	Memory-Model-Sensitive Data Race Analysis.	ICFEM	2004	DBLP DOI BibTeX RDF
2	Andrew Borg, Andy J. Wellings	Towards an Understanding of the Expressive Power of the RTSJ Scoped Memory Model.	OTM Workshops	2004	DBLP DOI BibTeX RDF
2	Tulika Mitra, Abhik Roychoudhury, Qinghua Shen	Impact of Java Memory Model on Out-of-Order Multiprocessors.	IEEE PACT	2004	DBLP DOI BibTeX RDF
2	William Kuchera, Charles Wallace	The UPC Memory Model: Problems and Prospects.	IPDPS	2004	DBLP DOI BibTeX RDF
2	Tom Schrijvers	JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR.	ICLP	2004	DBLP DOI BibTeX RDF
2	Jedidiah R. Crandall, Frederic T. Chong	Minos: Control Data Attack Prevention Orthogonal to Memory Model.	MICRO	2004	DBLP DOI BibTeX RDF
2	Hatsuo Hayashi, Motoharu Yoshida	A Memory Model Based on Dynamical Behaviour of the Hippocampus.	KES	2004	DBLP DOI BibTeX RDF
2	Robert F. Stärk, Egon Börger	An ASM Specification of C# Threads and the .NET Memory Model.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
2	Tom Altman, Yoshihide Igarashi, Michiko Omori	A Turn Function Scheme Realized in the Asynchronous Single-Writer/Multi-reader Shared Memory Model.	ISAAC	2003	DBLP DOI BibTeX RDF
2	Jesse D. Bingham, Anne Condon, Alan J. Hu	Toward a decidable notion of sequential consistency.	SPAA	2003	DBLP DOI BibTeX RDF	shared memory systems, memory model, sequential consistency
2	Raj P. Gopalan, Grant Lee	Indexing of Image Databases Using Untrained 4D Holographic Memory Model.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
2	Masataka Takamura, Yoshihide Igarashi	Simple Mutual Exclusion Algorithms Based on Bounded Tickets on the Asynchronous Shared Memory Model.	COCOON	2002	DBLP DOI BibTeX RDF
2	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom	Specifying Java thread semantics using a uniform memory model.	Java Grande	2002	DBLP DOI BibTeX RDF	Java, verification, compilation, threads, memory models
2	Siddharth R. Phanse, R. K. Shyamasundar	Application of Esterel for Modelling and Verification of Cachet Protocol on CRF Memory Model.	VLSI Design	2001	DBLP DOI BibTeX RDF
2	Anne Condon, Alan J. Hu	Automatable verification of sequential consistency.	SPAA	2001	DBLP DOI BibTeX RDF	model checking, memory model, sequential consistency
2	Guang R. Gao, Vivek Sarkar	Location Consistency-A New Memory Model and Cache Consistency Protocol.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	location consistency, cache consistency protocols, Memory consistency
2	Jan-Willem Maessen, Arvind, Xiaowei Shen	Improving the Java memory model using CRF.	OOPSLA	2000	DBLP DOI BibTeX RDF	commit/reconcile/fence, Java, Java, compilation, memory models
2	Sungjoo Yoo, Kyoungseok Rha, Youngchul Cho, Jinyong Jung, Kiyoung Choi	Performance estimation of multiple-cache IP-based systems: case study of an interdependency problem and application of an extended shared memory model.	CODES	2000	DBLP DOI BibTeX RDF
2	Masaki Kawamura, M. Okada, Yuzo Hirai	Dynamics of selective recall in an associative memory model with one-to-many associations.	IEEE Transactions on Neural Networks	1999	DBLP DOI BibTeX RDF
2	Xiaowei Shen, Arvind, Larry Rudolph	Commit-Reconcile & Fences (CRF): A New Memory Model for Architects and Compiler Writers.	ISCA	1999	DBLP DOI BibTeX RDF
2	Brian Grayson, Michael Dahlin, Vijaya Ramachandran	Experimental Evaluation of QSM, a Simple Shared-Memory Model. (PDF / PS)	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
2	Gene Cheung, Steven McCanne	Dynamic Memory Model Based Framework for Optimization of IP Address Lookup Algorithms. (PDF / PS)	ICNP	1999	DBLP DOI BibTeX RDF
2	Jose Flich, Manuel P. Malumbres, Pedro López, José Duato	Performance Evaluation of Networks of Workstations with Hardware Shared Memory Model Using Execution-Driven Simulation. (PDF / PS)	ICPP	1999	DBLP DOI BibTeX RDF	adaptive routing, Networks of workstations, wormhole switching, irregular topologies, execution-driven simulation
2	Ying Dai, Yoshitaka Shibata, Yasuaki Nakano, Koji Hashimoto	Recognition of Facial Expressions Based on the Hopfield Memory Model. (PDF / PS)	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	Advanced man-machine interfacing, Pattern recognition
2	Antonio J. Nebro, Ernesto Pimentel, José M. Troya	Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming.	Euro-Par	1997	DBLP DOI BibTeX RDF
2	Vijaya Ramachandran	QSM: A General Purpose Shared-Memory Model for Parallel Computation.	FSTTCS	1997	DBLP DOI BibTeX RDF
2	John Havlicek	Computable Obstructions to Wait-free Computability.	FOCS	1997	DBLP DOI BibTeX RDF	computable obstructions, distributed decision task, wait-free protocol, fault-tolerant computation, computability, asynchronous distributed systems, shared-memory model, wait-free computability
2	Yingchun Zhu, Laurie J. Hendren	Locality Analysis for Parallel C Programs.	IEEE PACT	1997	DBLP DOI BibTeX RDF	parallel C programs, parallel C dialect, EARTH-C, type inference algorithms, fast points-to analysis, indirect reference, automatic specialization, EARTH-C compiler, low level threaded code, EARTH-C multithreaded architecture, dynamically allocated data structures, parallel programming, parallel architectures, memory model, compiler techniques, parallel performance, locality analysis, remote memory accesses
2	Wei Zhao, Christos A. Papachristou	Architectural partitioning of control memory for application specific programmable processors.	ICCAD	1995	DBLP DOI BibTeX RDF	application specific programmable processors, control memory, distributed microcode memory model, microcode memory, repetitive microcodes, distributed memory systems, memory architecture, programmability, microprogram, datapaths, firmware, memory module
2	John G. Cleary, Murray Pearson, Husam Kinawi	The architecture of an optimistic CPU: the WarpEngine.	HICSS	1995	DBLP DOI BibTeX RDF	optimistic CPU, WarpEngine, shared memory CPU, single instructions, memory latency tolerance, executable instructions, TimeWarp algorithm, optimistic, single linear address space, single thread of control, reliability, caches, parallel architectures, fault tolerant computing, concurrency control, synchronisation, synchronisation, shared memory systems, memory architecture, cache storage, memory system, memory model, time stamped, memory accesses, local memory
2	Zhiyong Li 0002, Peter Mills, John H. Reif	Models and resource metrics for parallel and distributed computation.	HICSS	1995	DBLP DOI BibTeX RDF	resource metrics, architectural details, generic parameters, network communication costs, LogP-HMM model, parameterized network model, sequential hierarchical memory model, multilevel memory, local cache, near-optimal sorting, parallel processing, parallel computation, distributed algorithms, distributed computation, resource allocation, sorting, fast Fourier transforms, parallel machines, memory hierarchy, cache storage, design principles, asynchrony, parallel models, input/output, synchronous models, fast Fourier transform algorithms
2	Ben H. H. Juurlink, Harry A. G. Wijshoff	The Parallel Hierarchical Memory Model.	SWAT	1994	DBLP DOI BibTeX RDF	algorithms, data locality, Hierarchical memory
2	Kathryn C. Kinsley, Charles E. Hughes	Analysis of a Virtual Memory Model For Maintaining Database Views.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	virtual memory model, support strategy, virtual method, traditional methods, experimental implementation, database management systems, analytical model, database theory, virtual storage, database views
2	Robert Cypher, Jorge L. C. Sanz, L. Snyder	An EREW PRAM Algorithm for Image Component Labeling.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	EREW PRAM algorithm, image component labeling, synchronous fine-grained shared-memory model, exclusive-read exclusive-write parallel RAM, computer vision, computer vision, parallel algorithm, parallel algorithms, computational complexity, parallel processing, binary images, random-access storage, mesh-connected computers
2	Eliezer Dekel, Sartaj Sahni	Binary trees and parallel scheduling algorithms.	CONPAR	1981	DBLP DOI BibTeX RDF	scheduling, Parallel algorithms, complexity, design methodologies, shared memory model
1	Julian Szymanski, Wlodzislaw Duch	Information retrieval with semantic memory model.	Cognitive Systems Research	2012	DBLP DOI BibTeX RDF
1	Huafeng Jin, Tuba Yavuz-Kahveci, Beverly A. Sanders	Java Memory Model-Aware Model Checking.	TACAS	2012	DBLP DOI BibTeX RDF
1	Viet Hai Ha, Éric Renault	Design of a Shared-Memory Model for CAPE.	IWOMP	2012	DBLP DOI BibTeX RDF
1	Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang	Concurrent Library Correctness on the TSO Memory Model.	ESOP	2012	DBLP DOI BibTeX RDF
1	Andreas Lochbihler	Java and the Java Memory Model - A Unified, Machine-Checked Formalisation.	ESOP	2012	DBLP DOI BibTeX RDF
1	Tom St. John, Jack B. Dennis, Guang R. Gao	Massively parallel breadth first search using a tree-structured memory model.	PMAM	2012	DBLP DOI BibTeX RDF
1	Roberto Cabeza, Yonatan S. Mazuz, Jared Stokes, James E. Kragel, Marty G. Woldorff, Elisa Ciaramelli, Ingrid R. Olson, Morris Moscovitch	Overlapping Parietal Activity in Memory and Perception: Evidence for the Attention to Memory Model.	J. Cognitive Neuroscience	2011	DBLP DOI BibTeX RDF
1	Jack B. Dennis, Guang R. Gao, Xiao X. Meng	Experiments with the Fresh Breeze tree-based memory model.	Computer Science - R&D	2011	DBLP DOI BibTeX RDF
1	John H. Kelm, Daniel R. Johnson, William Tuohy, Steven S. Lumetta, Sanjay J. Patel	Cohesion: An Adaptive Hybrid Memory Model for Accelerators.	IEEE Micro	2011	DBLP DOI BibTeX RDF
1	Peter A. Appleby, Gerd Kempermann, Laurenz Wiskott	The Role of Additive Neurogenesis and Synaptic Plasticity in a Hippocampal Memory Model with Grid-Cell Like Input.	PLoS Computational Biology	2011	DBLP DOI BibTeX RDF
1	Patrícia Amâncio Vargas, Ylva Fernaeus, Mei Yii Lim, Sibylle Enz, Wan Ching Ho, Mattias Jacobsson, Ruth Ayllet	Advocating an ethical memory model for artificial companions from a human-centred perspective.	AI Soc.	2011	DBLP DOI BibTeX RDF
1	Fabian Chersi, Marcello Ferro, Giovanni Pezzulo, Vito Pirrelli	Time, Language and Action - A Unified Long-Term Memory Model for Sensory-Motor Chains and Word Schemata.	ERCIM News	2011	DBLP BibTeX RDF
1	Lance Nizami	Memory model of information transmitted in absolute judgment.	Kybernetes	2011	DBLP DOI BibTeX RDF
1	Benjamin P. Wood, Luis Ceze, Dan Grossman	Data-race exceptions have benefits beyond the memory model.	MSPC	2011	DBLP DOI BibTeX RDF
1	Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi	Efficient processor support for DRFx, a memory model with exceptions.	ASPLOS	2011	DBLP DOI BibTeX RDF
1	Chin Hiong Tan, Eng Yeow Cheu, Jun Hu, Qiang Yu, Huajin Tang	Associative Memory Model of Hippocampus CA3 Using Spike Response Neurons.	ICONIP	2011	DBLP DOI BibTeX RDF
1	Ana Cavalcanti, Andy J. Wellings, Jim Woodcock	The Safety-Critical Java Memory Model: A Formal Account.	FM	2011	DBLP DOI BibTeX RDF
1	Whye Loon Tung, Chai Quek	eFSM: a novel online neural-fuzzy semantic memory model.	IEEE Transactions on Neural Networks	2010	DBLP DOI BibTeX RDF
1	Hongchang Ke, Hui Wang, Hongwei Zhao, Kaiyu Liang	Visual Mental Imagery Memory Model Based on Weighted Directed Graph.	JCP	2010	DBLP DOI BibTeX RDF
1	Hiroaki Umeda, Yuichi Inadomi, Toshio Watanabe, Toru Yagi, Takayoshi Ishimoto, Tsutomu Ikegami, Hiroto Tadano, Tetsuya Sakurai, Umpei Nagashima	Parallel Fock matrix construction with distributed shared memory model for the FMO-MO method.	Journal of Computational Chemistry	2010	DBLP DOI BibTeX RDF
1	Sangho Shin, Kyungmin Kim, Sung-Mo Kang	Data-Dependent Statistical Memory Model for Passive Array of Memristive Devices.	IEEE Trans. on Circuits and Systems	2010	DBLP DOI BibTeX RDF
1	Susan Craw	Dynamic Memory Model.	Encyclopedia of Machine Learning	2010	DBLP DOI BibTeX RDF
1	Chen Chen, Joseph B. Manzano, Ge Gan, Guang R. Gao, Vivek Sarkar	A Study of a Software Cache Implementation of the OpenMP Memory Model for Multicore and Manycore Architectures.	Euro-Par	2010	DBLP DOI BibTeX RDF