Search results for "concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
39	Danny Dolev, H. Raymond Strong	On Safety and Timeliness in Distributed Data Management.	Concurrency	1988	DBLP DOI BibTeX RDF
39	A. Bourguet-Rouger	External Behaviour Equivalence between two Petri Nets.	Concurrency	1988	DBLP DOI BibTeX RDF
39	Wolfgang Reisig	Temporal Logic and Causality in Concurrent Systems.	Concurrency	1988	DBLP DOI BibTeX RDF
39	Manfred Broy	Requirement and Design Specification for Distributed Systems.	Concurrency	1988	DBLP DOI BibTeX RDF
39	Udo Thalmann	Analysis of ESTELLE Specifications.	Concurrency	1988	DBLP DOI BibTeX RDF
39	Younes Souissi, Nicolas Beldiceanu	Deterministic Systems of Sequential Processes: Theory and Tools.	Concurrency	1988	DBLP DOI BibTeX RDF	deterministic systems of sequential processes, Petri net, expert system, liveness
39	Egidio Astesiano, Alessandro Giovini, Gianna Reggio	Data in a Concurrent Environment.	Concurrency	1988	DBLP DOI BibTeX RDF
39	P. M. Melliar-Smith	A Graphical Representation of Interval Logic.	Concurrency	1988	DBLP DOI BibTeX RDF
39	Howard Barringer, Dov M. Gabbay	Executing Temporal Logic: Review and Prospects (Abstract).	Concurrency	1988	DBLP DOI BibTeX RDF
39	Maciej Koutny	Adequacy-Preserving Transformations of COSY Path Programs.	Concurrency	1988	DBLP DOI BibTeX RDF
39	Asis Goswami, Mathai Joseph	Semancitcs of Real-time Distributed Programs.	Concurrency	1988	DBLP DOI BibTeX RDF
39	Gerard Tel	Total Algorithms.	Concurrency	1988	DBLP DOI BibTeX RDF	Network control problems, Distributed Infimum, Resynchronization, Broadcast, Election
39	Da-Hai Li, T. S. E. Maibaum	A Top-down Step-wise Refinement Methodology for Protocol Specification.	Concurrency	1988	DBLP DOI BibTeX RDF
39	Eike Best	Weighted Basic Petri Nets.	Concurrency	1988	DBLP DOI BibTeX RDF
39	Ephraim Korach, Gerard Tel, Shmuel Zaks	Optimal Synchronization of ABD Networks.	Concurrency	1988	DBLP DOI BibTeX RDF
39	Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone	A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence.	Concurrency	1988	DBLP DOI BibTeX RDF
39	Moshe Y. Vardi	An Automata-Theoretic Approach to Protocol Verification (Abstract).	Concurrency	1988	DBLP DOI BibTeX RDF
39	Burkhard Igel, Georg Reichwein	An Example of Communicating Production Systems.	Concurrency	1988	DBLP DOI BibTeX RDF
39	Leslie Lamport	While Waiting for the Millennium: Formal Specification and Verficiation of Concurrent Systems Now (Abstract).	Concurrency	1988	DBLP DOI BibTeX RDF
39	Joseph Y. Halpern, Ronald Fagin	Modelling Knowledge and Action in Distributed Systems.	Concurrency	1988	DBLP DOI BibTeX RDF
39	J. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker	Contrasting Themes in the Semantics of Imperative Concurrency.	Current Trends in Concurrency	1986	DBLP DOI BibTeX RDF
39	Giorgio Levi	Logic Programming: The Foundations, the Approach and the Role of Concurrency.	Current Trends in Concurrency	1986	DBLP DOI BibTeX RDF
39	Glynn Winskel	Categories of Models for Concurrency.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
38	Gian-Luigi Ferrari 0002	Ugo Montanari and Software Verification.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
38	Eike Best	A Note on Persistent Petri Nets.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
38	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
38	Ching-Shan Peng, Kwei-Jay Lin	A semantic-based concurrency control protocol for real-time transactions.	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
37	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
37	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
37	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
36	Shaz Qadeer	Taming Concurrency: A Program Verification Perspective.	CONCUR	2008	DBLP DOI BibTeX RDF
36	Yahiko Kambayashi, Sei-Ichi Kondoh	Global concurrency control mechanisms for a local network consisting of systems without concurrency control capability.	AFIPS National Computer Conference	1984	DBLP DOI BibTeX RDF
36	Yuan Zhang, Evelyn Duesterwald, Guang R. Gao	Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers.	LCPC	2007	DBLP DOI BibTeX RDF
36	Tim Schattkowsky, Gregor Engels, Alexander Förster	A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency.	HICSS	2007	DBLP DOI BibTeX RDF
36	Kostas Bousias, Chris R. Jesshope	The Challenges of Massive On-Chip Concurrency.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
36	Peter Pleshachkov, Petr Chardin, Sergei D. Kuznetsov	A DataGuide-Based Concurrency Control Protocol for Cooperation on XML Data.	ADBIS	2005	DBLP DOI BibTeX RDF
36	Jan Lindström	Performance of Distributed Optimistic Concurrency Control in Real-Time Databases.	CIT	2004	DBLP DOI BibTeX RDF
36	Xinping Zhu, Wei Qin, Sharad Malik	Modeling operation and microarchitecture concurrency for communication architectures with application to retargetable simulation.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	on-chip communication architecture, simulator synthesis, multiprocessor system, packet-switching network, design exploration, bus, retargetable simulation
36	Brad Long, Paul A. Strooper	A Classification of Concurrency Failures in Java Components.	IPDPS	2003	DBLP DOI BibTeX RDF
36	Stephen P. Masticola, Barbara G. Ryder	Non-concurrency Analysis.	PPoPP	1993	DBLP DOI BibTeX RDF	Ada
36	Luca Aceto, David Murphy	On the Ill-Timed but Well-Caused.	CONCUR	1993	DBLP DOI BibTeX RDF
36	Sharad Mehrotra, Rajeev Rastogi, Yuri Breitbart, Henry F. Korth, Abraham Silberschatz	The Concurrency Control Problem in Multidatabases: Characteristics and Solutions.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
36	Maurice Herlihy	Apologizing Versus Asking Permission: Optimistic Concurrency Control for Abstract Data Types.	ACM Trans. Database Syst.	1990	DBLP DOI BibTeX RDF
36	Michael J. Carey 0001, Miron Livny	Parallelism and Concurrency Control Performance in Distributed Database Machines.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF	SQL
36	Bernadette Charron-Bost	Combinatorics and Geometry of Consistent Cuts: Application to Concurrency Theory.	WDAG	1989	DBLP DOI BibTeX RDF
36	C. P. Wang, Victor O. K. Li	The Precedence-Assignment Model for Distributed Database Concurrency Control Algorithms.	PODS	1987	DBLP DOI BibTeX RDF
36	Michael J. Carey 0001, Waleed A. Muhanna	The Performance of Multiversion Concurrency Control Algorithms.	ACM Trans. Comput. Syst.	1986	DBLP DOI BibTeX RDF
36	Georg Lausen, Eljas Soisalon-Soininen, Peter Widmayer	Maximal Concurrency by Locking.	PODS	1984	DBLP DOI BibTeX RDF
36	Binto George, Jayant R. Haritsa	Secure Transaction Processing in Firm Real-Time Database Systems.	SIGMOD Conference	1997	DBLP DOI BibTeX RDF
35	Claus Brabrand	Constructive Alignment for Teaching Model-Based Design for Concurrency.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	student learning, constructive alignment, the SOLO taxonomy, model-based design for concurrency, teaching
35	H. C. M. Kleijn, Maciej Koutny	Infinite Process Semantics of Inhibitor Nets.	ICATPN	2006	DBLP DOI BibTeX RDF	theory of concurrency, weighted inhibitor arcs, causality semantics, infinite processes, occurrence nets, Petri nets, step sequences
34	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
34	Guy L. Steele Jr., Vijay A. Saraswat	Curricula for concurrency and parallelism.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	parallelism, concurrency, multicore, curricula
34	Nathar Shah	Aspectising Concurrency for the RTSJ.	ICDCN	2009	DBLP DOI BibTeX RDF	Concurrency, Object-Orientation, Aspect-Orientation
34	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
34	Madan Musuvathi	Systematic concurrency testing using CHESS.	PADTAD	2008	DBLP DOI BibTeX RDF	testing, concurrency, race conditions
34	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
34	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
34	Rachid Guerraoui	A Smooth Concurrency Revolution with Free Objects.	IEEE Internet Comput.	2007	DBLP DOI BibTeX RDF	concurrency, object-oriented programming, programming model, application development
34	Signe J. Silver, Janusz A. Brzozowski	True Concurrency in Models of Asynchronous Circuit Behavior.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	multiple-winner, single-winner, semi-modular, asynchronous, circuit, interleaving, true concurrency, delay-insensitive
34	Ahmad S. Al-Mogren, Margaret H. Dunham	Concurrency control performance in DAYS.	MobiDE	2003	DBLP DOI BibTeX RDF	BUC, DAYS, UFO, broadcast architecture, mobile computing, concurrency control, data consistency, matrix, transaction management, wireless data broadcast
34	João Coelho Garcia, Paulo Ferreira 0001	Concurrency control for distributed cooperative engineering applications.	SAC	2002	DBLP DOI BibTeX RDF	persistent store, concurrency control, cooperative applications
34	Yakov Persky, Mordechai Ben-Ari	Re-engineering a concurrency simulator.	ITiCSE	1998	DBLP DOI BibTeX RDF	Ada, virtual machine, Ada 95, compiler design, concurrency simulator
34	Michael Mock, Martin Gergeleit, Edgar Nett	Cooperative Concurrency Control on the Web.	FTDCS	1997	DBLP DOI BibTeX RDF	World Wide Web, Concurrency Control, Cooperative Applications
34	Hong K. Kim, Jack S. N. Jean	Concurrency Preserving Rartitioning (CPP) for Parallel Logic Simulation.	Workshop on Parallel and Distributed Simulation	1996	DBLP DOI BibTeX RDF	Load Balancing, Concurrency, Partitioning, Time Warp, Parallel Logic Simulation
34	Zair Abdelouahab, Peter M. Dew	Programming concurrency and synchronisation in Actel.	ICPADS	1996	DBLP DOI BibTeX RDF	Actel, concurrent object based language, performance, concurrency, object orientation, message passing, synchronisation, object-oriented languages, parallel languages
34	Doron Drusinsky, David Harel	On the Power of Bounded Concurrency I: Finite Automata.	J. ACM	1994	DBLP DOI BibTeX RDF	bounded cooperative concurrency, statecharts, finite automata, nondeterminism, alternation, succinctness, omega-automata
34	B. R. Badrinath, Krithi Ramamritham	Semantics-Based Concurrency Control: Beyond Commutativity.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	concurrency control, semantic information
34	Graham D. Parrington, Santosh K. Shrivastava	Implementing Concurrency Control in Reliable Object-Oriented Systems.	ECOOP	1988	DBLP DOI BibTeX RDF	Type-inheritance, Reliability, Object-oriented programming, Concurrency control, Atomic actions
34	Navdeep Kaur, Rajwinder Singh, Manoj Misra, Anil Kumar Sarje	Secure Transaction Management Protocols for MLS/DDBMS.	ICISS	2007	DBLP DOI BibTeX RDF	concurrency control, covert channel, Multilevel security, distributed database system, commit protocol
34	Frédéric Boniol, Martin Adelantado	Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling.	WDAG	1993	DBLP DOI BibTeX RDF	Synchronism and Asynchronism, Real-time, Reactive systems, Semantics of Concurrency
33	Jos C. M. Baeten	Calculating with Automata.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
33	Fabio Gadducci	Ugo Montanari and Friends.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
33	Robin Milner	Categories, Software and Meaning.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
33	Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, José F. Morales 0001, 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
33	Roberto Bruni, Vladimiro Sassone	Models of Computation: A Tribute to Ugo Montanari's Vision.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
33	Eike Best, Maciej Koutny	Process Algebra: A Petri-Net-Oriented Tutorial.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF	Petri nets, process algebras
33	Hartmut Ehrig, Julia Padberg	Graph Grammars and Petri Net Transformations.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
33	Mogens Nielsen, Frank D. Valencia	Notes on Timed Concurrent Constraint Programming.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
33	Mario Tokoro, Kohei Honda 0001	The Computational Field Model for Open Distributed Environments.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
33	Takayasu Ito	Logic of Execution: An Outline.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
33	Kaoru Hosokawa, Hiroaki Nakamura, Tsutomu Kamimura	Concurrent Programming in COB.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
33	William G. Golson	Denotational Models Based on Synchronously Communicating Processes: Refusal, Acceptance, Safety.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
33	Gul Agha	Semantic Considerations in the Actor Paradigm of Concurrent Computation.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
33	Eike Best	Concurrent Behaviour: Sequences, Processes and Axioms.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
33	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
33	SangKeun Lee 0001, Chong-Sun Hwang, Won-Gyu Lee	A unified approach to global concurrency control and global deadlocks in a multidatabase environment.	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
33	Jim McGovern, Emarson Victoria	Concurrency control requirements for the collaborative development of decision models.	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
33	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
33	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
33	Mohan Ahuja, Timothy Carlson, Ashwani Gahlot	Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	time view, passive-space view, intraprocess concurrency, global logical clocks, distributed computing, distributed computations, debugging, distributed processing, concurrency control, high performance, program debugging, timestamps, vector clocks, program correction, sequential computations
31	Georgy Lukyanov, Andrey Mokhov	Concurrency Oracles for Free.	ATAED@Petri Nets/ACSD	2018	DBLP BibTeX RDF
31	Christian Eisentraut, Holger Hermanns	Teaching Concurrency Concepts to Freshmen.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF
31	Samson Abramsky	Petri Nets, Discrete Physics, and Distributed Quantum Computation.	ICATPN	2007	DBLP DOI BibTeX RDF
31	Paul-André Melliès	Asynchronous Games 2: The True Concurrency of Innocence.	CONCUR	2004	DBLP DOI BibTeX RDF
31	José Meseguer 0001	Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report.	CONCUR	1996	DBLP DOI BibTeX RDF
31	Manfred Droste, Paul Gastin	Asynchronous Cellular Automata for Pomsets Without Auto-concurrency.	CONCUR	1996	DBLP DOI BibTeX RDF
31	Brandon Lucia, Luis Ceze	Finding concurrency bugs with context-aware communication graphs.	MICRO	2009	DBLP DOI BibTeX RDF
31	Mohammad Ansari, Christos Kotselidis, Kim Jarvis, Mikel Luján, Chris C. Kirkham, Ian Watson	Advanced Concurrency Control for Transactional Memory Using Transaction Commit Rate.	Euro-Par	2008	DBLP DOI BibTeX RDF
31	Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp	Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming