Search results for "concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Jeffery I. Zucker	Propositional Temporal Logics and Their Use in Model Checking.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	Peter E. Lauer	On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	Nachum Dershowitz	A Taste of Rewrite Systems.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels	The EVES System.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	David B. MacQueen	Reflections on Standard ML.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	Michael Barnett 0001, Christian Lengauer	A Systolizing Compilation Scheme for Nested Loops with Linear Bounds.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen	Specification and Simulation with ExSpect.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	John Ophel	An Introduction to the High-Level Language Standard ML.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	Timothy C. Winkler	Programming in OBJ and Maude.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	Jeffery I. Zucker	The Propositional mu-Calculus and Its Use in Model Checking.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	Robert M. Shapiro, Valerio O. Pinci, Roberto Mameli	Modeling an NORAD Command Post Using SADT and Colored Petri Nets.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	Richard A. Frost, S. Karamatos	Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming Language.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	Douglas J. Howe	Reasoning About Functional Programs in Nuprl.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	Jawahar Malhotra, Robert M. Shapiro	Generating an Algorithm for Executing Graphical Models.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	Akinori Yonezawa, Takayasu Ito (eds.)	Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings	Concurrency: Theory, Language, And Architecture	1991	DBLP DOI BibTeX RDF
28	Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter	Using the Temporal Logic RDL for Design Specifications.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
28	D. L. McBurney, M. Ronan Sleep	Graph Rewriting as a Computational Model.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
28	Etsuya Shibayama	Reuse of Concurrent Object Descriptions.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
28	Makoto Amamiya, Rin-Ichiro Taniguchi	An Ultra-Multiprocessing Machine Architecture for Efficient Parallel Execution of Functional Languages.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF	Keyword Functional language, Massively parallel machine architecture, Dataflow analysis, Multiprocessing, Dataflow machine
28	Joseph A. Goguen	Semantic Specifications for the Rewrite Rule Machine.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
28	Yuuji Ichisugi, Akinori Yonezawa	Exception Handling and Real Time Features in an Object-Oriented Concurrent Language.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
28	Norihiko Yoshida	Transformational Derivation of Systolic Arrays.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
28	Akikazu Takeuchi, Kazuko Takahashi	An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
28	Colin Stirling	An Introduction to Modal and Temporal Logics for CCS.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
28	David Walker 0002	Some Results on the pi-Calculus.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
28	Hiroto Yasuura	Locally Computable Coding for Unary Operations.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
28	Jeff W. Sanders	A Hierarchical Approach to Hardware Design.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
28	Taiichi Yuasa	Premature Return - Another Interpretation of the Future Construct.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
28	Hidehiko Tanaka	A Parallel Object Oriented Language FLENG++ and Its Control System on the Parallel Machine PIE64.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
28	Ernst-Rüdiger Olderog	Process Theory: Semantics, Specification and Verification.	Current Trends in Concurrency	1986	DBLP DOI BibTeX RDF
28	Grzegorz Rozenberg, P. S. Thiagarajan	Petri Nets: Basic Notions, Structure, Behaviour.	Current Trends in Concurrency	1986	DBLP DOI BibTeX RDF
28	Jozef Hooman, Willem P. de Roever	The Quest Goes on: A Survey of Proofsystems for Partial Correctness of CSP.	Current Trends in Concurrency	1986	DBLP DOI BibTeX RDF
28	Fred B. Schneider, Gregory R. Andrews	Concepts for Concurrent Programming.	Current Trends in Concurrency	1986	DBLP DOI BibTeX RDF
28	Amir Pnueli	Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends.	Current Trends in Concurrency	1986	DBLP DOI BibTeX RDF
28	Edward A. Ashcroft	Dataflow and Education: Data-driven and Demand-driven Distributed Computation.	Current Trends in Concurrency	1986	DBLP DOI BibTeX RDF
28	Michel Diaz, Jean-Pierre Courtiat, Aloysio Pedroza	Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems.	Current Trends in Concurrency	1986	DBLP DOI BibTeX RDF
28	Hendrik Jan Hoogeboom, Grzegorz Rozenberg	Infinitary Languages: Basic Theory an Applications to Concurrent Systems.	Current Trends in Concurrency	1986	DBLP DOI BibTeX RDF
28	Henk Barendregt, Marc van Leeuwen	Functional Programming and the Language TALE.	Current Trends in Concurrency	1986	DBLP DOI BibTeX RDF
28	Stephen D. Brookes, A. W. Roscoe 0001, Glynn Winskel (eds.)	Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984	Seminar on Concurrency	1985	DBLP DOI BibTeX RDF
28	Robert E. Strom, Shaula Yemini	The NIL Distributed Systems Programming Language: A Status Report.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	Robin Milner	Lectures on a Calculus for Communicating Systems.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	Howard Barringer, Ruurd Kuiper 0001	Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	William D. Clinger, Charles Halpern	Alternative Semantics for McCarthy's amb.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	Ben C. Moszkowski	Executing Temporal Logic Programs.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	Glynn Winskel	On the Composition and Decomposition of Assertions.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	Vaughan R. Pratt	The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	William C. Rounds	Applications of Topology to Semantics of Communicating Processes.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	Philippe Darondeau	A Fully Abstract Model of Fair Asynchrony.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	Gérard Berry, Laurent Cosserat	The ESTEREL Synchronous Programming Language and its Mathematical Semantics.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	Robert M. Keller, Prakash Panangaden	Semantics of Networks Containing Indeterminate Operators.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	Stephen D. Brookes, A. W. Roscoe 0001	An Improved Failures Model for Communicating Processes.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	Luca Cardelli	An Implementation Model of Rendezvous Communication.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	Prakash Panangaden	Abstract Interpretation and Indeterminacy.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF	indeterminate operators, hiatons, dataflow networks, fairness, abstract interpretation
28	Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi	Linguistic Support of Receptionists for Shared Resources.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	Ryszard Janicki, Peter E. Lauer, Raymond R. Devillers	Maximally Concurrent Evolution of Non-sequential Systems.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	Jan A. Bergstra, Jan Willem Klop, John V. Tucker	Process Algebra with Asynchronous Communication Mechanisms.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	A. W. Roscoe 0001	Denotational Semantics for occam.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	Jayadev Misra	Axioms for Memory Access in Asynchronous Hardware Systems.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
28	Kerttu Pollari-Malmi, Jarmo Ruuth, Eljas Soisalon-Soininen	Concurrency Control for B-Trees with Differential Indices.	IDEAS	2000	DBLP DOI BibTeX RDF	differential indices, indexing system, main index, differential index, active transactions, committed transactions, batch-update operation, simple recovery scheme, system crash, redo operations, undo operations, concurrency control, concurrency control, updates, B-trees, main memory, database index
28	Kwok-Wa Lam, Kam-yiu Lam, Sheung-lun Hung	Real-time optimistic concurrency control protocol with dynamic adjustment of serialization order.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time optimistic concurrency control protocol, serialization order dynamic adjustment, nonserious conflicting transactions, backward-adjustment, committing transactions, transaction restarts elimination, conflict constraints, serialization constraints, read phase, priority conflict resolution methods, Thomas's write rule, real-time systems, concurrency control, transaction processing, database theory, access protocols
28	Thomas F. Keefe, Wei-Tek Tsai, Jaideep Srivastava	Database Concurrency Control in Multilevel Secure Database Management Systems.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	multilevel secure database management systems, concurrent transaction execution, multilevel secure DBMS, MLS/DBMS, data conflict security, output-state-equivalent, DC-security, scheduling, distributed databases, concurrency control, transaction processing, security of data, contention, covert channels, rollback, database concurrency control, security issues, scheduling protocols
28	Divyakant Agrawal, Soumitra Sengupta	Modular Synchronization in Distributed, Multiversion Databases: Version Control and Concurrency Control.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	modular synchronisation, multiversion databases, multiversion protocols, proving the correctness, protocols, distributed databases, distributed databases, concurrency control, concurrency control, modularity, synchronisation, extensibility, configuration management, version control, two-phase locking, time-stamp, read-only transactions
28	F. Bukhari, Sylvia L. Osborn	Two Fully Distributed Concurrency Control Algorithms.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	distributed concurrency control algorithms, partially replicated distributed databases, schedulers, communication, distributed databases, concurrency control, deadlocks, database theory, locks, timestamps
28	Sudha Ram, Roy E. Marsten	A Model for Database Allocation Incorporating a Concurrency Control Mechanism.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	database allocation, concurrency control mechanism, file allocation problem, communication flows, linear mixed-integer programming model, WRITE LOCKS ALL-READ LOCKS ONE, distributed databases, concurrency control, database theory
28	Philip S. Yu, Hans-Ulrich Heiss, Daniel M. Dias	Modeling and Analysis of a Time-Stamp History Based Certification Protocol for Concurrency Control.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	time-stamp history, certification protocol, commit time, back-shifted time-stamp, read-write conflicts, conflicting transaction, transaction requesting commit, protocols, distributed databases, concurrency control, concurrency control, probability, approximations, transaction processing, analytic model, database theory
28	Toshihide Ibaraki, Tiko Kameda, Naoki Katoh	Multiversion Cautious Schedulers for Database Concurrency Control.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	read/write steps, multiversion cautious scheduler, incoming sequence, read sets, write sets, MWW, MWRW, multiversion classes, write-write, write-read-write constraints, cancellation anomaly, predeclared steps, read operations, scheduling, concurrency control, database management systems, transactions, transaction processing, polynomial time, logs, rollbacks, reordering, MC, database concurrency control
28	William E. Weihl	Commutativity-Based Concurrency Control for Abstract Data Types.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	local atomicity property, dynamic atomicity, nondeterministic, recovery methods, intentions lists, undo logs, parallel processing, concurrency control, abstract data types, serializability, commutativity, concurrency algorithms, partial
28	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
28	Alan D. Fekete, Dimitrios Liarokapis, Elizabeth J. O'Neil, Patrick E. O'Neil, Dennis E. Shasha	Making snapshot isolation serializable.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	multiversion concurrency, weak isolation, Concurrency control, consistency, serializability, anomaly, snapshot isolation
28	Vincent Ng 0002, Tiko Kameda	Concurrent access to point data.	COMPSAC	1997	DBLP DOI BibTeX RDF	point data, B/sup +/-tree, K-D-B tree, d-dimensional space, lock coupling technique, common user operations, SR distributed programming language, relative performance, search, concurrency control, R-tree, insert, index structures, concurrent access, concurrent accesses, concurrency control algorithms
28	Ming-Chung Liang, Tei-Wei Kuo, LihChyun Shu	BAP: a class of abort-oriented protocols based on the notion of compatibility.	RTCSA	1996	DBLP DOI BibTeX RDF	BAP, abort-oriented protocols, notion of compatibility, response time requirements, performance, concurrency control, data consistency, transaction systems, concurrency control algorithm
28	Bernd Irlenbusch, Jörg Kaiser	Towards a resilient shared memory concept for distributed persistent object systems.	HICSS (2)	1995	DBLP DOI BibTeX RDF	resilient shared memory, distributed persistent object systems, centralized memory, advanced action model, fault tolerant computing, distributed databases, concurrency control, concurrency control, object-oriented databases, shared memory systems
28	In Kyung Ryu, Alexander Thomasian	Performance Analysis of Dynamic Locking with the No-Waiting Policy.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	dynamic locking, no-waiting policy, blocking delays, cyclic restarts, throughput characteristic, read-only query, time-stamp ordering method, performance evaluation, performance analysis, concurrency control, concurrency control, transaction processing, deadlocks, transaction processing system, update transactions
26	Ralph Mietzner, Dimka Karastoyanova, Frank Leymann	Business Grid: Combining Web Services and the Grid.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
26	Robert Lorenz 0001, Sebastian Mauser, Robin Bergenthum	Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios.	ICATPN	2007	DBLP DOI BibTeX RDF
26	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
26	Thomas Chatain, Claude Jard	Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
26	Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste	Concurrency in Synchronous Systems.	ACSD	2004	DBLP DOI BibTeX RDF
26	Luís Caires, Étienne Lozes	Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency.	CONCUR	2004	DBLP DOI BibTeX RDF
26	Sander Stuijk, Twan Basten, Jan Ypma	CAST - A Task-Level Concurrency Analysis Tool.	ACSD	2003	DBLP DOI BibTeX RDF
26	Michael Baldamus, Klaus Schneider 0001	The BDD Space Complexity of Different Forms of Concurrency.	ACSD	2001	DBLP DOI BibTeX RDF
26	Mogens Nielsen, Christian Clausen	Bisimulation for Models in Concurrency.	CONCUR	1994	DBLP DOI BibTeX RDF
26	Doris Nolte, Lutz Priese	Fairness in Models with True Concurrency.	CONCUR	1991	DBLP DOI BibTeX RDF
26	David Murphy	Testing, Betting and Timed True Concurrency.	CONCUR	1991	DBLP DOI BibTeX RDF
26	Qichang Chen, Liqiang Wang	An Integrated Framework for Checking Concurrency-Related Programming Errors.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
26	Nehir Sönmez, Tim Harris 0001, Adrián Cristal, Osman S. Unsal, Mateo Valero	Taking the heat off transactions: Dynamic selection of pessimistic concurrency control.	IPDPS	2009	DBLP DOI BibTeX RDF
26	Reinhard von Hanxleden	SyncCharts in C: a proposal for light-weight, deterministic concurrency.	EMSOFT	2009	DBLP DOI BibTeX RDF	SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming
26	Salman Abdul Moiz, Lakshmi Rajamani	Concurrency Control Strategy to Reduce Frequent Rollbacks in Mobile Environments.	CSE (2)	2009	DBLP DOI BibTeX RDF
26	Cagdas Dirik, Bruce L. Jacob	The performance of PC solid-state disks (SSDs) as a function of bandwidth, concurrency, device architecture, and system organization.	ISCA	2009	DBLP DOI BibTeX RDF	performance, flash memory, storage systems, solid state disks
26	Bryan Cantrill, Jeff Bonwick	Real-World Concurrency.	ACM Queue	2008	DBLP DOI BibTeX RDF
26	Angelo Chianese, Antonio d'Acierno, Vincenzo Moscato, Antonio Picariello	Pre-serialization of long running transactions to improve concurrency in mobile environments.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
26	Zongtao Zhao, Jun Wei 0001, Li Lin, Xiaoning Ding	A Concurrency Control Mechanism for Composite Service Supporting User-Defined Relaxed Atomicity.	COMPSAC	2008	DBLP DOI BibTeX RDF
26	Veluchandhar Vadivelu, R. V. Jayakumar, M. Muthuvel, K. Balasubramanian, A. Karthi, Karthikesan, G. Ramaiyan, Alagarsamy Deepa, S. Albert Rabara	A backup mechanism with concurrency control for multilevel secure distributed database systems.	ICDIM	2008	DBLP DOI BibTeX RDF
26	Tomohiro Yoshihara, Dai Kobayashi, Haruo Yokota	A concurrency control protocol for parallel B-tree structures without latch-coupling for explosively growing digital content.	EDBT	2008	DBLP DOI BibTeX RDF
26	Abdelouahed Gherbi, Ferhat Khendek	Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency.	ISORC	2007	DBLP DOI BibTeX RDF
26	Walter Binder, Samuel Spycher, Ion Constantinescu, Boi Faltings	Multiversion Concurrency Control for Multidimensional Index Structures.	DEXA	2007	DBLP DOI BibTeX RDF
26	Krishneel Goundar, Santokh Singh, Xinfeng Ye	An Investigation into Concurrency Control Mechanisms in Data Service Layers.	APSEC	2007	DBLP DOI BibTeX RDF
26	Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima	Concurrency Control Modularization with Aspect-Oriented Programming.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
26	Qiuyu Zhang, Sanjun Sui, Jingrong Li	Research and Realization of Transaction Concurrency Control in Grid Database.	GCC	2007	DBLP DOI BibTeX RDF
26	Rishiyur S. Nikhil	Composable Guarded Atomic Actions: a Bridging Model for SoC Design.	ACSD	2007	DBLP DOI BibTeX RDF