Search results for "concurrent algorithms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Viggo Stoltenberg-Hansen, J. V. Tucker	Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms.	REX Workshop	1992	DBLP DOI BibTeX RDF	Inverse limits of algebras, ultrametric algebras, infinite systems of equations, existence and uniqueness theorems, synchronous concurrent algorithms, infinitely parallel deterministic systems, streams, domains
2	David Dice, Yossi Lev, Virendra J. Marathe, Mark Moir, Daniel Nussbaum, Marek Olszewski	Simplifying concurrent algorithms by exploiting hardware transactional memory.	SPAA	2010	DBLP DOI BibTeX RDF	synchronization, transactional memory, hardware
2	Markus Hannebauer	How to Model and Verify Concurrent Algorithms for Distributed CSPs.	CP	2000	DBLP DOI BibTeX RDF
2	Joakim von Wright, Thomas Långbacka	Using a Theorem Prover for Reasoning about Concurrent Algorithms.	CAV	1992	DBLP DOI BibTeX RDF
2	Stephen J. Garland, John V. Guttag, James J. Horning	Debugging Larch Shared Language Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Larch shared language specifications, checkability, Larch power, theory containment, design, formal specification, parallel programming, debugging, consistency, development, inference mechanisms, program debugging, static semantics, concurrent algorithms
2	Jørgen Staunstrup	Analysis of concurrent algorithms.	CONPAR	1981	DBLP DOI BibTeX RDF
1	Cliff B. Jones, Ken G. Pierce	Elucidating concurrent algorithms via layers of abstraction and reification.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov, Maged M. Michael, Martin T. Vechev	Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated.	POPL	2011	DBLP DOI BibTeX RDF
1	Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto	Model Checking of Concurrent Algorithms: From Java to C.	DIPES/BICC	2010	DBLP DOI BibTeX RDF
1	Maged M. Michael	Memory Management in Concurrent Algorithms.	CAV	2010	DBLP DOI BibTeX RDF
1	Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh	Verifying linearizability with hindsight.	PODC	2010	DBLP DOI BibTeX RDF	hindsight, linearizability, wait-freedom, optimistic concurrency
1	B. C. Thompson, J. V. Tucker, Jeffery I. Zucker	Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms.	Applied Mathematics and Computation	2009	DBLP DOI BibTeX RDF
1	Konrad Kulakowski, Jaroslaw Was	Two Concurrent Algorithms of Discrete Potential Field Construction.	PPAM	2009	DBLP DOI BibTeX RDF
1	Tuukka Haapasalo, Seppo Sippu, Ibrahim Jaluta, Eljas Soisalon-Soininen	Concurrent updating transactions on versioned data.	IDEAS	2009	DBLP DOI BibTeX RDF	database indexing methods, concurrency control, temporal databases, recovery
1	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Software Transactional Memory on Relaxed Memory Models.	CAV	2009	DBLP DOI BibTeX RDF
1	Leslie Lamport	The PlusCal Algorithm Language.	ICTAC	2009	DBLP DOI BibTeX RDF
1	Martin T. Vechev, Eran Yahav, Greta Yorsh	Experience with Model Checking Linearizability.	SPIN	2009	DBLP DOI BibTeX RDF
1	Viktor Vafeiadis	Shape-Value Abstraction for Verifying Linearizability.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Simon Doherty, Mark Moir	Nonblocking Algorithms and Backward Simulation.	DISC	2009	DBLP DOI BibTeX RDF
1	Bengt Jonsson	State-space exploration for concurrent algorithms under weak memory orderings: (preliminary version).	SIGARCH Computer Architecture News	2008	DBLP DOI BibTeX RDF
1	Martin T. Vechev, Eran Yahav	Deriving linearizable fine-grained concurrent objects.	PLDI	2008	DBLP DOI BibTeX RDF	algorithms, model checking, data structures, concurrency, linearizability
1	Kristijan Dragicevic, Daniel Bauer	A survey of concurrent priority queue algorithms.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith	Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems.	TACAS	2008	DBLP DOI BibTeX RDF
1	Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky	CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors.	PLDI	2007	DBLP DOI BibTeX RDF	verification, synthesis, concurrent garbage collection, concurrent algorithms
1	Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn	Modular verification of a non-blocking stack.	POPL	2007	DBLP DOI BibTeX RDF	concurrency, separation logic, non-blocking
1	Viktor Vafeiadis, Matthew J. Parkinson	A Marriage of Rely/Guarantee and Separation Logic.	CONCUR	2007	DBLP DOI BibTeX RDF
1	Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis	Modular Safety Checking for Fine-Grained Concurrency.	SAS	2007	DBLP DOI BibTeX RDF
1	Gadi Taubenfeld	Efficient Transformations of Obstruction-Free Algorithms into Non-blocking Algorithms.	DISC	2007	DBLP DOI BibTeX RDF
1	Martin T. Vechev, Eran Yahav, David F. Bacon	Correctness-preserving derivation of concurrent garbage collection algorithms.	PLDI	2006	DBLP DOI BibTeX RDF	verification, synthesis, concurrent garbage collection, concurrent algorithms
1	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study.	CAV	2006	DBLP DOI BibTeX RDF
1	Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh	Lock Free Data Structures Using STM in Haskell.	FLOPS	2006	DBLP DOI BibTeX RDF
1	Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit	A Lazy Concurrent List-Based Set Algorithm.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya	Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Giuseppe Cattaneo, Giuseppe F. Italiano, Umberto Ferraro Petrillo	CATAI: Concurrent Algorithms and Data Types Animation over the Internet.	J. Vis. Lang. Comput.	2002	DBLP DOI BibTeX RDF
1	Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu	Specifying and verifying systems with TLA+.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
1	M. J. Poole, Arun V. Holden, J. V. Tucker	Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms.	Prospects for Hardware Foundations	1998	DBLP DOI BibTeX RDF
1	Giuseppe Cattaneo, Umberto Ferraro Petrillo, Giuseppe F. Italiano, Vittorio Scarano	Concurrent Algorithms and Data Types Animation over the Internet.	IFIP Congress: Fundamentals - Foundations of Computer Science	1998	DBLP BibTeX RDF
1	Joaquim Gabarró, Xavier Messeguer	A Unified Approach to Concurrent and Parallel Algorithms on Balanced Data Structures (Invited Paper). (PDF / PS)	SCCC	1997	DBLP DOI BibTeX RDF	unified approach, balanced data structures, local rules, insertion algorithms, parallel insertion algorithms, percolation phase, rebalancing phase, parallel algorithms, parallel algorithms, dictionaries, sequential algorithm, AVL trees, concurrent algorithms
1	Luc Bougé, Joaquim Gabarró, Xavier Messeguer, Nicolas Schabanel	Concurrent Rebalancing of ACL Trees: A Fine-Grained Approach (Extended Abstract).	Euro-Par	1997	DBLP DOI BibTeX RDF	Concurrent insertions and deletions, Concurrent generalized rotations, Safety and liveness proofs, Search trees, AVL trees, Concurrent algorithms
1	Cynthia Dwork, Maurice Herlihy, Orli Waarts	Contention in shared memory algorithms.	J. ACM	1997	DBLP DOI BibTeX RDF	mutual exclusion, contention, counting networks
1	Bernd Grahlmann	The PEP Tool.	CAV	1997	DBLP DOI BibTeX RDF	B(PN)2, Stubborn sets, Simulation, Model checking, Petri nets, Temporal logic, Tool, Binary decision diagrams, PEP
1	E. Pascal Gribomont	Atomicity Refinement and Trace Reduction Theorems.	CAV	1996	DBLP DOI BibTeX RDF
1	Steve Gregory	Derivation of Concurrent Algorithms in Tempo.	LOPSTR	1995	DBLP DOI BibTeX RDF
1	Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch	Verifying timing properties of concurrent algorithms.	FORTE	1994	DBLP BibTeX RDF
1	Leslie Lamport	The Temporal Logic of Actions.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	concurrent programming, safety properties, liveness properties
1	Theodore Johnson, Dennis Shasha	The Performance of Current B-Tree Algorithms.	ACM Trans. Database Syst.	1993	DBLP DOI BibTeX RDF	concurrent B-trees, performance of concurrent algorithms, B-trees, concurrent data structures
1	Shengzong Zhou, Rob Gerth, Ruurd Kuiper	Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract).	CONCUR	1993	DBLP DOI BibTeX RDF
1	Deborah A. Frincke, Myla Archer, Karl N. Levitt	CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms.	KBSE	1991	DBLP BibTeX RDF
1	Maurice Herlihy	Wait-Free Synchronization.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	linearization, wait-free synchronization
1	Jeffrey T. Draper, Joydeep Ghosh, William C. Athas	The M-cache: a message-retrieving mechanism for multicomputer systems.	SPDP	1991	DBLP DOI BibTeX RDF
1	J. V. Tucker, Jeffery I. Zucker	Toward a General Theory of Computation and Specification over Abstract Data Types.	ICCI	1990	DBLP DOI BibTeX RDF	specification, computation, computability, abstract data type
1	Nancy A. Lynch	Multivalued Possibilities Mappings.	REX Workshop	1989	DBLP DOI BibTeX RDF	abstraction mapping, possibilities mapping, history variables, distributed algorithms, mapping, garbage collection, transaction processing, safety property, time bounds, Alternating Bit Protocol
1	Ray Ford	Concurrent Algorithms for Real-Time Memory Management.	IEEE Software	1988	DBLP DOI BibTeX RDF
1	Dennis Shasha, Nathan Goodman	Concurrent Search Structure Algorithms.	ACM Trans. Database Syst.	1988	DBLP DOI BibTeX RDF
1	Bahram Nour-Omid, Michael Ortiz	A Family of Concurrent Algorithms for the Solution of Transient Finite Element Equations-Abstract.	PPSC	1987	DBLP BibTeX RDF
1	Jack Dongarra, Ahmed H. Sameh, Danny C. Sorensen	Implementation of some concurrent algorithms for matrix factorization.	Parallel Computing	1986	DBLP DOI BibTeX RDF
1	S. Lennart Johnsson	Solving Narrow Banded Systems on Ensemble Architectures.	ACM Trans. Math. Softw.	1985	DBLP DOI BibTeX RDF	banded linear systems, multiprocessors
1	Ole Eriksen, Jørgen Staunstrup	Concurrent Algorithms for Root Searching.	Acta Inf.	1982	DBLP DOI BibTeX RDF
1	Charles N. Fischer	On Parsing and Compiling Arithmetic Expressions on Vector Computers.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
1	Antoni W. Mazurkiewicz	Concurrent algorithms schemata.	Algorithms in Modern Mathematics and Computer Science	1979	DBLP BibTeX RDF