Search results for "locks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Pierre-Nicolas Clauss, Jens Gustedt	Iterative computations with ordered read-write locks.	J. Parallel Distributed Comput.	2010	DBLP DOI BibTeX RDF
18	Ming Fu, Yu Zhang 0086, Yong Li	Formal verification of concurrent programs with read-write locks.	Frontiers Comput. Sci. China	2010	DBLP DOI BibTeX RDF
18	Nalini Vasudevan, Kedar S. Namjoshi, Stephen A. Edwards	Simple and fast biased locks.	PACT	2010	DBLP DOI BibTeX RDF
18	Tevfik Bultan, Fang Yu 0001, Aysu Betin-Can	Modular verification of synchronization with reentrant locks.	MEMOCODE	2010	DBLP DOI BibTeX RDF
18	K. Rustan M. Leino, Peter Müller 0001, Jan Smans	Deadlock-Free Channels and Locks.	ESOP	2010	DBLP DOI BibTeX RDF
18	Luke Dalessandro, David Dice, Michael L. Scott, Nir Shavit, Michael F. Spear	Transactional Mutex Locks.	Euro-Par (2)	2010	DBLP DOI BibTeX RDF
18	Azadeh Farzan, Zachary Kincaid	Compositional Bitvector Analysis for Concurrent Programs with Nested Locks.	SAS	2010	DBLP DOI BibTeX RDF
18	San-Tsai Sun, Yazan Boshmaf, Kirstie Hawkey, Konstantin Beznosov	A billion keys, but few locks: the crisis of web single sign-on.	NSPW	2010	DBLP DOI BibTeX RDF
18	Mariano Ceccato, Paolo Tonella	Static analysis for enforcing intra-thread consistent locks in the migration of a legacy system.	ICSM	2010	DBLP DOI BibTeX RDF
18	L. Douglas Smith, Donald C. Sweeney II, James F. Campbell	Simulation of alternative approaches to relieving congestion at locks in a river transportion system.	J. Oper. Res. Soc.	2009	DBLP DOI BibTeX RDF
18	Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas	A Concurrent Language with a Uniform Treatment of Regions and Locks	PLACES	2009	DBLP DOI BibTeX RDF
18	Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps	A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks.	SPIN	2009	DBLP DOI BibTeX RDF
18	Damien Imbs, Michel Raynal	Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort.	ICDCN	2009	DBLP DOI BibTeX RDF
18	James F. Campbell, L. Douglas Smith, Donald C. Sweeney II	A Robust Strategy for Managing Congestion at Locks on the Upper Mississippi River.	HICSS	2009	DBLP DOI BibTeX RDF
18	Alphonse Baartmans, Sharad S. Sane	Blocker sets, orthogonal arrays and their application to combination locks.	Discret. Math.	2008	DBLP DOI BibTeX RDF
18	Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas	Efficient self-tuning spin-locks using competitive analysis.	J. Syst. Softw.	2007	DBLP DOI BibTeX RDF
18	Krzysztof Skrzypczyk	Behavior activity trace method - application to dead locks detection in a mobile robot navigation.	ICINCO-RA (2)	2007	DBLP BibTeX RDF
18	Virendra J. Marathe, Mark Moir, Nir Shavit	Composite Abortable Locks.	IPDPS	2006	DBLP DOI BibTeX RDF
18	Matt Blaze	Picking Locks with Cryptology.	LISA	2005	DBLP BibTeX RDF
18	Thomas Schöbel-Theuer	Speculative prefetching of optional locks in distributed systems.	Parallel and Distributed Computing and Networks	2004	DBLP BibTeX RDF
18	Davide Martinenghi	Optimal Database Locks for Efficient Integrity Checking.	ADBIS (Local Proceedings)	2004	DBLP BibTeX RDF
18	Matt Blaze	Cryptology and Physical Security: Rights Amplification in Master-Keyed Mechanical Locks.	IACR Cryptol. ePrint Arch.	2002	DBLP BibTeX RDF
18	Arun Gandhi, Elizabeth Varki, Swapnil Bhatia	Reader-Writer Locks for Network Attached Storage and Storage Area Networks.	CATA	2002	DBLP BibTeX RDF
18	Weigang Ni, Susan V. Vrbsky	Virtual Locks: A Concurrency Control Protocol for Adaptive Broadcasting System.	CATA	2002	DBLP BibTeX RDF
18	Oskar Scheikl, Jonathan Lane, Robert Boyer, Mohamed Eltoweissy	Multi-level Secure Multicast: The Rethinking of Secure Locks.	ICPP Workshops	2002	DBLP DOI BibTeX RDF
18	Akihiro Kaieda, Yasuichi Nakayama, Atsuhiro Tanaka, Takashi Horikawa, Toshiyasu Kurasugi, Issei Kino	Analysis and measurement of the effect of kernel locks in SMP systems.	Concurr. Comput. Pract. Exp.	2001	DBLP DOI BibTeX RDF
18	Isabelle Attali, Denis Caromel, Marjorie Russo	Graphical Visualization of Java Objects, Threads, and Locks.	IEEE Distributed Syst. Online	2001	DBLP BibTeX RDF
18	David Dice	Implementing Fast Java Monitors with Relaxed-Locks.	Java Virtual Machine Research and Technology Symposium	2001	DBLP BibTeX RDF
18	Victor Luchangco	Modeling weakly consistent memories with locks.	SPAA	2001	DBLP DOI BibTeX RDF
18	Claus Wagner, Frank Mueller 0001	Token-Based Read/Write-Locks for Distributed Mutual Exclusion.	Euro-Par	2000	DBLP DOI BibTeX RDF
18	Andrew P. Barry, Mike Tilstra, Matthew T. O'Keefe, Kenneth W. Preslan, Gerry Houlder, Jim Coomes, James Wayda	An Overview of Version 0.9.5 Proposed SCSI Device Locks.	IEEE Symposium on Mass Storage Systems	2000	DBLP BibTeX RDF
18	John Hawkes	Lockmeter: Highly Informative Instrumentation for Spin Locks in the Linux Kernel.	Annual Linux Showcase & Conference	2000	DBLP BibTeX RDF
18	Hector Garcia-Molina	Review - The Notions of Consistency and Predicate Locks in a Database System.	ACM SIGMOD Digit. Rev.	1999	DBLP BibTeX RDF
18	Steve Adams	Oracle8i internal services - for waits, latches, locks, and memory.		1999	RDF
18	Kenneth W. Preslan, Steven R. Soltis, Christopher Sabol, Matthew T. O'Keefe	Device Locks: Mutual Exclusion for Storage Area Networks.	IEEE Symposium on Mass Storage Systems	1999	DBLP DOI BibTeX RDF
18	Guang-Ien Cheng, Mingdong Feng, Charles E. Leiserson, Keith H. Randall, Andrew F. Stark	Detecting Data Rase in Cilk Programs That use Locks.	SPAA	1998	DBLP DOI BibTeX RDF	algorithm, parallel programming, debugging, multithreading, data race, race detection, Cilk
18	Mark Burgess, Demosthenes Skipitaris	Adaptive Locks For Frequently Scheduled Tasks With Unpredictable Runtimes.	LISA	1997	DBLP BibTeX RDF
18	Theodore Johnson, Richard E. Newman-Wolfe	A Comparison of Fast and Low Overhead Distributed Priority Locks.	J. Parallel Distributed Comput.	1996	DBLP DOI BibTeX RDF
18	Fernando de Ferreira Rezende, Theo Härder	Multiple Granularity Locks for the KBMS Environment.	International Hong Kong Computer Society Database Workshop	1996	DBLP BibTeX RDF
18	D. Brent Bandy	Simulation of the Illinois Waterway Locks System.	WSC	1996	DBLP DOI BibTeX RDF
18	Philip Bohannon, Daniel F. Lieuwen, Abraham Silberschatz	Recovering scalable spin locks.	SPDP	1996	DBLP DOI BibTeX RDF
18	Dieter Scheerer, Eugen Schenfeld, Marc A. Viredas	Multi-Dimensional Locks with Online Allocation.	ICDCS	1996	DBLP DOI BibTeX RDF
18	Jinn-ke Jan, Min-Jinn Jan	A New Dynamic Access Control Method Using Binary Locks.	J. Inf. Sci. Eng.	1995	DBLP BibTeX RDF
18	Divyakant Agrawal, Amr El Abbadi	Constrained Shared Locks for Increased Concurrency in Databases.	J. Comput. Syst. Sci.	1995	DBLP DOI BibTeX RDF
18	Georg Lausen, Eljas Soisalon-Soininen	Safety by Uninterpreted Locks	Inf. Comput.	1995	DBLP DOI BibTeX RDF
18	Divyakant Agrawal, Amr El Abbadi, Richard Jeffers, Lijing Lin	Ordered Shared Locks for Real-Time Databases	VLDB J.	1995	DBLP BibTeX RDF
18	Divyakant Agrawal, Amr El Abbadi, A. E. Lang	The Performance of Protocols Based on Locks with Ordered Sharing.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF
18	Peter S. Magnusson, Anders Landin, Erik Hagersten	Queue Locks on Cache Coherent Multiprocessors.	IPPS	1994	DBLP DOI BibTeX RDF
18	Robert W. Wisniewski, Leonidas I. Kontothanassis, Michael L. Scott	Scalable Spin Locks for Multiprogrammed Systems.	IPPS	1994	DBLP DOI BibTeX RDF
18	Gudjon Hermannsson, Larry D. Wittie	Fast Locks in Distributed Shared Memory Systems.	HICSS (1)	1994	DBLP BibTeX RDF
18	Debra A. Hensgen, David L. Sims, David Charley	A Fair Banker's Algorithm for Read and Write Locks.	Inf. Process. Lett.	1993	DBLP DOI BibTeX RDF
18	Bodhisattwa Mukherjee, Karsten Schwan	Experiments with Configurable Locks for Multiprocessors.	ICPP (2)	1993	DBLP DOI BibTeX RDF
18	J. Gregory Morrisett, Andrew P. Tolmach	Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey.	PPoPP	1993	DBLP DOI BibTeX RDF	Standard ML
18	Chu-Hsing Lin, Chin-Chen Chang 0001, Richard C. T. Lee	A conference key broadcasting system using sealed locks.	Inf. Syst.	1992	DBLP DOI BibTeX RDF
18	E. Ammann	Implementing Locks in Distributed-Memory Multiprocessors.	ARCS	1992	DBLP BibTeX RDF
18	Wilson C. Hsieh, William E. Weihl	Scalable Reader-Writer Locks for Parallel Systems.	IPPS	1992	DBLP DOI BibTeX RDF
18	Divyakant Agrawal, Amr El Abbadi, A. E. Lang	Performance Characteristics of Protocols With Ordered Shared Locks.	ICDE	1991	DBLP DOI BibTeX RDF
18	D. Brent Bandy	Simulation of Fox River locks boat lift.	WSC	1991	DBLP DOI BibTeX RDF	SLAM
18	Ugur Halici, Asuman Dogac	Concurrency control in distributed databases through dummy locks.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
18	Timo Leinonen, A. Saksa	Expert System for Key Combination Design of Door Locks.	SCAI	1989	DBLP BibTeX RDF
18	Roger M. Needham, Michael Burrows	Locks in Distributed Systems - Observations.	ACM SIGOPS Oper. Syst. Rev.	1988	DBLP BibTeX RDF
18	D. Brent Bandy	Fox river locks SLAM simulation model.	WSC	1988	DBLP DOI BibTeX RDF
18	Debasis Mitra	Probabilistic Models and Asymptotic Results for Concurrent Processing with Exclusive and Non-Exclusive Locks.	SIAM J. Comput.	1985	DBLP DOI BibTeX RDF
18	Anna Hac	On the modeling of read and write locks on a distributed system.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
18	Ouri Wolfson	Concurrency Control using Locks in Distributed Databases.		1984	RDF
18	Zvi M. Kedem, Abraham Silberschatz	Locking Protocols: From Exclusive to Shared Locks	J. ACM	1983	DBLP DOI BibTeX RDF
18	Jörg Hofmann, Hermann Schmutz	Performance Analysis of Suspend Locks in Operating Systems.	IBM J. Res. Dev.	1982	DBLP DOI BibTeX RDF
18	Henry F. Korth	Edge Locks and Deadlock Avoidance in Distributed Systems.	PODC	1982	DBLP DOI BibTeX RDF
18	Zvi M. Kedem, Abraham Silberschatz	Non-Two-Phase Locking Protocols with Shared and Exclusive Locks.	VLDB	1980	DBLP BibTeX RDF
18	D. C. Gilbert	Modeling Spin Locks with Queuing Networks.	ACM SIGOPS Oper. Syst. Rev.	1978	DBLP DOI BibTeX RDF
18	Kapali P. Eswaran, Jim Gray 0001, Raymond A. Lorie, Irving L. Traiger	The Notions of Consistency and Predicate Locks in a Database System.	Commun. ACM	1976	DBLP DOI BibTeX RDF
18	Jim Gray 0001, Raymond A. Lorie, Gianfranco R. Putzolu, Irving L. Traiger	Granularity of Locks and Degrees of Consistency in a Shared Data Base.	IFIP Working Conference on Modelling in Data Base Management Systems	1976	DBLP BibTeX RDF
18	Jim Gray 0001, Raymond A. Lorie, Gianfranco R. Putzolu, Irving L. Traiger	Granularity of Locks in a Large Shared Data Base.	VLDB	1975	DBLP DOI BibTeX RDF
9	Jean-Phillipe Martin, Michael Hicks 0001, Manuel Costa, Periklis Akritidis, Miguel Castro 0001	Dynamically checking ownership policies in concurrent c/c++ programs.	POPL	2010	DBLP DOI BibTeX RDF	security, testing, concurrency, debugging, tools, dynamic analysis
9	Niklas Broberg, David Sands 0001	Paralocks: role-based information flow control and beyond.	POPL	2010	DBLP DOI BibTeX RDF	information flow, security policies, language based security
9	Martin Zabel, Rainer G. Spallek	Application requirements and efficiency of embedded Java bytecode multi-cores.	JTRES	2010	DBLP DOI BibTeX RDF	multi-core, multi-threaded, realtime, Java bytecode
9	Lukasz Ziarek	PRP: priority rollback protocol -- a PIP extension for mixed criticality systems: short paper.	JTRES	2010	DBLP DOI BibTeX RDF	prioirty inheritance protocol
9	Felipe Klein, Alexandro Baldassin, João Moreira, Paulo Centoducatte, Sandro Rigo, Rodolfo Azevedo	STM versus lock-based systems: an energy consumption perspective.	ISLPED	2010	DBLP DOI BibTeX RDF	lock-based systems, parallel programming, low power design, transactional memory, multi-core
9	Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas	Race-free and memory-safe multithreading: design and implementation in cyclone.	TLDI	2010	DBLP DOI BibTeX RDF	safe multithreading, type and effect systems, region-based memory management, cyclone
9	Donald E. Porter, Emmett Witchel	Modeling transactional memory workload performance.	PPoPP	2010	DBLP DOI BibTeX RDF	syncchar, performance, transactional memory
9	Charles E. Leiserson, Tao B. Schardl	A work-efficient parallel breadth-first search algorithm (or how to cope with the nondeterminism of reducers).	SPAA	2010	DBLP DOI BibTeX RDF	hyperobjects, parallel algorithms, multithreading, graph algorithms, reducers, nondeterminism, work-stealing, breadth-first search, cilk
9	Michael F. Spear	Lightweight, robust adaptivity for software transactional memory.	SPAA	2010	DBLP DOI BibTeX RDF	adaptivity, synchronization, atomicity, serializability
9	Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov	The complexity of obstruction-free implementations.	J. ACM	2009	DBLP DOI BibTeX RDF	perturbable objects, solo-fast implementations, step contention, lower bounds, Shared memory, memory contention
9	Yang Zhao, John Boyland	Assuring Lock Usage in Multithreaded Programs with Fractional Permissions.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
9	Songyun Duan, Peter Franklin, Vamsidhar Thummala, Dongdong Zhao, Shivnath Babu	Shaman: A Self-Healing Database System.	ICDE	2009	DBLP DOI BibTeX RDF
9	Saba Sehrish, Jun Wang 0001, Rajeev Thakur	Conflict Detection Algorithm to Minimize Locking for MPI-IO Atomicity.	PVM/MPI	2009	DBLP DOI BibTeX RDF
9	Antonino Tumeo, Christian Pilato, Gianluca Palermo, Fabrizio Ferrandi, Donatella Sciuto	HW/SW methodologies for synchronization in FPGA multiprocessors.	FPGA	2009	DBLP DOI BibTeX RDF	fpga, synchronization, multiprocessors
9	Nalini Vasudevan, Stephen A. Edwards	Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore.	SAC	2009	DBLP DOI BibTeX RDF	SHIM, parallelism, compiler, concurrency, cell processor
9	Gérard Boudol	A Deadlock-Free Semantics for Shared Memory Concurrency.	ICTAC	2009	DBLP DOI BibTeX RDF
9	Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad	Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures.	DAMP	2009	DBLP DOI BibTeX RDF	eden, multicore parallelism, haskell, algorithmic skeletons
9	Rudolf Fleischer, Xi Wu 0001, Liwei Yuan	Experimental Study of FPT Algorithms for the Directed Feedback Vertex Set Problem.	ESA	2009	DBLP DOI BibTeX RDF
9	Malay K. Ganai, Sudipta Kundu	Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions.	SPIN	2009	DBLP DOI BibTeX RDF
9	Ulan Degenbaev, Wolfgang J. Paul, Norbert Schirmer	Pervasive Theory of Memory.	Efficient Algorithms	2009	DBLP DOI BibTeX RDF
9	Jules Villard, Étienne Lozes, Cristiano Calcagno	Proving Copyless Message Passing.	APLAS	2009	DBLP DOI BibTeX RDF
9	Qingbo Yuan, Yungang Bao, Mingyu Chen 0001, Ninghui Sun	A Scalability Analysis of the Symmetric Multiprocessing Architecture in Multi-Core System.	NAS	2009	DBLP DOI BibTeX RDF
9	Flavio Paiva Junqueira, Benjamin C. Reed	Brief Announcement Zab: A Practical Totally Ordered Broadcast Protocol.	DISC	2009	DBLP DOI BibTeX RDF
9	Evangelos Bampas, Leszek Gasieniec, Nicolas Hanusse, David Ilcinkas, Ralf Klasing, Adrian Kosowski	Euler Tour Lock-In Problem in the Rotor-Router Model.	DISC	2009	DBLP DOI BibTeX RDF
9	Ryan Johnson 0001, Manos Athanassoulis, Radu Stoica, Anastasia Ailamaki	A new look at the roles of spinning and blocking.	DaMoN	2009	DBLP DOI BibTeX RDF
9	Nikos Anastopoulos, Konstantinos Nikas, Georgios I. Goumas, Nectarios Koziris	Early experiences on accelerating Dijkstra's algorithm using transactional memory.	IPDPS	2009	DBLP DOI BibTeX RDF
9	Cliff Click	Java on 1000 Cores: Tales of Hardware/Software Co-design.	ECOOP	2009	DBLP DOI BibTeX RDF