Search results for "concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Claus Brabrand	Constructive Alignment for Teaching Model-Based Design for Concurrency.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF	student learning, constructive alignment, the SOLO taxonomy, model-based design for concurrency, teaching
5	Jan Lindström	Extensions to optimistic concurrency control with time intervals.	RTCSA	2000	DBLP DOI BibTeX RDF	optimistic approach, RTDBS, restart overhead, unnecessary restart problem, OCC-TI, Optimistic Concurrency Control with Time Intervals, basic dynamic adjustment, serialization order conflict resolution method, real-time systems, protocols, concurrency control, optimisation, transaction processing, real time database systems, real time database system, optimistic concurrency control, time intervals, locking protocols
5	P. Krishna Reddy, Masaru Kitsuregawa	Speculation Based Nested Locking Protocol to Increase the Concurrency of Nested Transactions. (PDF / PS)	IDEAS	2000	DBLP DOI BibTeX RDF	speculation based nested locking protocol, inter-transaction concurrency, nested locking protocol, SNL protocol, sub-transaction, after-image, multiple executions, main memory resources, concurrency control, speculative executions, nested transactions, data object, concurrency control protocol
5	Kam-yiu Lam, Tei-Wei Kuo, Wai-Hung Tsang	Concurrency control for real-time database systems with mixed transactions.	RTCSA	1997	DBLP DOI BibTeX RDF	mixed transactions, data conflicts, optimistic concurrency control with broadcast commit, OCC-BC, hard real-time transactions, schedulability, concurrency control, concurrency control, real-time database systems
5	Kam-yiu Lam, Victor C. S. Lee, Sheung-lun Hung, Ben Kao	Impact of priority assignment on optimistic concurrency control in distributed real-time databases.	RTCSA	1996	DBLP DOI BibTeX RDF	distributed real-time databases, real-time concurrency control protocols, CPU scheduling algorithm, priority assignment heuristics, performance, concurrency control, earliest deadline first, optimistic concurrency control, priority assignment, data contention, deadline constraint
5	Paul J. Fortier, John C. Sieg Jr.	Simulation analysis of early commit concurrency control protocols.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	simulation analysis, early commit concurrency control protocols, concurrency control enforcement, atomic data sets, transaction writer, conventional locking, recovery protocols, merged-commit, databases, protocols, virtual machines, concurrency control, database management systems, transaction processing, database design, system recovery, simulation model, replay, optimistic protocols, protocols performance, timestamp ordering
5	Shigekazu Inohara, Yoji Shigehata, Keitaro Uehara, Hajime Miyazawa, Kouhei Yamamoto, Takashi Masuda	Page-based optimistic concurrency control for memory-mapped persistent object systems.	HICSS	1995	DBLP DOI BibTeX RDF	page server, page-grain environment, optimistic schemes, distributed cooperative applications, distributed computers, groupware, distributed processing, distributed databases, concurrency control, concurrency control, object-oriented databases, cooperative work, two-phase locking, optimistic concurrency control, read-only transactions, memory-mapped, paged storage, timestamp ordering, persistent data structures
5	Philip S. Yu, Daniel M. Dias	Performance Analysis of Concurrency Control Using Locking with Deferred Blocking.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	deferred blocking, high data contention environment, switching point, simulation, performance evaluation, performance analysis, distributed databases, concurrency control, concurrency control, transaction processing, locking, blocking probability, optimistic concurrency control, resource contention, transaction processing systems
5	Mogens Nielsen, Vladimiro Sassone, Glynn Winskel	Relationships Between Models of Concurrency.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	Models for Concurrency, Semantics, Concurrency, Categories
5	Philip S. Yu, Daniel M. Dias	Analysis of Hybrid Concurrency Control Schemes For a High Data Contention Environment.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	hybrid concurrency control schemes, hybrid CC, CC scheme, rerun transactions, dynamic locking, dynamic hybrid OCC, broadcast OCC, high data contention environment, decomposition approach, mean-value-type analysis, concurrency control, optimisation, transaction processing, analytic models, database theory, hybrid approach, optimistic concurrency control
5	Daniel M. Dias, Balakrishna R. Iyer, John T. Robinson, Philip S. Yu	Integrated Concurrency-Coherency Controls for Multisystem Data Sharing.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	read-write synchronisation, multisystem data sharing, data sharing system structure, shared intermediate memory, early commit processing, write-serialization, integrated concurrency protocol, integrated concurrency-coherency control protocol, performance evaluation, performance analysis, protocols, distributed databases, concurrency control, queueing theory, buffering, buffer storage, queueing model
5	Ugur Halici, Asuman Dogac	Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	concurrent transaction execution, distributed database management systems, ordering by serialization numbers, OSN method, certifier model, time-interval techniques, short-term locks, standard transaction execution policy, log classification, concurrency, distributed databases, distributed databases, concurrency control, concurrency control, deadlocks, serializability, complexity analysis, two-phase locking, distributed scheduler, timestamp ordering
5	Nicolien J. Drost, Jan van Leeuwen	Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases.	Concurrency	1988	DBLP DOI BibTeX RDF	update synchronization, assertional proof, system-wide invariant, distributed databases, concurrency control, data replication, timestamps
4	Christian Eisentraut, Holger Hermanns	Teaching Concurrency Concepts to Freshmen.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF
4	Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel	Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
4	Roberto Gorrieri	Ugo Montanari and Concurrency Theory.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
4	D. Janaki Ram, M. A. Maluk Mohamed, V. R. Devanathan	A Framework for Concurrency Control in Real-Time Distributed Collaboration for Mobile Systems.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF	Real-time distributed collaboration, data-centric concurrency control, EOMP, optimistic concurrency control
4	William W. LaRue, Sherry Solden, Bishnupriya Bhattacharya	Functional and Performance Modeling of Concurrency in VCC.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
4	Heejun Han, Seog Park, Chanjung Park	A concurrency control protocol for read-only transactions in real-time secure database systems.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time secure database systems, data conflict resolution, ROT-FREEZE, freezing method, legacy protocols, serializability guarantee, performance evaluations, real-time systems, query processing, concurrency control, database management systems, queries, transaction processing, security of data, software performance evaluation, deadline, access protocols, security requirements, transaction scheduling, read-only transactions, real-time requirements, concurrency control protocol, update transactions
4	Alexander Münnich	PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems.	RTCSA	2000	DBLP DOI BibTeX RDF	PRED-DF semantic concurrency control protocol, predeclaration, real-time main-memory database systems, locking-based protocol, serializable schedule generation, blocking time minimization, predictable behaviour, real-time requirements verification, scheduling, real-time systems, predictability, concurrency control, database management systems, task scheduling, data flow analysis, data flow analysis, deadlines, access protocols, safety-critical software, hard real-time systems, safety-critical applications, verification methods
4	Jan Lindström, Kimmo E. E. Raatikainen	Using importance of transactions and optimistic concurrency control in firm real-time databases.	RTCSA	2000	DBLP DOI BibTeX RDF	optimistic concurrency control protocol, transaction importance, hard real-time databases, database consistency requirements, heterogeneous transactions, OCC-PDATI, serialization order dynamic adjustment, prototype database system, performance, real-time systems, concurrency control, timing, database management systems, transaction processing, timing constraints, conflict resolution, access protocols
4	SangKeun Lee, Chong-Sun Hwang, Won-Gyu Lee	A unified approach to global concurrency control and global deadlocks in a multidatabase environment. (PDF / PS)	ICPADS	1997	DBLP DOI BibTeX RDF	unified approach, global concurrency control, global deadlocks, multidatabase environment, multidatabase transaction management, rigid conflict serializability, global serializability, concurrency control, interleavings, sufficient condition, database operations
4	Jim McGovern, Emarson Victoria	Concurrency control requirements for the collaborative development of decision models. (PDF / PS)	WETICE	1996	DBLP DOI BibTeX RDF	concurrency control requirements, collaborative decision making environment, collaborative decision model development, real-time distributed WYSIWIS processing, common decision model, replicated architecture, optimistic concurrency control method, dynamic group membership support, private work support, real-time distributed group-work, groupware, decision analysis, multiple users
4	Chih Lai, H. Rebecca Callison	A framework for simulation of concurrency control policy in real-time systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	concurrency control policy, formal policies, logical correctness, concurrently executing processes, real-time environments, performance, real-time systems, real-time systems, resource allocation, virtual machines, distributed processing, concurrency control, transaction processing, correctness, scheduling policy, overload management, transaction processing systems
4	Ching-Shan Peng, Kwei-Jay Lin	A semantic-based concurrency control protocol for real-time transactions. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	semantic-based concurrency control protocol, logical data integrity, temporal data integrity, real-world events, sensor devices, consistent device readings, transaction serializability, transaction responsiveness, method compatibility matrix, consistency requirements, simulation, performance, real-time systems, predictability, data integrity, concurrency control, transaction processing, temporal databases, software performance evaluation, process control, access protocols, timeliness, real-time database systems, avionics, real-time transactions
4	Colin Allison, Mike Livesey	Persistent SR: Adding persistence to concurrency.	HICSS	1995	DBLP DOI BibTeX RDF	persistent programming languages, concurrency, prototyping, concurrency control, distribution, object-oriented languages, persistence, parallel languages, SR, distribution models
4	Iwen E. Kang, Thomas F. Keefe	Concurrency control for federated multilevel secure database systems.	CSFW	1995	DBLP DOI BibTeX RDF	MLS database systems, federated MLS database, local database systems, global serializability, security, interoperation, distributed databases, concurrency control, concurrency control, transaction processing, transaction processing, open systems, security of data, federated, multilevel secure database systems
4	Jay K. Adams, Donald E. Thomas	Multiple-process behavioral synthesis for mixed hardware-software systems.	ISSS	1995	DBLP DOI BibTeX RDF	automated iterative improvement technique, concurrency optimization, concurrency tradeoffs, cost/performance ratio, hardware-software tradeoffs, mixed hardware-software systems, multiple-process behavioral synthesis, software engineering, resource allocation, concurrency control, controllers, optimisation, high level synthesis, logic design, multiprocessing systems, microprocessors, ASICs, application specific integrated circuits, ASIC, microprocessor chips, cost-benefit analysis
4	Peter A. Franaszek, Jayant R. Haritsa, John T. Robinson, Alexander Thomasian	Distributed Concurrency Control Based on Limited Wait-Depth.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	Wait-DepthLimited, Wound-Wait CC, distributed 2PL, limited wait-depth, distributedalgorithms, performance evaluation, performance evaluation, distributed algorithms, distributed databases, distributed databases, concurrency control, concurrency control, distributed, transaction processing, transaction processing, deadlocks, database theory, two-phase locking
4	Bruno Ciciani, Daniel M. Dias, Philip S. Yu	Analysis of Concurrency-Coherency Control Protocols for Distributed Transaction Processing Systems with Regional Locality.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	concurrency-coherency control protocols, distributed transaction processing systems, fully replicated databases, duplicate copies, approximate analytic model, performance evaluation, performance, databases, protocols, delay, distributed processing, distributed databases, concurrency control, transaction processing
4	Richard N. Taylor, David L. Levine, Cheryl D. Kelly	Structural Testing of Concurrent Programs.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	structural testing techniques, structural testing criteria, concurrency state coverage, state transition coverage, synchronization coverage, static concurrency analyzer, program transformation system, powerful run-time monitor, controllable run-time scheduler, CSP-like languages, static naming, tasking objects, scheduling, parallel programming, Ada, concurrency control, software metrics, program testing, concurrent programs, support tools, sequential programs
4	K. Vidyasankar	A Non-Two Phase Locking Protocol for Global Concurrency Control in Distributed Heterogeneous Database Systems.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	non-two-phase locking protocol, global concurrency control, distributed heterogeneous database systems, global transactions, database sites, rooted tree fashion, global transaction manager, GTM, g-local transactions, concurrency control mechanism, local transactions, g-local transactions, protocols, distributed databases, concurrency control, transaction processing, system recovery, serializability, deadlock freedom, general architecture
4	George M. Reed, A. W. Roscoe	Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
4	Michal Young, Richard N. Taylor	Combining Static Concurrency Analysis with Symbolic Execution.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	static concurrency analysis, synchronization patterns, path selection mechanism, concurrency analysis, parallel programming, program analysis, program testing, program testing, concurrent programs, symbolic execution, software development environment
4	Doron Drusinsky, David Harel	On the Power of Cooperative Concurrency.	Concurrency	1988	DBLP DOI BibTeX RDF
4	Christian Lengauer, Chua-Huang Huang	The Static Derivation of Concurrency and its Mechanzed Certification.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
4	Stephen D. Brookes	On the Axiomatic Treatment of Concurrency.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
3	Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan	Analyzing concurrency bugs using dual slicing.	ISSTA	2010	DBLP DOI BibTeX RDF	dual slicing, concurrency bugs, execution indexing
3	Wei Zhang 0022, Chong Sun, Shan Lu	ConMem: detecting severe concurrency bugs through an effect-oriented approach.	ASPLOS	2010	DBLP DOI BibTeX RDF	software testing, concurrency bugs
3	Evan P. C. Jones, Daniel J. Abadi, Samuel Madden	Low overhead concurrency control for partitioned main memory databases.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	distributed databases, concurrency control
3	Bo Zhang, Binoy Ravindran	Brief announcement: on enhancing concurrency in distributed transactional memory.	PODC	2010	DBLP DOI BibTeX RDF	concurrency, transactional memory
3	Frank S. de Boer	Reasoning about Recursive Processes in Shared-Variable Concurrency.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
3	Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh	Introducing concurrency in CS 1.	SIGCSE	2010	DBLP DOI BibTeX RDF	objectdraw, java, concurrency, cs 1
3	Brian Demsky, Patrick Lam	Views: object-inspired concurrency control.	ICSE	2010	DBLP DOI BibTeX RDF	concurrency, language design, static verification
3	K. Eric Harper, Jiang Zheng 0001, Shakeel Mahate	Experiences in initiating concurrency software research efforts.	ICSE	2010	DBLP DOI BibTeX RDF	parallelism, concurrency, multi-core
3	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
3	Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi	GAMBIT: effective unit testing for concurrency libraries.	PPOPP	2010	DBLP DOI BibTeX RDF	preemption bound, model checking, concurrency, software testing, multithreading, partial-order reduction
3	Nathar Shah	Aspectising Concurrency for the RTSJ.	ICDCN	2009	DBLP DOI BibTeX RDF	Concurrency, Object-Orientation, Aspect-Orientation
3	Lillian N. Cassel, Richard J. LeBlanc, Andrew D. McGettrick, Michael Wrinn	Concurrency and parallelism in the computing ontology.	ITiCSE	2009	DBLP DOI BibTeX RDF	ontology, parallel, concurrency, curriculum
3	Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni	Some resources for teaching concurrency.	PADTAD	2009	DBLP DOI BibTeX RDF	education, concurrency, MPI, computer science education, multi-core, memory models, pthreads, dynamic verification
3	Hoang Chi Thanh	Semi-traces and Their Application in Concurrency Control Problem.	ICCCI	2009	DBLP DOI BibTeX RDF	local independence, distributed system, concurrency control, trace
3	Pavel Parizek, Tomas Kalibera	Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.	FMICS	2009	DBLP DOI BibTeX RDF	restrictions of concurrency, model checking, embedded systems, Java programs, state explosion
3	Guy L. Steele Jr., Vijay A. Saraswat	Curricula for concurrency and parallelism.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	parallelism, concurrency, multicore, curricula
3	Sven Stork, Paulo Marques, Jonathan Aldrich	Concurrency by default: using permissions to express dataflow in stateful programs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	access permissions, concurrency, programming language, dataflow
3	Michael Factor, Assaf Schuster, Konstantin Shagin, Tal Zamir	Optimistic concurrency for clusters via speculative locking.	SYSTOR	2009	DBLP DOI BibTeX RDF	distributed computing, optimistic concurrency control
3	Shane Markstrum, Robert M. Fuhrer, Todd D. Millstein	Towards concurrency refactoring for x10.	PPOPP	2009	DBLP DOI BibTeX RDF	concurrency, refactoring, x10, partitioned global address space
3	Ralph Mietzner, Dimka Karastoyanova, Frank Leymann	Business Grid: Combining Web Services and the Grid.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF
3	Emery D. Berger, Ting Yang, Tongping Liu, Gene Novark	Grace: safe multithreaded programming for C/C++.	OOPSLA	2009	DBLP DOI BibTeX RDF	deterministic concurrency, sequential semantics, concurrency, determinism, fork-join
3	Shaz Qadeer	Taming Concurrency: A Program Verification Perspective.	CONCUR	2008	DBLP DOI BibTeX RDF
3	Nima Sharifimehr, Samira Sadaoui	An Extended Concurrency Control Service for CORBA.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Concurrency Control Service, Distributed Systems, CORBA
3	Madan Musuvathi	Systematic concurrency testing using CHESS.	PADTAD	2008	DBLP DOI BibTeX RDF	testing, concurrency, race conditions
3	Luis Ceze, Christoph von Praun, Calin Cascaval, Pablo Montesinos, Josep Torrellas	Concurrency control with data coloring.	MSPC	2008	DBLP DOI BibTeX RDF	data coloring, concurrency control, programming model
3	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
3	Djamel Berrabah, Stéphane Gançarski, Sarah Kaddour Chikh, Cécile Le Pape	Optimistic path-based concurrency control over XML documents.	CSTST	2008	DBLP DOI BibTeX RDF	XML, transactions, XPath, optimistic concurrency control
3	Christopher Dragert, Jürgen Dingel, Karen Rudie	Generation of concurrency control code using discrete-event systems theory.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	concurrency, model-driven development, control theory, discrete-event systems, automatic code generation
3	Tuukka K. Haapasalo, Ibrahim Jaluta, Seppo Sippu, Eljas Soisalon-Soininen	Concurrency control and recovery for multiversion database structures.	PIKM	2008	DBLP DOI BibTeX RDF	versioned data, concurrency, transactions, recovery, physical design, access methods
3	Christoph von Praun, Rajesh Bordawekar, Calin Cascaval	Modeling optimistic concurrency using quantitative dependence analysis.	PPOPP	2008	DBLP DOI BibTeX RDF	available parallelism, dependence density, transactional memory, dependence analysis, program parallelization, optimistic concurrency, implicit parallelism
3	Mohammad Ansari, Christos Kotselidis, Kim Jarvis, Mikel Luján, Chris C. Kirkham, Ian Watson	Experiences using adaptive concurrency in transactional memory with Lee's routing algorithm.	PPOPP	2008	DBLP DOI BibTeX RDF	DSTM2, adaptive concurrency, transactional memory
3	Lars Michael Kristensen, Kurt Jensen	Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF
3	Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi	TAPAs: A Tool for the Analysis of Process Algebras.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF	behavioural equivalences, concurrency, process algebras, modal logics, bisimulation, property verification
3	Roberto Bruni, Vladimiro Sassone	Models of Computation: A Tribute to Ugo Montanari's Vision.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
3	Jos C. M. Baeten	Calculating with Automata.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
3	Robin Milner	Categories, Software and Meaning.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
3	Fabio Gadducci	Ugo Montanari and Friends.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
3	Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla	An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
3	Gian Luigi Ferrari	Ugo Montanari and Software Verification.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
3	Eike Best	A Note on Persistent Petri Nets.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
3	Peng Liu, Jie Li, Sushil Jajodia, Paul Ammann	Can-Follow Concurrency Control.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	can follow, concurrency control, transaction processing
3	Steve Vinoski	Concurrency with Erlang.	IEEE Internet Computing	2007	DBLP DOI BibTeX RDF	Toward Integration, middleware, concurrency, programming language, Erlang
3	Rachid Guerraoui	A Smooth Concurrency Revolution with Free Objects.	IEEE Internet Computing	2007	DBLP DOI BibTeX RDF	concurrency, object-oriented programming, programming model, application development
3	Yehuda Afek, Eli Gafni, Adam Morrison	Common2 extended to stacks and unbounded concurrency.	Distributed Computing	2007	DBLP DOI BibTeX RDF	Common2, Unbounded concurrency, Immediate snapshot, Stacks, Wait-free
3	Sanjay Kumar Madria, Mohammed Baseer, Vijay Kumar, Sourav S. Bhowmick	A transaction model and multiversion concurrency control for mobile database systems.	Distributed and Parallel Databases	2007	DBLP DOI BibTeX RDF	Multiversions, Concurrency, Locking, Timestamps, Mobile transaction
3	Takeshi Mishima, Hiroshi Nakamura	A Proposal of New Dependable Database Middleware with Consistency and Concurrency Control.	PRDC	2007	DBLP DOI BibTeX RDF	black box method, concurrency, dependability, consistency, database server
3	Peng Li, Steve Zdancewic	Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives.	PLDI	2007	DBLP DOI BibTeX RDF	scalability, networking, concurrency, programming, implementation, haskell, event, thread, monad
3	Mordechai Ben-Ari	Teaching concurrency and nondeterminism with spin.	ITiCSE	2007	DBLP DOI BibTeX RDF	visualization, verification, concurrency, spin
3	Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou	MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs.	SOSP	2007	DBLP DOI BibTeX RDF	variable correlation, concurrency bug, bug detection
3	Kevin Klues, Vlado Handziski, Chenyang Lu, Adam Wolisz, David E. Culler, David Gay, Philip Levis	Integrating concurrency control and energy management in device drivers.	SOSP	2007	DBLP DOI BibTeX RDF	device driver architecture, concurrency, energy, tinyOS
3	Sérgio Soares, Paulo Borba	Towards reusable and modular aspect-oriented concurrency control.	SAC	2007	DBLP DOI BibTeX RDF	implementation approaches and techniques, framework, aspect-oriented programming, concurrency control, AspectJ, web information systems
3	Yarden Nir-Buchbinder, Shmuel Ur	ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools.	SOQUA	2007	DBLP DOI BibTeX RDF	Java, testing, concurrency, instrumentation, self-healing
3	Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach	Lightweight concurrency primitives for GHC.	Haskell	2007	DBLP DOI BibTeX RDF	concurrency, haskell, transactional memory, thread
3	Christie Marr	Capturing Conflict and Confusion in CSP.	IFM	2007	DBLP DOI BibTeX RDF	Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion
3	Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste	Concurrency in Synchronous Systems.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Globally asynchronous locally synchronous (GALS), Concurrency, Synchronous, Distribution, Desynchronization, Trace theory
3	Karun N. Biyani, Sandeep S. Kulkarni	Concurrency Tradeoffs in Dynamic Adaptation.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF	Verification, Complexity, Concurrency, Specification, Dynamic Adaptation
3	Arnim Wedig, Horst F. Wedde, Anca M. Lazarescu, Elisei Rotaru	Concurrency in Distributed Systems under Autonomous and Enforced Actions.	ACSD	2006	DBLP DOI BibTeX RDF
3	Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev	Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings.	ACSD	2006	DBLP DOI BibTeX RDF
3	M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas	A classification of concurrency bugs in java benchmarks by developer intent.	PADTAD	2006	DBLP DOI BibTeX RDF	concurrency errors, verification, refinement, atomicity, race condition
3	Christopher Nitta, Raju Pandey, Yann Ramin	Y-Threads: Supporting Concurrency in Wireless Sensor Networks.	DCOSS	2006	DBLP DOI BibTeX RDF	Stack sharing, Concurrency, Multi-threading
3	Carlos A. Cunha, João Luís Sobral, Miguel P. Monteiro	Reusable aspect-oriented implementations of concurrency patterns and mechanisms.	AOSD	2006	DBLP DOI BibTeX RDF	concurrency mechanisms and patterns, object-oriented concurrent programming, aspect-oriented programming
3	Navdeep Kaur, Rajwinder Singh, Manoj Misra, Anil Kumar Sarje	Fairness Strategy for Multilevel Secure Concurrency Control Protocol.	ICISS	2006	DBLP DOI BibTeX RDF	concurrency control, fairness, covert channel, Multilevel secure database systems
3	Yehuda Afek, Eli Gafni, Adam Morrison	Common2 extended to stacks and unbounded concurrency.	PODC	2006	DBLP DOI BibTeX RDF	common2, consensus number 2, immediate snapshot, unbounded concurrency, queue, stack, wait-free