Search results for "concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	Min Li 0029, Shuming Gao, Jerry Y. H. Fuh, Yunfeng Zhang	A Fine Granular Concurrency Control Mechanism for a Peer-to-Peer Cooperative Design Environment.	CSCWD	2007	DBLP DOI BibTeX RDF
31	Kamyar Izadi, Fatemeh Asadi, Mostafa S. Haghjoo	XPLC: A Novel Protocol for Concurrency Control in XML Databases.	AICCSA	2007	DBLP DOI BibTeX RDF
31	Matthew Curtis-Maury, Karan Singh, Sally A. McKee, Filip Blagojevic, Dimitrios S. Nikolopoulos, Bronis R. de Supinski, Martin Schulz 0001	Identifying energy-efficient concurrency levels using machine learning.	CLUSTER	2007	DBLP DOI BibTeX RDF
31	Xinping Zhu, Wei Qin, Sharad Malik	Modeling operation and microarchitecture concurrency for communication architectures with application to retargetable simulation.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
31	Leila Jalali, Ahmad Abdollahzadeh, Saeed Aliakbarian	DBMSS: An event-based simulator for analyzing concurrency protocols in database systems.	CCECE	2006	DBLP DOI BibTeX RDF
31	Navdeep Kaur, Rajwinder Singh, Manoj Misra, Anil Kumar Sarje	A Secure Concurrency Control for MLS/DDBSs.	ICDIM	2006	DBLP DOI BibTeX RDF
31	Shuqing Wu, Bettina Kemme	Postgres-R(SI): Combining Replica Control with Concurrency Control based on Snapshot Isolation.	ICDE	2005	DBLP DOI BibTeX RDF
31	Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp	Application of design for verification with concurrency controllers to air traffic control software.	ASE	2005	DBLP DOI BibTeX RDF	model checking, synchronization, design patterns, interfaces, concurrent programming
31	Anand Singh Jalal, Sanjay Tanwani, Ashwani Kumar Ramani	Optimistic Concurrency Control in Firm Real-Time Databases.	IWDC	2005	DBLP DOI BibTeX RDF
31	Aekyung Moon, Haengrae Cho	Global Concurrency Control Using Message Ordering of Group Communication in Multidatabase Systems.	ICCSA (3)	2004	DBLP DOI BibTeX RDF
31	Aysu Betin-Can, Tevfik Bultan	Verifiable Concurrent Programming Using Concurrency Controllers.	ASE	2004	DBLP DOI BibTeX RDF
31	Brad Long, Benjamin W. Long	Formal Specification of Java Concurrency to Assist Software Verification.	IPDPS	2003	DBLP DOI BibTeX RDF
31	Tuba Yavuz-Kahveci, Tevfik Bultan	Specification, verification, and synthesis of concurrency control components.	ISSTA	2002	DBLP DOI BibTeX RDF	infinite-state model checking, monitors, specification languages, concurrent programming
31	Byeong-Soo Jeong, Daeho Kim, Sungyoung Lee	Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version.	LCTES	2000	DBLP DOI BibTeX RDF
31	Alain Girault, Bilung Lee, Edward A. Lee	Hierarchical finite state machines with multiple concurrency models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
31	Malika Guerni, Jean Ferrié, Jean-François Pons	Concurrency and Recovery for Typed Objects using a New Commutativity Relation.	DOOD	1995	DBLP DOI BibTeX RDF
31	Vaughan R. Pratt	The Duality of TIme and Information.	CONCUR	1992	DBLP DOI BibTeX RDF
31	Maurice Herlihy	Concurrency and Availability as Dual Properties of Replicated Atomic Data	J. ACM	1990	DBLP DOI BibTeX RDF
31	James Canning, P. Muthuvelraj, John Sieg	An Adaptive Concurrency Control Algorithm (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
31	Catriel Beeri, Philip A. Bernstein, Nathan Goodman	A model for concurrency in nested transactions systems.	J. ACM	1989	DBLP DOI BibTeX RDF
31	Valmir Carneiro Barbosa, Eli Gafni	Concurrency in Heavily Loaded Neighborhood-Constrained Systems.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
31	William E. Weihl	Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
31	Abdel Aziz Farrag, M. Tamer Özsu	Using Semantic Knowledge of Transactions to Increase Concurrency.	ACM Trans. Database Syst.	1989	DBLP DOI BibTeX RDF
31	William E. Weihl	The Impact of Recovery on Concurrency Control.	PODS	1989	DBLP DOI BibTeX RDF
31	Manfred Jackel	ADA Concurrency Specified by Graph Grammars.	WG	1986	DBLP DOI BibTeX RDF
31	Rakesh Agrawal 0001, David J. DeWitt	Integrated Concurrency Control and Recovery Mechanisms: Design and Performance Evaluation.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF
30	Behnam Robatmili, Katherine E. Coons, Doug Burger, Kathryn S. McKinley	Strategies for mapping dataflow blocks to distributed hardware.	MICRO	2008	DBLP DOI BibTeX RDF
30	Pallavi Shurpali, Ravi Shankar 0001, Ellie Shuff	On Ensuring Safety and Liveness Properties of Concurrent Models in SystemC.	MSE	2005	DBLP DOI BibTeX RDF
30	Nagavamsi Ponnekanti	Pseudo Column Level Locking.	ICDE	2001	DBLP DOI BibTeX RDF
30	Enrico Pontelli	Concurrent Web-Programming in CLP(WEB).	HICSS	2000	DBLP DOI BibTeX RDF
30	Martin K. Purvis, Stephen Cranefield, Geoff Bush, Daniel Carter, Bryce McKinlay, Mariusz Nowostawski, Roy Ward	The NZDIS Project: An Agent-based Distributed Information Systems Architecture.	HICSS	2000	DBLP DOI BibTeX RDF
30	Xiaogang Zhang, John Potter	A Compositional Approach to Concurrent Objects.	TOOLS (27)	1998	DBLP DOI BibTeX RDF
30	Oscar Nierstrasz	Two models of concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
30	Chris Tomlinson, Won Kim 0001, Mark Scheevel, Vineet Singh, Becky Will, Gul Agha	Rosette: An object-oriented concurrent systems architecture.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
30	Maciej Koutny, Marta Pietkiewicz-Koutny	Synthesis of Elementary Net Systems with Context Arcs and Localities.	ICATPN	2007	DBLP DOI BibTeX RDF	theory of concurrency, net synthesis, step sequence semantics, inhibitor arcs, activator arcs, context arcs, Petri nets, localities, transition systems, structure and behaviour of nets, elementary net systems, theory of regions
30	Jan J. M. M. Rutten	Correctness and full abstraction of metric semantics for concurrency.	REX Workshop	1988	DBLP DOI BibTeX RDF	complete metric spaces, concurrency, contractions, correctness, operational semantics, compositionality, denotational semantics, full abstraction
29	Dasarath Weeratunge, Xiangyu Zhang 0001, William N. Sumner, Suresh Jagannathan	Analyzing concurrency bugs using dual slicing.	ISSTA	2010	DBLP DOI BibTeX RDF	dual slicing, concurrency bugs, execution indexing
29	Bo Zhang 0016, Binoy Ravindran	Brief announcement: on enhancing concurrency in distributed transactional memory.	PODC	2010	DBLP DOI BibTeX RDF	concurrency, transactional memory
29	Pierangelo di Sanzo, Roberto Palmieri, Bruno Ciciani, Francesco Quaglia, Paolo Romano 0002	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
29	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
29	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
29	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
29	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
29	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
29	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
29	Karun N. Biyani, Sandeep S. Kulkarni	Concurrency Tradeoffs in Dynamic Adaptation.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF	Verification, Complexity, Concurrency, Specification, Dynamic Adaptation
29	Christian L. Jacobsen, Matthew C. Jadud	Towards concrete concurrency: occam-pi on the LEGO mindstorms.	SIGCSE	2005	DBLP DOI BibTeX RDF	occam ?, parallelism, concurrency, CSP, fun, LEGO
29	Sungjun Lim, Haengrae Cho	Timestamp Based Concurrency Control in Broadcast Disks Environment.	AIS	2004	DBLP DOI BibTeX RDF	performance evaluation, Mobile computing, concurrency control, transaction processing, broadcast disk
29	Mihail F. Ionescu, Ivan Marsic	Tree-Based Concurrency Control in Distributed Groupware.	Comput. Support. Cooperative Work.	2003	DBLP DOI BibTeX RDF	distributed algorithms, groupware, concurrency control
29	Tei-Wei Kuo, Yuan-Ting Kao, Chin-Fu Kuo	Two-Version Based Concurrency Control and Recovery in Real-Time Client/Server Databases.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	client/server databases, write through procedure, concurrency control, recovery, logging, Real-time database, read-only transactions
29	P. Krishna Reddy, Subhash Bhalla	Asynchronous Operations in Distributed Concurrency Control.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	nonblocking protocols, distributed algorithms, distributed databases, Concurrency control, serializability, deadlock avoidance
29	Stefano Borgo	A Multi-agent Modal Language for Concurrency with Non-communicating Agents.	CEEMAS	2003	DBLP DOI BibTeX RDF	game-theoretic semantics, multi-agent systems, concurrency, Modal logic, independence
29	Manfred Droste, R. M. Shortt	From Petri Nets to Automata with Concurrency.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	automaton with concurrency relations, place/transition systems, conditional coproduct, coreflection, Petri net, adjunction
29	Alexander G. Dean	Compiling for Fine-Grain Concurrency: Planning and Performing Software Thread Integration.	Interaction between Compilers and Computer Architectures	2002	DBLP DOI BibTeX RDF	thread integration, Embedded system, real-time, compiler, concurrency, hardware to software migration
29	Sam Michiels, Lieven Desmet, Nico Janssens, Tom Mahieu, Pierre Verbaeten	DistriNet: Self-adapting concurrency: the DMonA architecture.	WOSS	2002	DBLP DOI BibTeX RDF	concurrency, self-adaptation, component architecture
29	Tei-Wei Kuo, Ming-Chung Liang, LihChyun Shu	Abort-Oriented Concurrency Control for Real-Time Databases.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	transaction aborting, concurrency control, Real-time databases, priority inversion
29	Chun Wong, Paul Marchal, Peng Yang	Task concurrency management methodology to schedule the MPEG4 IM1 player on a highly parallel processor platform.	CODES	2001	DBLP DOI BibTeX RDF	scheduling, embedded system, concurrency, MPEG-4, cost-efficiency
29	Tei-Wei Kuo, Aloysius K. Mok	Real-Time Data Semantics and Similarity-Based Concurrency Control.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	schedule correctness, Concurrency control, similarity, serializability, real-time database
29	Jayant R. Haritsa, S. Seshadri	Real-Time Index Concurrency Control.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	index concurrency control, B-link tree, B-tree, Real-time database
29	Dongman Lee, Jeonghwa Yang, Soon J. Hyun	Scalable predictive concurrency control for large distributed virtual environments with densely populated objects.	VRST	2000	DBLP DOI BibTeX RDF	Large scale distributed virtual environments, entity group, entity-centric multicast group, scalability, concurrency control, prediction scheme
29	W. Craig Scratchley, C. Murray Woodside	Evaluating Concurrency Options in Software Specifications.	MASCOTS	1999	DBLP DOI BibTeX RDF	Concurrency Architecture, Performance, Software Architecture, Scenarios, Software Design, Earliest-Deadline-First Scheduling
29	Jorge A. Baier, Javier Pinto	Integrating True Concurrency into the Robot Programming Language.	SCCC	1999	DBLP DOI BibTeX RDF	Golog, Congolog, TCongolog, Concurrency, Knowledge Representation
29	Garth Baulch, David Hemmendinger, Cherrice Traver	Analyzing and verifying locally clocked circuits with the concurrency workbench.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	locally clocked circuits, concurrency workbench, synchronous computational elements, concurrent system modelling, CCS process algebra, formal verification, timing, logic design, process algebra, logic CAD, asynchronous circuits, asynchronous circuits, circuit analysis computing, asynchronous communication
29	Gopi K. Attaluri, Jacob Slonim, Per-Åke Larson	Concurrency control with lock preemption and restoration.	CASCON	1995	DBLP BibTeX RDF	non-traditional database applications, concurrency control, locking, transaction management
29	Tirza Hirst, David Harel	On the Power of Bounded Concurrency II: Pushdown Automata.	J. ACM	1994	DBLP DOI BibTeX RDF	cooperative concurrency, pushdown automata, succinctness
29	Erhard Rahm	Empirical Performance Evaluation of Concurrency and Coherency Control Protocols for Database Sharing Systems.	ACM Trans. Database Syst.	1993	DBLP DOI BibTeX RDF	coherency control, database partitioning, database sharing, performance analysis, concurrency control, trace-driven simulation, shared nothing, shared disk
29	Michel Habib, Michel Morvan, Jean-Xavier Rampon	Remarks on Some Concurrency Measures.	WG	1990	DBLP DOI BibTeX RDF	disgraphs, computational complexity, parallelism, concurrency, distributed computations, partial orders, interval orders, antichains
29	Mostafa A. Bassiouni	Single-Site and Distributed Optimistic Protocols for Concurrency Control.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	single site protocols, single site networks, lock maintenance, deadlock handling, protocols, distributed databases, distributed databases, concurrency control, computer networks, database management system, system recovery, distributed networks, distributed protocols, time-stamps, performance enhancement, optimistic protocols, synchronization methods
29	Wolfgang Reisig	A strong part of concurrency.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF	interleaving sequences, concurrency, fairness, priority, conflict, confusion
29	H. T. Kung 0001, John T. Robinson	On Optimistic Methods for Concurrency Control.	ACM Trans. Database Syst.	1981	DBLP DOI BibTeX RDF	databases, concurrency controls, transaction processing
29	Philip A. Bernstein, David W. Shipman, James B. Rothnie Jr.	Concurrency Control in a System for Distributed Databases (SDD-1).	ACM Trans. Database Syst.	1980	DBLP DOI BibTeX RDF	synchronization, concurrency control, serializability, timestamps, distributed database system, conflict graph
29	Philip A. Bernstein, David W. Shipman	The Correctness of Concurrency Control Mechanisms in a System for Distributed Databases (SDD-1).	ACM Trans. Database Syst.	1980	DBLP DOI BibTeX RDF	correctness of concurrency control, serializability theory, distributed database system, conflict graph
29	Cheng-Ru Young, Ge-Ming Chiu	Efficient Dissemination of Transaction-Consistent Data in Broadcast Environments.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Broadcast environment, view consistency, concurrency control, transaction
29	Stephen A. Edwards, Olivier Tardieu	Efficient code generation from SHIM models.	LCTES	2006	DBLP DOI BibTeX RDF	computed gotos, the shim model, embedded systems, concurrency, code synthesis
29	Armin Lawi, Kentaro Oda, Takaichi Yoshida	Quorum Based Distributed Conflict Resolution Algorithm for Bounded Capacity Resources.	ISPA Workshops	2006	DBLP DOI BibTeX RDF	distributed conflict resolution, fault-tolerance, Concurrency, mutual exclusion, quorum systems, coteries
29	Alan D. Fekete	Allocating isolation levels to transactions.	PODS	2005	DBLP DOI BibTeX RDF	concurrency control, consistency, serializability, anomaly, two-phase locking, snapshot isolation
29	Chanjung Park, Seog Park, Sang Hyuk Son	Multiversion Locking Protocol with Freezing for Secure Real-Time Database Systems.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	multiversion concurrency control, multilevel security, transaction management, real-time database systems, Locking protocol
29	Elisa Bertino, Barbara Catania, Elena Ferrari	A nested transaction model for multilevel secure database management systems.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	multilevel secure database management systems, concurrency control, covert channels, Nested transactions
29	Hongjun Lu, Yuet Yeung Ng, Zengping Tian	T-Tree or B-Tree: Main Memory Database Index Structure Revisited.	Australasian Database Conference	2000	DBLP DOI BibTeX RDF	T-tree, concurrency control, B-tree, main memory database, indexing techniques
28	Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo (eds.)	Transactions on Petri Nets and Other Models of Concurrency XVII	Trans. Petri Nets and Other Models of Concurrency	2023	DBLP DOI BibTeX RDF
28	Maciej Koutny, Fabrice Kordon, Daniel Moldt (eds.)	Transactions on Petri Nets and Other Models of Concurrency XVI	Trans. Petri Nets and Other Models of Concurrency	2022	DBLP DOI BibTeX RDF
28	Maciej Koutny, Fabrice Kordon, Lucia Pomello (eds.)	Transactions on Petri Nets and Other Models of Concurrency XV	Trans. Petri Nets and Other Models of Concurrency	2021	DBLP DOI BibTeX RDF
28	Maciej Koutny, Lucia Pomello, Lars Michael Kristensen (eds.)	Transactions on Petri Nets and Other Models of Concurrency XIV	Trans. Petri Nets and Other Models of Concurrency	2019	DBLP DOI BibTeX RDF
28	Leslie Lamport	The mutual exclusion problem: part II - Statement and solutions.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28	Karolos Antoniadis, Rachid Guerraoui	The notions of time and global state in a distributed system.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28	Hagit Attiya, Jennifer L. Welch	Shared memory and the Bakery algorithm.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28	Christian Cachin	Byzantine faults.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28	Roy Levin	Biography.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28	Robbert van Renesse	State machine replication with benign failures.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28	Dahlia Malkhi, Idit Keidar	Introduction.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28	Leslie Lamport	How to make a multiprocessor computer that correctly executes multiprocess programs.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28	Stephan Merz	Formal specification and verification.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28		Preface.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28	Leslie Lamport	The part-time parliament.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28	Leslie Lamport	Time, clocks, and the ordering of events in a distributed system.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28	Leslie Lamport	The mutual exclusion problem: part I - A theory of interprocess communication.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28		References.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28	Leslie Lamport	A new solution of Dijkstra's concurrent programming problem.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28	Leslie Lamport, Robert E. Shostak, Marshall C. Pease	The Byzantine generals problem.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
28	Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek (eds.)	Transactions on Petri Nets and Other Models of Concurrency XIII	Trans. Petri Nets and Other Models of Concurrency	2018	DBLP DOI BibTeX RDF