Search results for "transactional memories"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh	Model checking transactional memories.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, transactional memories
2	Michael Emmi, Rupak Majumdar, Roman Manevich	Parameterized verification of transactional memories.	PLDI	2010	DBLP DOI BibTeX RDF	parameterized verification, transactional memory
2	Damien Imbs, Michel Raynal	Software Transactional Memories: An Approach for Multicore Programming.	PaCT	2009	DBLP DOI BibTeX RDF	Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state
2	Aleksandar Dragojevic, Rachid Guerraoui, Anmol V. Singh, Vasu Singh	Preventing versus curing: avoiding conflicts in transactional memories.	PODC	2009	DBLP DOI BibTeX RDF	scheduling, contention management, software transactional memory
2	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Permissiveness in Transactional Memories.	DISC	2008	DBLP DOI BibTeX RDF
1	Pierangelo di Sanzo, Bruno Ciciani, Roberto Palmieri, Francesco Quaglia, Paolo Romano	On the analytical modeling of concurrency control algorithms for Software Transactional Memories: The case of Commit-Time-Locking.	Perform. Eval.	2012	DBLP DOI BibTeX RDF
1	Christoforos Kachris, Chidamber Kulkarni	Transactional memories for multi-processor FPGA platforms.	Journal of Systems Architecture - Embedded Systems Design	2011	DBLP DOI BibTeX RDF
1	Damien Imbs, Michel Raynal	Software transactional memories: an approach for multicore programming.	The Journal of Supercomputing	2011	DBLP DOI BibTeX RDF
1	Maurice Herlihy	Transactional Memories.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Nuno Carvalho, Paolo Romano, Luís Rodrigues	A Generic Framework for Replicated Software Transactional Memories.	NCA	2011	DBLP DOI BibTeX RDF
1	Nuno Carvalho, Paolo Romano, Luís Rodrigues	SCert: Speculative certification in replicated software transactional memories.	SYSTOR	2011	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Model checking transactional memories.	Distributed Computing	2010	DBLP DOI BibTeX RDF
1	Paolo Romano, Luís Rodrigues, Nuno Carvalho, João P. Cachopo	Cloud-TM: harnessing the cloud with distributed transactional memories.	Operating Systems Review	2010	DBLP DOI BibTeX RDF
1	Vasu Singh	Runtime Verification for Software Transactional Memories.	RV	2010	DBLP DOI BibTeX RDF
1	Woojin Choi, Jeff Draper	Locality-aware adaptive grain signatures for Transactional Memories.	IPDPS	2010	DBLP DOI BibTeX RDF
1	Woojin Choi, Young Hoon Kang, Taek-Jun Kwon, Jeff Draper	Implementation of adaptive grain signatures for transactional memories.	ISCAS	2010	DBLP DOI BibTeX RDF
1	Alokika Dash, Brian Demsky	Automatically Generating Symbolic Prefetches for Distributed Transactional Memories.	Middleware	2010	DBLP DOI BibTeX RDF
1	Roberto Palmieri, Francesco Quaglia, Paolo Romano	AGGRO: Boosting STM Replication via Aggressively Optimistic Transaction Processing.	NCA	2010	DBLP DOI BibTeX RDF	Distributed Transactional Memories, distributed systems, dependability, Replication protocols
1	Arun Raman, Hanjun Kim, Thomas R. Mason, Thomas B. Jablin, David I. August	Speculative parallelization using software multi-threaded transactions.	ASPLOS	2010	DBLP DOI BibTeX RDF	multi-threaded transactions, automatic parallelization, software transactional memory, thread-level speculation, loop-level parallelism, pipelined parallelism
1	Dave Christie, Jae-Woong Chung, Stephan Diestelhorst, Michael Hohmuth, Martin Pohlack, Christof Fetzer, Martin Nowack, Torvald Riegel, Pascal Felber, Patrick Marlier, Etienne Riviere	Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack.	EuroSys	2010	DBLP DOI BibTeX RDF	transactional memory
1	Pierangelo di Sanzo, Roberto Palmieri, Bruno Ciciani, Francesco Quaglia, Paolo Romano	Analytical modeling of lock-based concurrency control with arbitrary transaction data access patterns.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	concurrency control, two phase locking, data access patterns
1	Paolo Romano, Nuno Carvalho, Maria Couceiro, Luís Rodrigues, João P. Cachopo	Towards the Integration of Distributed Transactional Memories in Application Servers' Clusters.	QSHINE	2009	DBLP DOI BibTeX RDF
1	Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka	Stretching transactional memory.	PLDI	2009	DBLP DOI BibTeX RDF	benchmarks, software transactional memories
1	Mojtaba Mehrara, Jeff Hao, Po-Chun Hsu, Scott A. Mahlke	Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory.	PLDI	2009	DBLP DOI BibTeX RDF	automatic parallelization, software transactional memory, thread-level speculation, profile-guided optimization, loop level parallelism
1	Hagit Attiya, Eshcar Hillel, Alessia Milani	Inherent limitations on disjoint-access parallel implementations of transactional memory.	SPAA	2009	DBLP DOI BibTeX RDF	disjoint-access parallelism, partial snapshots, lower bound, transactional memory, impossibility result
1	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Completeness and Nondeterminism in Model Checking Transactional Memories.	CONCUR	2008	DBLP DOI BibTeX RDF
1	Luís Rodrigues	On Replication of Software Transactional Memories.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Vincent Gramoli, Derin Harmanci, Pascal Felber	Toward a Theory of Input Acceptance for Transactional Memories.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Torvald Riegel, Christof Fetzer, Pascal Felber	Automatic data partitioning in software transactional memories.	SPAA	2008	DBLP DOI BibTeX RDF	partitioning, transactional memory
1	Ariel Cohen 0002, Amir Pnueli, Lenore D. Zuck	Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses.	CAV	2008	DBLP DOI BibTeX RDF
1	Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou	Learning from mistakes: a comprehensive study on real world concurrency bug characteristics.	ASPLOS	2008	DBLP DOI BibTeX RDF	bug characteristics, concurrent program, concurrency bug
1	Pascal Felber, Christof Fetzer, Torvald Riegel	Dynamic performance tuning of word-based software transactional memory.	PPOPP	2008	DBLP DOI BibTeX RDF	dynamic tuning, transactional memory
1	Ariel Cohen 0002, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck	Verifying Correctness of Transactional Memories.	FMCAD	2007	DBLP DOI BibTeX RDF	HTM, STM, TLC, model checking, Verification, transactional memory, TLA+
1	Torvald Riegel, Christof Fetzer, Heiko Sturzrehm, Pascal Felber	From causal to z-linearizable transactional memory.	PODC	2007	DBLP DOI BibTeX RDF	software transactional memory, linearizability
1	Torvald Riegel, Christof Fetzer, Pascal Felber	Time-based transactional memory with scalable time bases.	SPAA	2007	DBLP DOI BibTeX RDF	transactional memory
1	David Dice, Nir Shavit	Understanding Tradeoffs in Software Transactional Memory.	CGO	2007	DBLP DOI BibTeX RDF
1	Torvald Riegel, Pascal Felber, Christof Fetzer	A Lazy Snapshot Algorithm with Eager Validation.	DISC	2006	DBLP DOI BibTeX RDF
1	Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat, Patrick Sanchez	Stable Transactional Memories and Fault Tolerant Architectures.	Operating Systems Review	1991	DBLP DOI BibTeX RDF
1	Özalp Babaoglu	Report on the Fourth ACM SIGOPS European Workshop: Fault Tolerance Support in Distributed Systems.	Operating Systems Review	1991	DBLP DOI BibTeX RDF
1	Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat, Patrick Sanchez	Stable transactional memories and fault tolerant architectures.	ACM SIGOPS European Workshop	1990	DBLP DOI BibTeX RDF