Search results for "concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	R. C. Hansdah, Lalit M. Patnaik	Weak Consistency Of Read-only Transactions: A Tool to Improve Concurrency in Heterogeneous Locking Protocols.	FSTTCS	1987	DBLP DOI BibTeX RDF
20	Eike Best, Agathe Merceron	Concurrency axioms and D-continuous posets.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
20	Haran Boral, Israel Gold	Towards A Self-Adapting Centralized Concurrency Control Algorithm.	SIGMOD Conference	1984	DBLP DOI BibTeX RDF
20	Philip A. Bernstein, Nathan Goodman	Multiversion Concurrency Control - Theory and Algorithms.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	transaction processing
20	Meichun Hsu, Stuart E. Madnick	Hierarchical Database Decomposition - A Technique for Database Concurrency Control.	PODS	1983	DBLP DOI BibTeX RDF
20	Christian Lengauer, Eric C. R. Hehner	A methodolgy for programming with concurrency.	CONPAR	1981	DBLP DOI BibTeX RDF
20	David Michael Ritchie Park	Concurrency and Automata on Infinite Sequences.	Theoretical Computer Science	1981	DBLP DOI BibTeX RDF
20	Ryszard Janicki	On Atomic Nets and Concurrency Relations.	MFCS	1980	DBLP DOI BibTeX RDF
20	David W. Mizell	Verification and Design Aspects of "True" Concurrency.	POPL	1978	DBLP DOI BibTeX RDF
20	Y. Edmund Lien, Peter J. Weinberger	Consistency, Concurrency and Crash Recovery.	SIGMOD Conference	1978	DBLP DOI BibTeX RDF
20	Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan	Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.	ICSE (1)	2010	DBLP DOI BibTeX RDF	software testing, dynamic analysis, atomicity, serializability
20	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems.	MoDELS	2009	DBLP DOI BibTeX RDF	genetic algorithms, UML, MDD, concurrent systems, data races, MARTE, model analysis
20	Mark Gebhart, Bertrand A. Maher, Katherine E. Coons, Jeffrey R. Diamond, Paul Gratz, Mario Marino, Nitya Ranganathan, Behnam Robatmili, Aaron Smith, James H. Burrill, Stephen W. Keckler, Doug Burger, Kathryn S. McKinley	An evaluation of the TRIPS computer system.	ASPLOS	2009	DBLP DOI BibTeX RDF	trips
20	Matthew Curtis-Maury, Filip Blagojevic, Christos D. Antonopoulos, Dimitrios S. Nikolopoulos	Prediction-Based Power-Performance Adaptation of Multithreaded Scientific Codes.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF
20	Annette Bieniusa, Peter Thiemann 0001, Stefan Wehr	The Relation of Version Control to Concurrent Programming.	CSSE (3)	2008	DBLP DOI BibTeX RDF
20	Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young	General and efficient locking without blocking.	MSPC	2008	DBLP DOI BibTeX RDF	adaptive locks, hybrid locks, transactional memory, nested transactions
20	Shangping Ren, Jerzy Nogiec	Developing Concurrent Applications on Emerging Multicore Platforms.	CISIS	2008	DBLP DOI BibTeX RDF
20	Thomas A. M. Bernard, Chris R. Jesshope, Peter M. W. Knijnenburg	Strategies for Compiling µ TC to Novel Chip Multiprocessors.	SAMOS	2007	DBLP DOI BibTeX RDF
20	Jun Chen 0018, Steve MacDonald	Testing concurrent programs using value schedules.	ASE	2007	DBLP DOI BibTeX RDF	value schedule, model checking, concurrent
20	Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun	X10: concurrent programming for modern architectures.	PPoPP	2007	DBLP DOI BibTeX RDF	concurrent programming languages, fork-join parallelism, global shared memory, high performance computing languages, partitioned global address space languages, asynchrony, X10, hierarchical parallelism
20	Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Rishiyur S. Nikhil	A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design.	MEMOCODE	2006	DBLP DOI BibTeX RDF
20	Ibrahim Jaluta	Index Cache Consistency in Client-Server Database Systems.	CIT	2006	DBLP DOI BibTeX RDF
20	Jan Lindström	Relaxed Correctness for Firm Real-Time Databases.	RTCSA	2006	DBLP DOI BibTeX RDF
20	Sukhoon Kang, Seoksoo Kim, Geuk Lee	A Transaction Processing Model for Performance Analysis in Multilevel-Secure Database Systems.	ICCSA (2)	2006	DBLP DOI BibTeX RDF
20	Gabriel Juhás, Robert Lorenz 0001, Jörg Desel	Can I Execute My Scenario in Your Net?.	ICATPN	2005	DBLP DOI BibTeX RDF
20	Kaloian Manassiev, Cristiana Amza	Scalable database replication through dynamic multiversioning.	CASCON	2005	DBLP BibTeX RDF
20	Paul Wu, Alan D. Fekete	An Empirical Study of Commutativity in Application Code.	IDEAS	2003	DBLP DOI BibTeX RDF
20	P. S. Thiagarajan	Abstract Cyclic Communicating Processes: A Logical View.	ICATPN	2002	DBLP DOI BibTeX RDF
20	Young-ri Choi, Amit Garg, Siddhartha Rai, Jayadev Misra, Harrick M. Vin	Orchestrating Computations on the World-Wide Web.	Euro-Par	2002	DBLP DOI BibTeX RDF
20	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	A Tool-Supported Proof System for Multithreaded Java.	FMCO	2002	DBLP DOI BibTeX RDF
20	Vineet Sahula, C. P. Ravikumar, D. Nagchoudhuri	Improvement of ASIC Design Processes.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF
20	Oliver Diessel, George J. Milne	Compiling Process Algebraic Descriptions into Reconfigurable Logic.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
20	Kevin O'Gorman, Divyakant Agrawal, Amr El Abbadi	Posse: A Framework for Optimizing Incremental View Maintenance at Data Warehouse.	DaWaK	1999	DBLP DOI BibTeX RDF
20	Alex Orailoglu	Microarchitectural synthesis for rapid BIST testing.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
20	Vlad Ingar Wietrzyk, Venkat Ramaswamy	Real-Time Transaction Scheduling in Database Systems.	DEXA	1996	DBLP DOI BibTeX RDF	performance evaluation, Real-time database systems, transaction scheduling
20	Heinz W. Schmidt, Jian Chen	Reasoning about Concurrent Objects.	APSEC	1995	DBLP DOI BibTeX RDF	D.1.3 Concurrent Programming, D.1.5 Object-Oriented Programming, D.2.4 Program Verification, F.3.1 Reasoning about Programs, F.1.1 Models of Computation
20	Shelly S. Stubbs, Doris L. Carver	IPCC++: A C++ Extension for InterProcess Communication with Objects.	COMPSAC	1995	DBLP DOI BibTeX RDF	Parallel Programming, Distributed Processing, Object-Oriented Languages, Interprocess Communication
20	Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos, Kenneth C. Sevcik	Quantitative Evaluation of a Transaction Facility for a Knowledge Base Management System.	CIKM	1994	DBLP DOI BibTeX RDF
20	Jayant R. Haritsa, Michael J. Carey 0001, Miron Livny	On Being Optimistic about Real-Time Constraints.	PODS	1990	DBLP DOI BibTeX RDF
20	Ulrich Herrmann, Peter Dadam, Klaus Küspert, E. A. Roman, Gunter Schlageter	A Lock Technique for Disjoint and Non-Disjoint Complex Objects.	EDBT	1990	DBLP DOI BibTeX RDF
20	Thanasis Hadzilacos, Vassos Hadzilacos	Transaction Synchronisation in Object Bases.	PODS	1988	DBLP DOI BibTeX RDF
19	Shinji Tamura, Teruhisa Hochin, Hiroki Nomiya	Generation Method of Concurrency Control Program by Using Genetic Programming.	SNPD	2011	DBLP DOI BibTeX RDF	genetic programming, concurrency control, program generation
19	Xubo Fei, Shiyong Lu, Jia Zhang 0001	A Granular Concurrency Control for Collaborative Scientific Workflow Composition.	IEEE SCC	2011	DBLP DOI BibTeX RDF	collaborative scientific workflow, granular locking, concurrency control
19	Wu Peng, Pang Zilong	Research on the Improvement of the Concurrency Control Protocol for Real-Time Transactions.	MVHI	2010	DBLP DOI BibTeX RDF	Concurrency control, Deadline, Real-time transaction
19	Achraf Makni, Rafik Bouaziz	Performance Evaluation of an Optimistic Concurrency Control Algorithm for Temporal Databases.	DBKDA	2010	DBLP DOI BibTeX RDF	Performance Evaluation, Concurrency Control, Temporal Databases
19	Dasarath Weeratunge, Xiangyu Zhang 0001, Suresh Jagannathan	Analyzing multicore dumps to facilitate concurrency bug reproduction.	ASPLOS	2010	DBLP DOI BibTeX RDF	reproduction, multi-core, concurrency bugs, execution indexing
19	Charlie Brej	Wagging Logic: Implicit Parallelism Extraction Using Asynchronous Methodologies.	ACSD	2010	DBLP DOI BibTeX RDF	wagging, parallelism, concurrency, Asynchronous
19	Alexander Kozlenkov, David Jeffery, Adrian Paschke	State management and concurrency in event processing.	DEBS	2009	DBLP DOI BibTeX RDF	event and stream processing, functional approach, concurrency control, state management
19	Nalini Vasudevan, Stephen A. Edwards	Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore.	SAC	2009	DBLP DOI BibTeX RDF	SHIM, parallelism, compiler, concurrency, cell processor
19	Samy Abbes, Albert Benveniste	Concurrency, sigma-Algebras, and Probabilistic Fairness.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Probabilistic Petri nets, probabilistic event structures, probabilistic fairness, true-concurrency
19	Marisol García-Valls, Pablo Basanta-Val, Iria Estévez-Ayres	Concurrency Programming Models in Mobile Real-Time Platforms.	AINA Workshops	2009	DBLP DOI BibTeX RDF	mobile operating systems, real-time, Concurrency
19	Julian Gutierrez 0001, Julian C. Bradfield	Model-Checking Games for Fixpoint Logics with Partial Order Models.	CONCUR	2009	DBLP DOI BibTeX RDF	Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics
19	Chris R. Jesshope, Jean-Marc Philippe, Michiel W. van Tol	An Architecture and Protocol for the Management of Resources in Ubiquitous and Heterogeneous Systems Based on the SVP Model of Concurrency.	SAMOS	2008	DBLP DOI BibTeX RDF	concurrency models, resource management, heterogeneous systems, ubiquitous systems, market models
19	Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi 0001	TAPAs: A Tool for the Analysis of Process Algebras.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	behavioural equivalences, concurrency, process algebras, modal logics, bisimulation, property verification
19	Yuan Zhang, Vugranam C. Sreedhar, Weirong Zhu, Vivek Sarkar, Guang R. Gao	Optimized lock assignment and allocation: a method for exploiting concurrency among critical sections.	PPoPP	2007	DBLP DOI BibTeX RDF	isolation semantics, concurrency, synchronization, locks, critical sections
19	Ibrahim Jaluta, Seppo Sippu, Eljas Soisalon-Soininen	Concurrency control and recovery for balanced B-link trees.	VLDB J.	2005	DBLP DOI BibTeX RDF	B-link tree, Tree-structure modifications, Concurrency control, Transaction, Recovery
19	Mordechai Ben-Ari	A suite of tools for teaching concurrency.	ITiCSE	2004	DBLP DOI BibTeX RDF	byzantine generals, model checking, SPIN, concurrency simulators
19	Marta Pietkiewicz-Koutny	Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.	ACSD	2001	DBLP DOI BibTeX RDF	causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis, theory of regions
19	Mordechai Ben-Ari, Yifat Ben-David Kolikant	Thinking parallel: the process of learning concurrency.	ITiCSE	1999	DBLP DOI BibTeX RDF	concurrency, distributed programming, mental models
19	Alexander Thomasian	Distributed Optimistic Concurrency Control Methods for High-Performance Transaction Processing.	IEEE Trans. Knowl. Data Eng.	1998	DBLP DOI BibTeX RDF	access invariance, system performance modeling, transaction processing, Distributed database systems, optimistic concurrency control, commit protocols
19	Jean-Pierre Briot, Rachid Guerraoui, Klaus-Peter Löhr	Concurrency and Distribution in Object-Oriented Programming.	ACM Comput. Surv.	1998	DBLP DOI BibTeX RDF	concurrency, integration, distribution, message passing, reflection, object, libraries
19	Benjamin M. Brosgol	A Comparison of the Concurrency Features of Ada 95 and Java.	SIGAda	1998	DBLP DOI BibTeX RDF	Java, Java, Ada, Ada, concurrency, object-oriented programming, threads, tasking, inheritance anomaly
19	Radu Negulescu	Event-Driven Verification of Switch-Level Correctness Concerns.	ACSD	1998	DBLP DOI BibTeX RDF	switch-level, Verification, concurrency, safety, deadlock, asynchronous, event-driven, speed-independence, process spaces
19	Ming-Syan Chen, Philip S. Yu	Optimal Design of Multiple Hash Tables for Concurrency Control.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	hash algorithms, multiple hash tables, Concurrency control, lock contentions
19	Lisa Cingiser DiPippo, Victor Fay Wolfe	Object-Based Semantic Real-Time Concurrency Control with Bounded Imprecision.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	Bounded imprecision, real-time object-oriented databases, semantic concurrency control
19	Daniel E. Cooke	Abstraction, concurrency, and communal computing in SequenceL.	COMPSAC	1997	DBLP DOI BibTeX RDF	SequenceL, declarative constructs, nonscalar processing, problem solver, metastructure, data products, data structures, concurrency, abstraction, computer language, language constructs, communal computing
19	David J. Roberts 0001, Paul M. Sharkey	Maximising Concurrency and Scalability in a Consistent, Causal, Distributed Virtual Reality System Whilst Minimising the Effect of Network Delays.	WETICE	1997	DBLP DOI BibTeX RDF	distributed virtual reality system, simulation systems, scalable causal event delivery, update control, scalable reliable communication, wall clock, causal time-related entity behaviour, virtual reality, scalability, concurrency, standards, HLA, network delays, DIS, multi-user systems
19	Suh-Yin Lee, Ruey-Long Liou	A Multi-Granularity Locking Model for Concurrency Control in Object-Oriented Database Systems.	IEEE Trans. Knowl. Data Eng.	1996	DBLP DOI BibTeX RDF	locking model, locking granularity, compatibility matrix, concurrency control, Object-oriented database
19	Matthias Ressel, Doris Nitsche-Ruhland, Rul Gunzenhäuser	An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors.	CSCW	1996	DBLP DOI BibTeX RDF	groupware, concurrency control, interaction model, operation transformation, group editors, group undo
19	Jonathan P. Munson, Prasun Dewan	A Concurrency Control Framework for Collaborative Systems.	CSCW	1996	DBLP DOI BibTeX RDF	consistency criteria, concurrency control, transactions, coupling, merging, collaborative systems
19	Alexander Thomasian	Checkpointing for Optimistic Concurrency Control Methods.	IEEE Trans. Knowl. Data Eng.	1995	DBLP DOI BibTeX RDF	volatile savepoints, optimal savepoint placement, semi-Markov chains, performance analysis, checkpointing, Transaction processing, analytic modeling, queueing network models, optimistic concurrency control, data contention, flow diagrams
19	Henry F. Korth, Gregory D. Speegle	Formal Aspects of Concurrency Control in Long-Duration Transaction Systems Using the NT/PV Model.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	transaction processing, semantic information, concurrency control protocol
19	Crispin Cowan, Hanan Lutfiyya, Michael A. Bauer 0001	Increasing Concurrency Through Optimism: A Reason for HOPE.	ACM Conference on Computer Science	1994	DBLP DOI BibTeX RDF	optimism, parallelism, concurrency, distributed computing, rollback
19	Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs	Data-Flow Synchronous Languages.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	synchrony vs. asynchrony, real-time, concurrency, data-flow, reactive
19	Jos C. M. Baeten, Jan A. Bergstra	Non Interleaving Process Algebra.	CONCUR	1993	DBLP DOI BibTeX RDF	non-interleaving, Petri net, interleaving, true concurrency, ACP, & Phrases process algebra
19	Rob Gerth, Ruurd Kuiper 0001, John Segers	Interface Refinement in Reactive Systems (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF	interface change, leads to property, ?-automata, concurrency, temporal logic, refinement, transition systems
19	Nicolien J. Drost	Algebraic Formulations of Trace Theory.	CONCUR	1991	DBLP DOI BibTeX RDF	trace models, infinite processes, verification, concurrency, process algebra, alternating bit protocol, complete axiomatization
19	Gruia-Catalin Roman, H. Conrad Cunningham	Mixed Programming Mataphors in a Shared Dataspace Model of Concurrency.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mixed programming metaphors, simple language, shared dataspace approach, rule-based computations, asynchronous processing modes, highly dynamic program, synchrony relation, partially synchronous computations, programming notation, programming strategies, example programs, shared dataspace model, formal operational model, parallel programming, data structure, data structures, concurrency, message-passing, parallel languages, Swarm, programming paradigms, concurrent computation, shared-variable, programming construct, unified model
19	Piotr W. Prószynski	The Core Concurrency.	ICCI	1990	DBLP DOI BibTeX RDF	Nonsequential systems, COSY, Concurrency, nets
19	Lui Sha, John P. Lehoczky, E. Douglas Jensen	Modular Concurrency Control and Failure Recovery.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	modular concurrency control, database decomposition, transaction decomposition, generalized serialisability theory, correct execution of transactions, failure safety, fault tolerance, fault tolerant computing, distributed databases, consistency, database theory, modules, system recovery, failure recovery
19	Sudhir Aggarwal, Daniel Barbará, Kalman Z. Meth	A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	SPANNER software environment, selection/resolution model, cluster variables, simulation, parallel programming, concurrency, distributed computing, specification, coordination, distributed processing, programming environments, concurrent programming, reachability analysis, software environment, dining philosophers, finite-state machine model
19	Mogens Nielsen, Uffe Engberg, Kim S. Larsen	Fully abstract models for a process language with refinement.	REX Workshop	1988	DBLP DOI BibTeX RDF	change of atomicity, noninterleaved models, labelled partial orders, semiwords, concurrency, full abstraction
19	Glynn Winskel	An introduction to event structures.	REX Workshop	1988	DBLP DOI BibTeX RDF	higher types, Petri nets, parallel computation, semantics, concurrency, traces, lambda calculus, nondeterminism, communicating processes, Event structures
19	M. W. Shields	Behavioural Presentations.	REX Workshop	1988	DBLP DOI BibTeX RDF	behavioural presentations, asynchronous automata, Parallelism, concurrency, transition systems, event structures
19	Robert H. Thomas	A Majority Consensus Approach to Concurrency Control for Multiple Copy Databases.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	update synchronization, distributed computation, distributed databases, concurrency control, computer networks, multiprocess systems, distributed control, clock synchronization
19	Dennis Giffhorn, Christian Hammer 0001	Precise slicing of concurrent programs.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Concurrency, Program analysis, Threads, Slicing
19	Carlo Combi, Mauro Gambini	Flaws in the Flow: The Weakness of Unstructured Business Process Modeling Languages Dealing with Data.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF	unstructured business process modeling languages, concurrency, modularity, refactoring, process-aware information systems
19	Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro	Modeling Concurrent Systems with Shared Resources.	FMICS	2009	DBLP DOI BibTeX RDF	Verification, Concurrency, Validation, Shared resource
19	Avinash Malik, Zoran A. Salcic, Alain Girault, Adam Walker, Sung Chul Lee	A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution.	JTRES	2009	DBLP DOI BibTeX RDF	synchronous and asynchronous concurrency, multiprocessor, GALS, reactivity
19	Jeang-Kuo Chen, Kuan-Chang Lu	Concurrent Operations for Accessing an XML Document in a Multi-user Environment.	ICA3PP	2009	DBLP DOI BibTeX RDF	Lock-coupling, Bread-first Search, XML, Concurrency Control, Locking
19	Jie Yu 0016, Satish Narayanasamy	A case for an interleaving constrained shared-memory multi-processor.	ISCA	2009	DBLP DOI BibTeX RDF	parallel programming, multiprocessors, software reliability, concurrency bugs
19	Paul Wu, Alan D. Fekete, Uwe Röhm	The Efficacy of Commutativity-Based Semantic Locking in a Real-World Application.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Persistent Object Systems, Concurrency Control, Object-oriented Databases, Transaction Processing
19	Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani	Inferring locks for atomic sections.	PLDI	2008	DBLP DOI BibTeX RDF	atomic sections, static lock inference, concurrency
19	Damien Imbs, Michel Raynal	A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness.	OPODIS	2008	DBLP DOI BibTeX RDF	Commit/abort, Concurrency control, Transaction, Lock, Software transactional memory, Shared object, Progressiveness, Opacity, Atomic operation, Consistent global state
19	Amitabha Roy 0002, Keir Fraser, Steven Hand 0001	A transactional approach to lock scalability.	SPAA	2008	DBLP DOI BibTeX RDF	concurrency, fairness, transactional memory, locks
19	Stefan Plantikow, Alexander Reinefeld, Florian Schintke	Transactions for Distributed Wikis on Structured Overlays.	DSOM	2007	DBLP DOI BibTeX RDF	concurrency control, consistency, content management systems, Distributed transactions, structured overlay networks
19	Colin Blundell, Joe Devietti, E. Christopher Lewis, Milo M. K. Martin	Making the fast case common and the uncommon case simple in unbounded transactional memory.	ISCA	2007	DBLP DOI BibTeX RDF	parallel programming, concurrency, transactions, transactional memory
19	Craig B. Zilles, Ravi Rajwar	Transactional memory and the birthday paradox.	SPAA	2007	DBLP DOI BibTeX RDF	birthdays, concurrency, transactional memory
19	Shan Lu 0001, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou 0001	AVIO: detecting atomicity violations via access interleaving invariants.	ASPLOS	2006	DBLP DOI BibTeX RDF	concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation
19	Xin Li 0020, Marian Boldt, Reinhard von Hanxleden	Mapping esterel onto a multi-threaded embedded processor.	ASPLOS	2006	DBLP DOI BibTeX RDF	low-power processing, concurrency, reactive systems, multi-threading, esterel