Search results for "Lock"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Mark Moir	Transparent Support for Wait-Free Transactions.	WDAG	1997	DBLP DOI BibTeX RDF
23	Cristiana Bentes Seidel, Ricardo Bianchini, Claudio Luis de Amorim	The Affinity Entry Consistency Protocol.	ICPP	1997	DBLP DOI BibTeX RDF	Distributed Shared Memory, Coherence Protocols, Relaxed Consistency
23	Shan-hoi Ng, Sheung-lun Hung	Multigranularity Locking in Multiple Job Classes Transaction Processing System.	SIGMOD Rec.	1995	DBLP DOI BibTeX RDF
23	Peter A. Franaszek, Jayant R. Haritsa, John T. Robinson, Alexander Thomasian	Distributed Concurrency Control Based on Limited Wait-Depth.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	Wait-DepthLimited, Wound-Wait CC, distributed 2PL, limited wait-depth, distributedalgorithms, performance evaluation, performance evaluation, distributed algorithms, distributed databases, distributed databases, concurrency control, concurrency control, distributed, transaction processing, transaction processing, deadlocks, database theory, two-phase locking
23	Maurice Herlihy	A Methodology for Implementing Highly Concurrent Objects.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF
23	John M. Mellor-Crummey, Michael L. Scott	Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors.	ACM Trans. Comput. Syst.	1991	DBLP DOI BibTeX RDF
23	Martin I. Reiman, Paul E. Wright	Performance Analysis of Concurrent-Read Exclusive-Write.	SIGMETRICS	1991	DBLP DOI BibTeX RDF
23	Philip S. Yu, Daniel M. Dias, John T. Robinson, Balakrishna R. Iyer, Douglas W. Cornell	Modelling of Centralized Concurrency Control in a Multi-System Environment.	SIGMETRICS	1985	DBLP DOI BibTeX RDF
23	Andreas Reuter 0001	Concurrency on High-trafic Data Elements.	PODS	1982	DBLP DOI BibTeX RDF
22	Byung-Chul Kim, Sang-Woo Jun, Dae-Joon Hwang, Yong-Kee Jun	Visualizing Potential Deadlocks in Multithreaded Programs.	PaCT	2009	DBLP DOI BibTeX RDF	potential deadlocks, lock-causality graph, visualization, debugging, multithreaded programs
22	Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani	Inferring locks for atomic sections.	PLDI	2008	DBLP DOI BibTeX RDF	atomic sections, static lock inference, concurrency
22	Michel Raynal	Locks Considered Harmful: A Look at Non-traditional Synchronization.	SEUS	2008	DBLP DOI BibTeX RDF	Adaptive renaming, Lock-free synchronization, Fault-tolerance, Concurrency, Shared memory system, Asynchronous system, Failure detector, Process crash, Atomic register, Synchronization primitive, Wait-free computation
22	Cliff Click	IWannaBit!	MSPC	2008	DBLP DOI BibTeX RDF	lock-free algorithms, locking, software transactional memory, non-blocking algorithms, hardware transactional memory
22	Milind Kulkarni 0001, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, L. Paul Chew	Optimistic parallelism benefits from data partitioning.	ASPLOS	2008	DBLP DOI BibTeX RDF	lock coarsening, over-decomposition, locality, data partitioning, optimistic parallelism, irregular programs
22	Yubin Zhong	The Design and Research of Controller in Fuzzy PETRI NET.	ICFIE	2007	DBLP DOI BibTeX RDF	Place invariant, Dead lock Phenomenon, Optimize, Controller, Fuzzy PETRI NET
22	David Chase, Yossi Lev	Dynamic circular work-stealing deque.	SPAA	2005	DBLP DOI BibTeX RDF	deque, load balancing, lock-free, work stealing
22	Stijn Dekeyser, Jan Hidders, Jan Paredaens	A Transaction Model for XML Databases.	World Wide Web	2004	DBLP DOI BibTeX RDF	path lock, scheduler, XML, concurrency control, serializability, semistructured data
22	Miltos D. Grammatikakis, Stefan Liesche	Priority Queues and Sorting Methods for Parallel Simulation.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	memory lock, parallel simulation, priority queue, data race, distributed data structure, Concurrent data structure, virtual shared memory, Cray-T3E
22	Hong Tang 0004, Kai Shen, Tao Yang 0009	Program transformation and runtime support for threaded MPI execution on shared-memory machines.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	lock-free synchronization, multiprogrammed environments, threaded execution, MPI, program transformation, shared-memory machines
22	Ravi Rajwar, Alain Kägi, James R. Goodman	Improving the Throughput of Synchronization by Insertion of Delays.	HPCA	2000	DBLP DOI BibTeX RDF	QOLB, Implicit QOLB, tear-off, Lock Prediction, Synchronization, Delays, multiprocessors, shared-memory, Speculation
22	James H. Anderson, Mark Moir	Universal Constructions for Large Objects.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Concurrency, wait-free, lock-free, shared objects, nonblocking synchronization
22	Voon-Yee Vee, Wen-Jing Hsu	A Scalable and Efficient Storage Allocator on Shared Memory Multiprocessors.	ISPAN	1999	DBLP DOI BibTeX RDF	Parallel storage allocators, minimization of lock contention, scalable parallel algorithms
22	Per-Åke Larson, Murali Krishnan	Memory Allocation for Long-Running Server Applications.	ISMM	1998	DBLP DOI BibTeX RDF	cache-conscious algorithms, multiprocessor scalability, reducing lock contention, server applications, concurrency, dynamic memory allocation
22	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
22	James H. Anderson, Rohit Jain, Srikanth Ramamurthy	Wait-free object-sharing schemes for real-time uniprocessors and multiprocessors.	RTSS	1997	DBLP DOI BibTeX RDF	wait-free object-sharing schemes, real-time uniprocessors, real-time multiprocessors, priority inheritance protocol, breakdown utilization experiments, lock-based schemes, multiprocessing systems, nonblocking, user level, priority ceiling protocol
22	Yasuhiro Hirano, Fumiaki Miura, Tetsuji Satoh	Extendible Hashing for Concurrent Insertions and Retrievals.	PDP	1996	DBLP DOI BibTeX RDF	bucket multi-versioning, concurrent insertions, concurrent retrievals, global depth, directory entries, asynchronous modification, lock conflicts, read-only access, split bucket, simulation, concurrency control, multiprocessing systems, configuration management, speedup, file organisation, extendible hashing, processor number
22	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
22	Cai-Dong Wang, Hiroaki Takada, Ken Sakamura	Priority Inheritance Spin Locks for Multiprocessor Real-Time Systems.	ISPAN	1996	DBLP DOI BibTeX RDF	spin lock algorithm, nested locks, real-time system, shared-memory, priority inheritance, priority order
22	Sujata Banerjee, Panos K. Chrysanthis	Data sharing and recovery in gigabit-networked databases.	ICCCN	1995	DBLP DOI BibTeX RDF	wide area gigabit networks, very high speed networks, gigabit-networked databases, lock-based concurrency control protocol, log-based recovery protocol, sequential phases, concurrency control, message passing, data sharing, distributed information systems, data access, data recovery, database servers
22	Gill A. Pratt, John Nguyen	Distributed synchronous clocking.	ARVLSI	1995	DBLP DOI BibTeX RDF	distributed synchronous clocking, hardware clock, synchronous processor, distributed error correction algorithm, global phase alignment, mode lock, k-ary Cartesian meshes, scalability, graph theory, timing, synchronisation, error correction, clocks, phase locked loops, digital systems, clock signals
22	Akhil Kumar 0001, Michael Stonebraker	Performance Considerations for an Operating System Transaction Manager.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	log compressing, considerations, operating system transaction manager, conventional transaction manager, OS transaction manager, lock acquisition, additional semantics, OS transaction system, modified index structure, update operations, DBMS performance, performance evaluation, performance, data structures, software reliability, database management system, database management systems, transaction processing, operating systems (computers), transaction management, performance penalty
22	Mostafa A. Bassiouni	Single-Site and Distributed Optimistic Protocols for Concurrency Control.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	single site protocols, single site networks, lock maintenance, deadlock handling, protocols, distributed databases, distributed databases, concurrency control, computer networks, database management system, system recovery, distributed networks, distributed protocols, time-stamps, performance enhancement, optimistic protocols, synchronization methods
22	Pei-Jyun Leu, Bharat K. Bhargava	Clarification of Two Phase Locking in Concurrent Transaction Processing.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	concurrent transaction processing, lock points, unlock points, read operations, write operations, conflicting transactions, RN2PL, D-serializable, parallel programming, protocols, distributed databases, database theory, two phase locking, semantic description, locking protocol
22	Margaret H. Eich	Graph Directed Locking.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	lock conversion, database flow graph locking, non-two-phase methods, distributed databases, distributed databases, directed graphs, database theory, directed acyclic graph, system recovery, deadlock-free, database concurrency control
20	Pierangelo di Sanzo, Roberto Palmieri, Bruno Ciciani, Francesco Quaglia, Paolo Romano 0002	Analytical modeling of lock-based concurrency control with arbitrary transaction data access patterns.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	concurrency control, two phase locking, data access patterns
20		Lock Manager.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
20		Lock Coupling.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
20		Lock Tuning.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
20	Wei Li 0021, Lingyu Wang 0001, Bo Zhu 0001, Lei Zhang 0004	An Integrity Lock Architecture for Supporting Distributed Authorizations in Database Federations.	SEC	2008	DBLP DOI BibTeX RDF
20	Julie Christopher	Study of optimal load lock dedication for cluster tools.	WSC	2008	DBLP DOI BibTeX RDF
20	Li-Pu Chuang, Ming-Hung Chang, Po-Tsang Huang, Chih-Hao Kan, Wei Hwang	A 5.2mW all-digital fast-lock self-calibrated multiphase delay-locked loop.	ISCAS	2008	DBLP DOI BibTeX RDF
20	Peter Klein 0001, Dimo Maleshkov, Dimitar Asenov	A Framework for Concurrency in Numerical Simulations Using Lock Free Data Structures: The Graph Parallel Architecture GraPA.	PDCAT	2008	DBLP DOI BibTeX RDF
20	Takaaki Mizuki, Yoshinori Kugimoto, Hideaki Sone	Secure Multiparty Computations Using a Dial Lock.	TAMC	2007	DBLP DOI BibTeX RDF
20	Ameet Patil, Neil C. Audsley	An Efficient Page Lock/Release OS Mechanism for Out-of-Core Embedded Applications.	RTCSA	2007	DBLP DOI BibTeX RDF
20	J. Shao, Ling Zheng, Y. N. Li, J. S. Wei, M. G. Luo	The Integrated Control of Anti-lock Braking System and Active Suspension in Vehicle.	FSKD (4)	2007	DBLP DOI BibTeX RDF
20	Hui-Feng Huang, Chin-Chen Chang 0001	An Efficient Key-Lock-Pair Mechanism Based on Division Algorithm.	MUE	2007	DBLP DOI BibTeX RDF
20	Xiaoqi Yang 0003, Qilong Zheng, Guoliang Chen 0001, Shujuan Liu, Jun Luan	Transactional Memory Execution for Parallel Multithread Programming without Lock.	PDCAT	2007	DBLP DOI BibTeX RDF
20	Abdelsalam Shanneb, John Potter	Lock Selection Made Easy.	ASWEC	2006	DBLP DOI BibTeX RDF
20	Huaidong Shi, Ming Cai, Jinxiang Dong	Interrupt Synchronization Lock for Real-time Operating Systems.	CIT	2006	DBLP DOI BibTeX RDF
20	Wanyu Zang, Meng Yu 0001	A Dead-Lock Free Self-healing Algorithm for Distributed Transactional Processes.	ICISS	2006	DBLP DOI BibTeX RDF	Attack recovery, distributed systems, transactional processes, self-healing
20	Arun Kejariwal, Hideki Saito 0001, Xinmin Tian, Milind Girkar, Wei Li 0015, Utpal Banerjee, Alexandru Nicolau, Constantine D. Polychronopoulos	Lightweight lock-free synchronization methods for multithreading.	ICS	2006	DBLP DOI BibTeX RDF
20	Artemis A. Christopoulou, Eleftherios D. Polychronopoulos	A Dynamic Lock Protocol for Scope-Consistency sDSM Systems.	ICPADS (1)	2006	DBLP DOI BibTeX RDF
20	Peter H. R. Popplewell, Victor Karam, Atef Shamim, John W. M. Rogers, Mark Cloutier, Calvin Plett	5.2 GHz self-powered lock and roll radio using VCO injection-locking and on-chip antennas.	ISCAS	2006	DBLP DOI BibTeX RDF
20	David B. Lomet, Richard T. Snodgrass, Christian S. Jensen	Using the Lock Manager to Choose Timestamps.	IDEAS	2005	DBLP DOI BibTeX RDF
20	Tetsuya Asanome, Toshiaki Nonaka, Yasunori Endo, Shin-ichi Nakazawa, Hiroshi Yoshikawa	Evaluation of Control Performance of Multi-stage Fuzzy Reasoning in Anti-lock Braking System for Railways Using Fuzzy Reasoning.	MDAI	2005	DBLP DOI BibTeX RDF
20	Hui Gao, Jan Friso Groote, Wim H. Hesselink	Lock-Free Parallel Garbage Collection.	ISPA	2005	DBLP DOI BibTeX RDF
20	Myung-Keun Kim, Hae-Young Bae	Improved Concurrency Control Technique with Lock-Free Querying for Multi-dimensional Index Structure.	AIRS	2005	DBLP DOI BibTeX RDF
20	Håkan Sundell, Philippas Tsigas	Scalable and lock-free concurrent dictionaries.	SAC	2004	DBLP DOI BibTeX RDF	concurrent, shared memory, dictionary, non-blocking
20	Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir	Formal Verification of a Practical Lock-Free Queue Algorithm.	FORTE	2004	DBLP DOI BibTeX RDF
20	Arthur C. S. Wong, Kwok-Wa Lam, Karmen K. M. Ho, Victor C. S. Lee	Using Lock-Based Checking Protocol for Efficient Data Broadcast in Mobile Environments.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
20	Alexander V. Supalov	Lock-Free Collective Operations.	PVM/MPI	2003	DBLP DOI BibTeX RDF
20	Peter Rundberg, Per Stenström	Speculative Lock Reordering: Optimistic Out-of-Order Execution of Critical Sections.	IPDPS	2003	DBLP DOI BibTeX RDF
20	Joohwan Park, Franco Maloberti	Phase noise improvement in fractional-N synthesizer with 90° phase shift lock.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
20	Maurice Herlihy, Victor Luchangco, Mark Moir	The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures.	DISC	2002	DBLP DOI BibTeX RDF
20	Angelo Brayner	Lock Downgrading: An Approach to Increase Inter-transaction Parallelism in Advanced Database Applications.	DEXA	2001	DBLP DOI BibTeX RDF
20	Antti Puhakka	Weakest Congruence Results Concerning "Any-Lock".	TACS	2001	DBLP DOI BibTeX RDF
20	P. Krishna Reddy, Masaru Kitsuregawa	Speculative Lock Management to Increase Concurrency in Mobile Environments.	MDA	1999	DBLP DOI BibTeX RDF
20	Lim Chu Aun, S. M. Rezaul Hasan	An all Digital BiCMOS Phase Lock Loop for VLSI Processors.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF
20	Fernando de Ferreira Rezende, Theo Härder	A Lock Method for KBMSs Using Abstraction Relationships' Semantics.	CIKM	1994	DBLP DOI BibTeX RDF
20	Stephen S. Lavenberg	A Simple Analysis of Exclusive and Shared Lock Contention in a Database System.	SIGMETRICS	1984	DBLP DOI BibTeX RDF
15	Saba Sehrish, Jun Wang 0001, Rajeev Thakur	Conflict Detection Algorithm to Minimize Locking for MPI-IO Atomicity.	PVM/MPI	2009	DBLP DOI BibTeX RDF
15	Hiroshi Inoue, Toshio Nakatani	How a Java VM can get more from a hardware performance monitor.	OOPSLA	2009	DBLP DOI BibTeX RDF	profiling, hardware performance monitor, calling context
15	Yin Wang 0001, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke	The theory of deadlock avoidance via discrete control.	POPL	2009	DBLP DOI BibTeX RDF	discrete control theory, dynamic deadlock avoidance, parallel programming, concurrent programming, multicore processors, multithreaded programming
15	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
15	Xiongpai Qin, Wei Cao, Shan Wang 0001	Lightweight Data Mining Based Database System Self-optimization: A Case Study.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF	database self-optimization, neural network predictor, rule engine
15	Haggai Eran, Ohad Lutzky, Zvika Guz, Idit Keidar	Transactifying Apache's cache module.	SYSTOR	2009	DBLP DOI BibTeX RDF	software transactional memory
15	Degui Feng, Guanjun Jiang, Tiefei Zhang, Wei Hu 0001, Tianzhou Chen, Mingteng Cao	SPMTM: A Novel ScratchPad Memory Based Hybrid Nested Transactional Memory Framework.	APPT	2009	DBLP DOI BibTeX RDF	synchronization, Chip multiprocessor, transactional memory, scratchpad memory
15	Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Benjamin G. Zorn, Rahul Nagpal, Karthik Pattabiraman	Detecting and tolerating asymmetric races.	PPoPP	2009	DBLP DOI BibTeX RDF	race detection and toleration, dynamic instrumentation, runtime support
15	Danny Hendler, Nir Shavit	Solo-valency and the cost of coordination.	Distributed Comput.	2008	DBLP DOI BibTeX RDF
15	Stephen K. Sunter, Aubin Roy	Noise-Insensitive Digital BIST for any PLL or DLL.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	BIST, Jitter, Design for test, PLL, Mixed-signal test, DLL
15	Kun Wang, Yu Zhang, Huayong Wang, Xiaowei Shen	Parallelization of IBM mambo system simulator in functional modes.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF	parallel simulation, dynamic binary translation, architectural simulation
15	Wesley Tansey, Eli Tilevich	Annotation refactoring: inferring upgrade transformations for legacy applications.	OOPSLA	2008	DBLP DOI BibTeX RDF	java, metadata, frameworks, annotations, refactoring, eclipse, JUnit, upgrading
15	Yi Liu 0013, Xin Zhang, He Li, Mingxiu Li, Depei Qian	Hardware Transactional Memory Supporting I/O Operations within Transactions.	HPCC	2008	DBLP DOI BibTeX RDF
15	Dave Cunningham, Khilan Gudka, Susan Eisenbach	Keep Off the Grass: Locking the Right Path for Atomicity.	CC	2008	DBLP DOI BibTeX RDF
15	Dag Hovland	A Type System for Usage of Software Components.	TYPES	2008	DBLP DOI BibTeX RDF	Component Usage, Process Model, Type System, Parallel Execution, Component Software
15	Kristijan Dragicevic, Daniel Bauer 0001	A survey of concurrent priority queue algorithms.	IPDPS	2008	DBLP DOI BibTeX RDF
15	Chenjie Yu, Peter Petrov	Distributed and low-power synchronization architecture for embedded multiprocessors.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	synchronization, multiprocessor
15	Mohammad Ansari, Christos Kotselidis, Ian Watson, Chris C. Kirkham, Mikel Luján, Kim Jarvis	Lee-TM: A Non-trivial Benchmark Suite for Transactional Memory.	ICA3PP	2008	DBLP DOI BibTeX RDF
15	Richard M. Yoo, Hsien-Hsin S. Lee	Adaptive transaction scheduling for transactional memory systems.	SPAA	2008	DBLP DOI BibTeX RDF	contention intensity, transaction effectiveness, transactional memory systems, performance, parallelism
15	Salvatore Vitabile, Salvatore Bono, Filippo Sorbello	An Embedded Real-Time Lane-Keeper for Automatic Vehicle Driving.	CISIS	2008	DBLP DOI BibTeX RDF
15	Samik Basu 0001, Scott A. Smolka	Model checking the Java metalocking algorithm.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	XMC, metalocking, monitor queues, Java, mutual exclusion, synchronized methods
15	K. H. Kim, Juan A. Colmenares, Kee-Wook Rim	Efficient Adaptations of the Non-Blocking Buffer for Event Message Communication between Real-Time Threads.	ISORC	2007	DBLP DOI BibTeX RDF	event message communication, producer-consumer, concurrent programming, real-time computing systems, non-blocking algorithms
15	Vineet Kahlon, Yu Yang 0013, Sriram Sankaranarayanan 0001, Aarti Gupta	Fast and Accurate Static Data-Race Detection for Concurrent Programs.	CAV	2007	DBLP DOI BibTeX RDF
15	David Dice, Nir Shavit	Understanding Tradeoffs in Software Transactional Memory.	CGO	2007	DBLP DOI BibTeX RDF
15	Cheng Wang 0013, Wei-Yu Chen, Youfeng Wu, Bratin Saha, Ali-Reza Adl-Tabatabai	Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language.	CGO	2007	DBLP DOI BibTeX RDF
15	Jon A. Preston, Xiaolin Hu, Sushil K. Prasad	Simulation-based architectural design and implementation of a real-time collaborative editing system.	SpringSim (2)	2007	DBLP BibTeX RDF	OT, dynamic locking, real-time collaborative editing, DEVS, communication costs
15	Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv	Thread-modular shape analysis.	PLDI	2007	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, concurrent programming, shape analysis
15	James F. Campbell, L. Douglas Smith, Donald C. Sweeney II, Ray Mundy, Robert M. Nauss	Decision Tools for Reducing Congestion at Locks on the Upper Mississippi River.	HICSS	2007	DBLP DOI BibTeX RDF
15	William W. Pugh, Nathaniel Ayewah	Unit testing concurrent software.	ASE	2007	DBLP DOI BibTeX RDF	JUnit test cases, concurrent abstraction, multithreadedTC, java, testing framework
15	Hans-Juergen Boehm	Reordering constraints for pthread-style locks.	PPoPP	2007	DBLP DOI BibTeX RDF	memory barriers, memory fences, optimization, threads, locks, data race, pthreads, code reordering