Search results for "concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Zeeshan Sardar, Bettina Kemme	Don't be a Pessimist: Use Snapshot based Concurrency Control for XML.	ICDE	2006	DBLP DOI BibTeX RDF
26	Huibiao Zhu, Shengchao Qin, Jifeng He 0001, Jonathan P. Bowen	Integrating Probability with Time and Shared-Variable Concurrency.	SEW	2006	DBLP DOI BibTeX RDF
26	Justin Xu, Cheng-Chew Lim	Exploiting Concurrency in System-on-Chip Verification.	APCCAS	2006	DBLP DOI BibTeX RDF
26	Jörg Kienzle, Shane Sendall	Addressing concurrency in object-oriented software development.	CASCON	2006	DBLP DOI BibTeX RDF
26	Yuan Wang, Gang Chen 0001, Jinxiang Dong	MPX: A Multiversion Concurrency Control Protocol for XML Documents.	WAIM	2005	DBLP DOI BibTeX RDF
26	Sukhoon Kang, Yong-Rak Choi	A Covert Timing Channel-Free Optimistic Concurrency Control Scheme for Multilevel Secure Database Management Systems.	KES (3)	2005	DBLP DOI BibTeX RDF
26	Perdita Stevens	UML and Concurrency.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
26	Kuen-Fang Jack Jea, Shih-Ying Chen, Sheng-Hsien Wang	Concurrency Control in XML Document Databases: XPath Locking Protocol.	ICPADS	2002	DBLP DOI BibTeX RDF
26	Jong Sul Lee, Jae Ryong Shin, Jae Soo Yoo	An Efficient Distributed Concurrency Control Algorithm Using Two Phase Priority.	DEXA	2001	DBLP DOI BibTeX RDF
26	Damla Turgut, Nevin Aydin, Ramez Elmasri, Begumhan Turgut	Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments.	COMPSAC	2001	DBLP DOI BibTeX RDF
26	Angelo Brayner, Theo Härder	Global Semantic Serializability: An Approach to Increase Concurrency in Multidatabase Systems.	CoopIS	2001	DBLP DOI BibTeX RDF
26	Tei-Wei Kuo, Hsin-Chia Hsih	Concurrency control in a multiprocessor real-time database system.	ECRTS	2000	DBLP DOI BibTeX RDF
26	Stephen Zimmerbaum, Richard B. Scherl	Sensing Actions, Time, and Concurrency in the Situation Calculus.	ATAL	2000	DBLP DOI BibTeX RDF
26	Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Luciano Lavagno	Formal Models for Communication-Based Design.	CONCUR	2000	DBLP DOI BibTeX RDF
26	Ekkart Kindler	Serializability, Concurrency Control, and Replication Control.	FMLDO - Selected Papers	1999	DBLP DOI BibTeX RDF
26	Kyu-Woong Lee, Seog Park, Gil-Rok Oh	Concurrency Control for Global Transaction Management in MDBSs.	DEXA	1999	DBLP DOI BibTeX RDF
26	Woochun Jun	Providing High Concurrency in Object-Oriented Database Systems.	DANTE	1999	DBLP DOI BibTeX RDF
26	Ming Xiong, Krithi Ramamritham, Jayant R. Haritsa, John A. Stankovic	MIRROR: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
26	Lukito Edi Nugroho, A. S. M. Sajeev	Java4P: Java with High-Level Concurrency Constructs.	ISPAN	1999	DBLP DOI BibTeX RDF	Java, synchronisation, threads, Concurrent object-oriented programming, guards
26	Un-Jae Sung, Jae-Heon Yang, KwangYun Wohn	Concurrency Control in CIAO.	VR	1999	DBLP DOI BibTeX RDF
26	José Meseguer 0001, Carolyn L. Talcott	A Partial Order Event Model for Concurrent Objects.	CONCUR	1999	DBLP DOI BibTeX RDF
26	Kam-yiu Lam, Wai-cheong Yau, Victor C. S. Lee	Applying Similarity in Concurrency Control for Real-Time Database Application.	DEXA	1996	DBLP DOI BibTeX RDF
26	Niki Afshartous, Malcolm C. Harrison	Expressing concurrency in Griffin.	ICPADS	1996	DBLP DOI BibTeX RDF	Griffin, statically typed language, Ada software, Griffin language constructs, extended select statement, receiving thread, readers-writers problem, group lock mechanism, scheduling groups, high-level algorithms, parallel programming, Ada, rapid prototyping, synchronisation, program debugging, software prototyping, synchronous communication
26	Atul Adya, Robert Gruber, Barbara Liskov, Umesh Maheshwari	Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks.	SIGMOD Conference	1995	DBLP DOI BibTeX RDF
26	Manfred Droste, Dietrich Kuske	Languages and Logical Definability in Concurrency Monoids.	CSL	1995	DBLP DOI BibTeX RDF
26	Peter D. Mosses, Martin A. Musicante	An Action Semantics for ML Concurrency Primitives.	FME	1994	DBLP DOI BibTeX RDF
26	Manfred Droste	A KLeene Theorem for Recognizable Languages over Concurrency Monoids.	ICALP	1994	DBLP DOI BibTeX RDF
26	Dietrich Kuske	Nondeterministic Automata with Concurrency Relations and Domains.	CAAP	1994	DBLP DOI BibTeX RDF
26	Paris C. Kanellakis, Dimitrios Michailidis, Alexander A. Shvartsman	Efficient Parallelism vs Reliable Distribution: A Trade-off for Concurrent Computations.	CONCUR	1994	DBLP DOI BibTeX RDF
26	Bhavani Thuraisingham, Hai-Ping Ko	Concurrency Control in Trusted Database Management Systems: A Survey.	SIGMOD Rec.	1993	DBLP DOI BibTeX RDF
26	Le Gruenwald, Sichen Liu	A Performance Study of Concurrency Control in a Real-Time Main Memory Database System.	SIGMOD Rec.	1993	DBLP DOI BibTeX RDF
26	Felipe Bracho, Manfred Droste	From Domains to Automata with Concurrency.	ICALP	1993	DBLP DOI BibTeX RDF
26	Dexter P. Bradshaw	Composite multidatabase system concurrency control and recovery.	CASCON	1993	DBLP BibTeX RDF
26	Gopi K. Attaluri	Logical concurrency control for large objects in a multidatabase system.	CASCON	1993	DBLP BibTeX RDF
26	M. Stella Atkins, M. Y. Coady	Adaptable Concurrency Control for Atomic Data Types.	ACM Trans. Comput. Syst.	1992	DBLP DOI BibTeX RDF	concurrent access to shared data, hybrid locking, optimistic locking, pessimistic locking, transactions serializability
26	Özgür Ulusoy, Geneva G. Belford	Concurrency Control in Real-Time Database Systems.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
26	C. Mohan 0001, Frank E. Levine	ARIES/IM: An Efficient and High Concurrency Index Management Method Using Write-Ahead Logging.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
26	Ming-Ling Lo, Chinya V. Ravishankar	A concurrency control protocol for nested transactions.	CASCON	1992	DBLP BibTeX RDF
26	Elie Najm, Jean-Bernard Stefani	Object-Based Concurrency: A Process Calculus Analysis.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
26	Hans-Jürgen Plewan, Peter Schlenk	Creating and Controlling Concurrency in Object Oriented Systems - A Case Study.	CONPAR	1990	DBLP DOI BibTeX RDF
26	Jerry Place, Vijay Kumar 0002, Appie van de Liefvoort	The Behavior of Database Concurrency Control Mechanisms under Bursty Arrivals.	ICCI	1990	DBLP DOI BibTeX RDF
26	Rocco De Nicola, Gian-Luigi Ferrari 0002	Observational Logics and Concurrency Models.	FSTTCS	1990	DBLP DOI BibTeX RDF
26	Michèle Cart, Jean Ferrié	Integrating Concurrency Control into an Object-Oriented Database System.	EDBT	1990	DBLP DOI BibTeX RDF
26	Lars-Åke Fredlund, Bengt Jonsson 0001, Joachim Parrow	An Implementation of a Translational Semantics for an Imperative Language.	CONCUR	1990	DBLP DOI BibTeX RDF
26	Vijay Kumar 0002	A Concurrency Control Mechanism Based on Extendible Hashing for Main Memory Database Systems.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
26	Divyakant Agrawal, Soumitra Sengupta	Modular Synchronization in Multiversion Databases: versionControl and Concurrency Control.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
26	Lui Sha, Ragunathan Rajkumar, John P. Lehoczky	Concurrency Control for Distributed Real-Time Databases.	SIGMOD Rec.	1988	DBLP DOI BibTeX RDF
26	Maurice Herlihy, William E. Weihl	Hybrid Concurrency Control for Abstract Data Types.	PODS	1988	DBLP DOI BibTeX RDF
26	Ing Widya, T. G. R. M. van Leuken, Pieter van der Wolf	Concurrency Control in a VLSI Design Database.	DAC	1988	DBLP BibTeX RDF
26	Ugur Halici, Asuman Dogac	A Method for Concurrency Control in Distributed DBMSs: Permission Test Method.	SIGMOD Rec.	1987	DBLP DOI BibTeX RDF
26	Maurice Herlihy	Optimistic Concurrency Control for Abstract Data Types.	ACM SIGOPS Oper. Syst. Rev.	1987	DBLP DOI BibTeX RDF
26	Rakesh Agrawal 0001, Michael J. Carey 0001, Miron Livny	Concurrency Control Performance Modeling: Alternatives and Implications.	ACM Trans. Database Syst.	1987	DBLP DOI BibTeX RDF
26	Michael J. Jipping, Ray Ford	Predicting Performance of Concurrency Control Designs.	SIGMETRICS	1987	DBLP DOI BibTeX RDF
26	C. A. Petri 0001, Einar Smith	Concurrency and continuity.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
26	Mukesh Singhal, Ashok K. Agrawala	Performance Analysis of an Algorithm for Concurrency Control in Replicated Database Systems.	SIGMETRICS	1986	DBLP DOI BibTeX RDF	moment analysis, error analysis, mean value analysis, approximate solutions, product-form solutions, multiclass queueing networks
26	Arvola Chan, Stephen Fox, Wen-Te K. Lin, Anil Nori, Daniel R. Ries	The Implementation of an Integrated Concurrency Control and Recovery Scheme.	SIGMOD Conference	1982	DBLP DOI BibTeX RDF
26	Paul Decitre	A concurrency control algorithm in a distributed environment.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
25	Gabor Szeder	Unit testing for multi-threaded Java programs.	PADTAD	2009	DBLP DOI BibTeX RDF	Java
25	Shaohua Xie, Eileen T. Kraemer, R. E. Kurt Stirewalt	Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions.	ICPC	2007	DBLP DOI BibTeX RDF
25	Joe Armstrong	Erlang - Software for a Concurrent World.	ECOOP	2007	DBLP DOI BibTeX RDF
25	Shih-Wei Liao, Keqiang Wu	DJ: A Transparent Java-Integrated Data Access System.	ICEBE	2007	DBLP DOI BibTeX RDF
25	Gang Luo 0001, Jeffrey F. Naughton, Curt J. Ellmann, Michael Watzke	Locking Protocols for Materialized Aggregate Join Views.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF
25	Emil Sekerinski	Concurrent Object-Oriented Programs: From Specification to Code.	FMCO	2002	DBLP DOI BibTeX RDF
25	Jack Jingshuang Yang, Gail E. Kaiser	JPernLite: Extensible Transaction Services for the WWW.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	extended transaction models, WWW, middleware, computer-supported collaborative work, Distributed transactions
25	Kenneth P. Birman	Maintaining consistency in distributed systems.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
25	Suresh Jagannathan, James Philbin	A Customizable Substrate for Concurrent Languages.	PLDI	1992	DBLP DOI BibTeX RDF	SCHEME
25	Brian Livezey, Richard R. Muntz	ASPEN: A Stream Processing Environment.	PARLE (2)	1989	DBLP DOI BibTeX RDF
24	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
24	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
24	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
24	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
24	Steve Vinoski	Concurrency with Erlang.	IEEE Internet Comput.	2007	DBLP DOI BibTeX RDF	Toward Integration, middleware, concurrency, programming language, Erlang
24	Peng Liu 0005, Jie Li 0002, Sushil Jajodia, Paul Ammann	Can-Follow Concurrency Control.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	can follow, concurrency control, transaction processing
24	Mordechai Ben-Ari	Teaching concurrency and nondeterminism with spin.	ITiCSE	2007	DBLP DOI BibTeX RDF	visualization, verification, concurrency, spin
24	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
24	Kevin Klues, Vlado Handziski, Chenyang Lu 0001, Adam Wolisz, David E. Culler, David Gay, Philip Alexander Levis	Integrating concurrency control and energy management in device drivers.	SOSP	2007	DBLP DOI BibTeX RDF	device driver architecture, concurrency, energy, tinyOS
24	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
24	Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste	Concurrency in Synchronous Systems.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Globally asynchronous locally synchronous (GALS), Concurrency, Synchronous, Distribution, Desynchronization, Trace theory
24	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
24	Carlos Augusto S. Cunha, João Luís Sobral, Miguel P. Monteiro 0001	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
24	Kaloian Manassiev, Madalin Mihailescu, Cristiana Amza	Exploiting distributed version concurrency in a transactional memory cluster.	PPoPP	2006	DBLP DOI BibTeX RDF	in-memory, scalability, concurrency control, transactions, replicated databases
24	Jeang-Kuo Chen	Concurrency Control of Spatial Join on Spatial Database.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF	Concurrency Control, Spatial Database, R-tree, Spatial Join
24	Rui Li 0018, Du Li	A landmark-based transformation approach to concurrency control in group editors.	GROUP	2005	DBLP DOI BibTeX RDF	groupware, concurrency control, data consistency, operational transformation, group editor
24	Guohui Li, Bing Yang 0002, Jixiong Chen	Efficient Optimistic Concurrency Control for Mobile Real-Time Transactions in a Wireless Data Broadcast Environment.	RTCSA	2005	DBLP DOI BibTeX RDF	Mobile Real-time Transaction Processing, Hybrid Validation Policy, Data Broadcast, Optimistic Concurrency Control
24	Subhash Bhalla	Parallel Concurrency Control Activity for Transaction Management in Real-time Database Systems.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	parallel concurrency control, time-critical transactions, synchronization, distributed real-time database systems
24	Mariya Koshkina, Franck van Breugel	Modelling and verifying web service orchestration by means of the concurrency workbench.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	concurrency workbench of the new century, process algebra compiler, web service, modelling, verification, business process, BPEL4WS
24	Jim Davies, Charles Crichton	Concurrency and Refinement in the Unified Modeling Language.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Unified Modeling Language, Concurrency, Refinement, Object-oriented design, Object modelling, Communicating Sequential Processes
24	Victor C. S. Lee, Kwok-Wa Lam, Sheung-lun Hung	Concurrency Control for Mixed Transactions in Real-Time Databases.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	serialization order adjustment, mixed transactions, Real-time databases, optimistic concurrency control
24	Anindya Datta, Sang Hyuk Son	A Study of Concurrency Control in Real-Time, Active Database Systems.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	performance evaluation, concurrency control, Real-time database systems, active database systems
24	H. C. M. Kleijn, Maciej Koutny	Causality Semantics of Petri Nets with Weighted Inhibitor Arcs.	CONCUR	2002	DBLP DOI BibTeX RDF	theory of concurrency, weighted inhibitor arcs, causality semantics, occurrence nets, Petri nets, step sequences
24	Eunhee Lee, Dongman Lee, Seunghyun Han, Soon J. Hyun	Prediction-based concurrency control for a large scale networked virtual environment supporting various navigation speeds.	VRST	2001	DBLP DOI BibTeX RDF	advance ownership request and transfer, entity radius, various navigation speed, scalability, prediction, concurrency control, generality
24	Markus Kirchberg, Klaus-Dieter Schewe	A comparison of multi-level concurrency control protocols.	ADC	2001	DBLP DOI BibTeX RDF	[H2.4] transaction processing, concurrency [H2.7] logging and recovery
24	Victor Khomenko, Maciej Koutny	Towards an Efficient Algorithm for Unfolding Petri Nets.	CONCUR	2001	DBLP DOI BibTeX RDF	Model checking, Petri nets, concurrency, unfolding
24	K. A. Momin, K. Vidyasankar	Flexible Integration of Optimistic and Pessimistic Concurrency Control in Mobile Environments.	ADBIS-DASFAA	2000	DBLP DOI BibTeX RDF	Re-execution, Pessimistic mode, Mobile computing, Concurrency control, Transaction processing
24	Chiara Bodei, Pierpaolo Degano, Corrado Priami	Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.	SAS	1998	DBLP DOI BibTeX RDF	SOS semantics, non-interleaving descriptions, Concurrency, abstract interpretation, causality
24	Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, Debra Brodbeck	A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	Ada, concurrency, static analysis, tool integration, software development environments
24	Rance Cleaveland, Joachim Parrow, Bernhard Steffen	The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	concurrency, process algebra, automatic verification, finite-state systems
24	Jean-Marc Andreoli, Lone Leth Thomsen, Remo Pareschi, Bent Thomsen	True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication.	TAPSOFT	1993	DBLP DOI BibTeX RDF	Chemical Abstract Machines, Concurrent, Broadcasting, Linear Logic, Rewriting, True Concurrency
24	Ugur Halici, Asuman Dogac	An Optimistic Locking Technique For Concurrency Control in Distributed Databases.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	optimistic locking technique, optimistic method, dummy locks, write sets, validated transactions, short-term locks, strict two-phase locking, low conflict cases, strict 2PL, concurr, distributed databases, concurrency control, validation test, ODL
24	Jos C. M. Baeten, Jan A. Bergstra	Real Space Process Algebra.	CONCUR	1991	DBLP DOI BibTeX RDF	real space-time, Galilei transformation, Lorentz transformation, real time, interleaving, true concurrency, & Phrases process algebra