Search results for "locks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Dehao Chen, Chunrong Lai, Wei Hu 0002, Wenguang Chen, Yimin Zhang 0002, Weimin Zheng	Tree partition based parallel frequent pattern mining on shared memory systems.	IPDPS	2006	DBLP DOI BibTeX RDF
9	Jürg Gutknecht	The Dining Philosophers Problem Revisited.	JMLC	2006	DBLP DOI BibTeX RDF
9	Volkan Arslan, Patrick Eugster, Piotr Nienaltowski, Sebastien Vaucouleur	SCOOP - Concurrency Made Easy.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF
9	Guy L. Steele Jr.	Parallel Programming and Parallel Abstractions in Fortress.	FLOPS	2006	DBLP DOI BibTeX RDF
9	Anthony Discolo, Tim Harris 0001, Simon Marlow, Simon L. Peyton Jones, Satnam Singh	Lock Free Data Structures Using STM in Haskell.	FLOPS	2006	DBLP DOI BibTeX RDF
9	Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks 0001	Existential Label Flow Inference Via CFL Reachability.	SAS	2006	DBLP DOI BibTeX RDF
9	Damian Cieslicki, Stefan Schäckeler, Thomas Schwarz	Efficient Updates in Highly Available Distributed Random Access Memory.	ICPADS (1)	2006	DBLP DOI BibTeX RDF
9	Alois Ferscha, Clemens Holzmann, Stefan Resmerita	The Key Knob.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
9	Peter Thiemann 0001	User-level transactional programming in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF
9	César A. Muñoz, Victor Carreño, Gilles Dowek	Formal Analysis of the Operational Concept for the Small Aircraft Transportation System.	RODIN Book	2006	DBLP DOI BibTeX RDF
9	Sanjeev Kumar, Michael Chu, Christopher J. Hughes, Partha Kundu, Anthony D. Nguyen	Hybrid transactional memory.	PPoPP	2006	DBLP DOI BibTeX RDF	transactions, transactional memory, nonblocking, architecture support
9	Bratin Saha, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Chi Cao Minh, Ben Hertzberg	McRT-STM: a high performance software transactional memory system for a multi-core runtime.	PPoPP	2006	DBLP DOI BibTeX RDF	atomic constructs, two-phase locking and read-versioning, software transactional memory, runtime environment
9	Naoki Kobayashi 0001	Type-based information flow analysis for the pi-calculus.	Acta Informatica	2005	DBLP DOI BibTeX RDF
9	Vinay Kanitkar, Alex Delis	Efficient Processing of Client Transactions in Real-Time.	Distributed Parallel Databases	2005	DBLP DOI BibTeX RDF	real-time transaction scheduling, transaction-shipping, client-server databases
9	Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter	The formal design of distributed controllers with dSL and Spin.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Transparent code distribution, Verification, Spin, Industrial process control
9	Seunglak Choi, Hyukjae Jang, Hangkyu Kim, Jungsook Kim, Su Myeon Kim, Junehwa Song, Yoon-Joon Lee	Maintaining Consistency Under Isolation Relaxation of Web Services Transactions.	WISE	2005	DBLP DOI BibTeX RDF
9	Chih-Chin Liang, Ping-Yu Hsu 0001, Jun-Der Leu, Hsing Paul Luh	An Effective Approach for Content Delivery in an Evolving Intranet Environment - A Case Study of the Largest Telecom Company in Taiwan.	WISE	2005	DBLP DOI BibTeX RDF	intranet systems, routing algorithms, system integration
9	Marcos Kawazoe Aguilera, Ramaprabhu Janakiraman, Lihao Xu	Using Erasure Codes Efficiently for Storage in a Distributed System.	DSN	2005	DBLP DOI BibTeX RDF
9	David T. McWherter, Bianca Schroeder, Anastassia Ailamaki, Mor Harchol-Balter	Improving Preemptive Prioritization via Statistical Characterization of OLTP Locking.	ICDE	2005	DBLP DOI BibTeX RDF
9	Alain Léger, Lyndon J. B. Nixon, Pavel Shvaiko	On Identifying Knowledge Processing Requirements.	ISWC	2005	DBLP DOI BibTeX RDF
9	Davide Martinenghi, Henning Christiansen 0001	Transaction Management with Integrity Checking.	DEXA	2005	DBLP DOI BibTeX RDF
9	Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani	Sound Transaction-Based Reduction Without Cycle Detection.	SPIN	2005	DBLP DOI BibTeX RDF
9	José Maria Monteiro, Angelo Brayner	Controlling Concurrency in Mobile Computing Environments with Broadcast-Based Data Dissemination.	Euro-Par	2005	DBLP DOI BibTeX RDF
9	Simon Oechsner, Oliver Rose	Scheduling cluster tools using filtered beam search and recipe comparison.	WSC	2005	DBLP DOI BibTeX RDF
9	Maurice Herlihy, Ye Sun	Distributed Transactional Memory for Metric-Space Networks.	DISC	2005	DBLP DOI BibTeX RDF
9	Amy L. Williams, William Thies, Michael D. Ernst	Static Deadlock Detection for Java Libraries.	ECOOP	2005	DBLP DOI BibTeX RDF
9	Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin 0001, Jan Vitek	Preemptible Atomic Regions for Real-Time Java.	RTSS	2005	DBLP DOI BibTeX RDF
9	Frédéric Loulergue, Frédéric Gava, David Billiet	Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
9	Cormac Flanagan, Stephen N. Freund, Marina Lifshin	Type inference for atomicity.	TLDI	2005	DBLP DOI BibTeX RDF	concurrency, reduction, type inference, atomicity
9	You Zheng, Carlos E. Saavedra	A BPSK demodulator circuit using an anti-parallel synchronization loop.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
9	José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil, Francesc D. Muñoz-Escoí	A Lock Based Algorithm for Concurrency Control and Recovery in a Middleware Replication Software Architecture.	HICSS	2005	DBLP DOI BibTeX RDF
9	Liqiang Wang, Scott D. Stoller	Static analysis of atomicity for programs with non-blocking synchronization.	PPoPP	2005	DBLP DOI BibTeX RDF	verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking
9	Richard E. Jones, Andy C. King	A Fast Analysis for Thread-Local Garbage Collection with Dynamic Class Loading.	SCAM	2005	DBLP DOI BibTeX RDF
9	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
9	Ravi Rajwar, Alain Kägi, James R. Goodman	Inferential Queueing and Speculative Push.	Int. J. Parallel Program.	2004	DBLP DOI BibTeX RDF	inferential queueing, migratory sharing, Synchronization, critical sections, data forwarding
9	Richard H. Carver, Yu Lei 0001	A General Model for Reachability Testing of Concurrent Programs.	ICFEM	2004	DBLP DOI BibTeX RDF
9	Rodrigo S. Jamisola, Anthony A. Maciejewski, Rodney G. Roberts	Failure-tolerant Path Planning for the PA-10 Robot Operating amongst Obstacles.	ICRA	2004	DBLP DOI BibTeX RDF
9	Guojing Cong, David A. Bader	Lock-Free Parallel Algorithms: An Experimental Study.	HiPC	2004	DBLP DOI BibTeX RDF	Lock-free Data Structures, High-Performance Algorithm Engineering, Parallel Algorithms, Shared Memory
9	Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking	A Semantic Framework for Designer Transactions.	ESOP	2004	DBLP DOI BibTeX RDF
9	Xianghua Xu, Jiajun Bu, Chun Chen 0001, Yong Li 0004	Distributed Dynamic-Locking in Real-Time Collaborative Editing Systems.	CRIWG	2004	DBLP DOI BibTeX RDF
9	Abha Mittal, Sivarama P. Dandamudi	Dynamic versus Static Locking in Real-Time Parallel Database Systems.	IPDPS	2004	DBLP DOI BibTeX RDF
9	Qirong Mao, Yongzhao Zhan, Jinfeng Wang	Optimistic Locking Concurrency Control Scheme for Collaborative Editing System Based on Relative Position.	CSCWD (Selected papers)	2004	DBLP DOI BibTeX RDF
9	Maged M. Michael	Scalable lock-free dynamic memory allocation.	PLDI	2004	DBLP DOI BibTeX RDF	async-signal-safe, malloc, availability, lock-free
9	Youngduk Seo, Donghyun Kim, Bonghee Hong	Concurrent Updating of Large Spatial Objects.	DASFAA	2004	DBLP DOI BibTeX RDF
9	Justin J. Song, Eric Q. Li, Wei Hu 0002, Steven Ge, Chunrong Lai, Yimin Zhang 0002, Xuegong Zhang, Wenguang Chen, Weimin Zheng	Parallelization of Bayesian Network based SNPs Pattern Analysis and Performance Characterization on SMP/HT.	ICPADS	2004	DBLP DOI BibTeX RDF
9	Frédéric Gava	Design of Departmental Metacomputing ML.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
9	Frédéric Loulergue	Communication Primitives for Minimally Synchronous Parallel ML.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
9	Frédéric Gava	Parallel I/O in Bulk-Synchronous Parallel ML.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
9	Liubo Chen, Masaaki Mizuno, Gurdip Singh	A Priority Inheritance-based Inversion Control Methodology for General Resource Access Problems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF	Priority inheritance protocol, Priority inversion control, Resource Access Control, Global invariant based synchronization
9	Zièd Choukair, Makoto Takizawa 0001	Multimedia Wireless Interactive and Collaborative Telecom Services.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF	Priority management, semantic pertinence, QoS, Adaptivity, Rendering, UMTS
9	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
9	Adam Welc, Antony L. Hosking, Suresh Jagannathan	Preemption-Based Avoidance of Priority Inversion for Java.	ICPP	2004	DBLP DOI BibTeX RDF
9	Lance Hammond, Vicky Wong, Michael K. Chen, Brian D. Carlstrom, John D. Davis, Ben Hertzberg, Manohar K. Prabhu, Honggo Wijaya, Christos Kozyrakis, Kunle Olukotun	Transactional Memory Coherence and Consistency.	ISCA	2004	DBLP DOI BibTeX RDF
9	Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, Charles E. Leiserson	On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs.	SPAA	2004	DBLP DOI BibTeX RDF	SP-bags, SP-hybrid, SP-order, least common ancestor, order maintenance, series-parallel, algorithm, parallel computing, data structure, graph, tree, mutual exclusion, thread, trace, locking, multi-threading, data race, work stealing, race detection, Cilk, parse tree, amortized analysis, fork-join, on the fly, dynamic set
9	Greg Bronevetsky, Daniel Marques, Keshav Pingali, Peter K. Szwed, Martin Schulz 0001	Application-level checkpointing for shared memory programs.	ASPLOS	2004	DBLP DOI BibTeX RDF	fault-tolerance, checkpointing, openMP, shared-memory programs
9	José F. Martínez, Josep Torrellas	Speculative Synchronization: Programmability and Performance for Parallel Codes.	IEEE Micro	2003	DBLP DOI BibTeX RDF
9	Tei-Wei Kuo, Aloysius K. Mok	Schedulability and Performance Analysis of the Similarity Stack Protocol.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	real-time data access, data similarity, Delta-serializability, concurrency control, Real-time databases, process scheduling, distributed data management
9	Yichen Xie 0001, Dawson R. Engler	Using Redundancies to Find Errors.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	program redundancy, software quality, error detection, Extensible compilation
9	Ting Yu 0001, Marianne Winslett, Jason E. Holt	Two Security Symposia.	IEEE Secur. Priv.	2003	DBLP DOI BibTeX RDF
9	Stephen N. Freund, John C. Mitchell	A Type System for the Java Bytecode Language and Verifier.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	type systems, Java Virtual Machine, bytecode verification
9	Liyin Xue, Mehmet A. Orgun	An Exclusive Version Locking Scheme in Internet-based Real-time Group Editors.	SAINT	2003	DBLP DOI BibTeX RDF	CSCW, Locking, consistency maintenance, group editors
9	Ravi Rajwar, Alain Kägi, James R. Goodman	Inferential queueing and speculative push for reducing critical communication latencies.	ICS	2003	DBLP DOI BibTeX RDF	inferential queueing, synchronization, data forwarding
9	Seiji Umatani, Masahiro Yasugi, Tsuneyasu Komiya, Taiichi Yuasa	Pursuing Laziness for Efficient Implementation of Modern Multithreaded Languages.	ISHPC	2003	DBLP DOI BibTeX RDF
9	Frédéric Gava, Frédéric Loulergue	A Parallel Virtual Machine for Bulk Synchronous Parallel ML.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
9	Prasad Jayanti	Adaptive and efficient abortable mutual exclusion.	PODC	2003	DBLP DOI BibTeX RDF
9	Dan Grossman	Type-safe multithreading in cyclone.	TLDI	2003	DBLP DOI BibTeX RDF	types, data races, cyclone
9	Maurice Herlihy, Victor Luchangco, Mark Moir	Obstruction-Free Synchronization: Double-Ended Queues as an Example.	ICDCS	2003	DBLP DOI BibTeX RDF
9	Jonathan S. Shapiro	Vulnerabilities in Synchronous IPC Designs.	S&P	2003	DBLP DOI BibTeX RDF	capability systems, operating systems, vulnerability, interprocess communication
9	Stijn Dekeyser, Jan Hidders	A Commit Scheduler for XML Databases.	APWeb	2003	DBLP DOI BibTeX RDF
9	Torsten Grabs, Klemens Böhm, Hans-Jörg Schek	XMLTM: efficient transaction management for XML documents.	CIKM	2002	DBLP DOI BibTeX RDF	XML storage managers, transaction management for XML
9	Futoshi Iwama, Naoki Kobayashi 0001	A new type system for JVM lock primitives.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	bytecode verifier, Java, type system, lock
9	David Dice, Alex Garthwaite	Mostly lock-free malloc.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	lock-free operations, malloc, restartable critical sections, locality, affinity
9	Claudio Altafini, Alberto Speranzon, Karl Henrik Johansson	Hybrid Control of a Truck and Trailer Vehicle.	HSCC	2002	DBLP DOI BibTeX RDF
9	Ruoming Jin, Gagan Agrawal	Performance prediction for random write reductions: a case study in modeling shared memory programs.	SIGMETRICS	2002	DBLP DOI BibTeX RDF
9	Suparna Bhattacharya, C. Mohan 0001, Karen Brannon, Inderpal Narang, Hui-I Hsiao, Mahadevan Subramanian	Coordinating backup/recovery and data consistency between database and file systems.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF	database backup, datalinks, SQL, content management, DB2, database recovery
9	Naoki Kobayashi 0001	Type Systems for Concurrent Programs.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
9	Yichen Xie 0001, Dawson R. Engler	Using redundancies to find errors.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	error detection, extensible compilation
9	Trent Jaeger, Antony Edwards, Xiaolan Zhang 0001	Gaining and maintaining confidence in operating systems security.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
9	Adam K. L. Wong, Weiping Zhu 0001	A Multi-locking Mechanism on Shared Object DSM.	ICPADS	2002	DBLP DOI BibTeX RDF
9	Philip Holman, James H. Anderson	Locking in Pfair-Scheduled Multiprocessor Systems.	RTSS	2002	DBLP DOI BibTeX RDF
9	Yiwu Tang, Mohammed Ismail 0001, Steven Bibyk	A new fast-settling gearshift adaptive PLL to extend loop bandwidth enhancement in frequency synthesizers.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
9	Philippas Tsigas, Yi Zhang 0004	Integrating non-blocking synchronisation in parallel applications: performance advantages and methodologies.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF
9	Zoran Radovic, Erik Hagersten	Efficient synchronization for nonuniform communication architectures.	SC	2002	DBLP DOI BibTeX RDF
9	Ravi Rajwar, James R. Goodman	Transactional lock-free execution of lock-based programs.	ASPLOS	2002	DBLP DOI BibTeX RDF
9	Bruno Santos Pimentel, Guilherme A. S. Pereira, Mario Fernando Montenegro Campos	On the development of cooperative behavior-based mobile manipulators.	AAMAS	2002	DBLP DOI BibTeX RDF	behavior-based architecture, tightly coupled cooperation, cooperative robotics
9	Feras Karablieh, Rida A. Bazzi	Heterogeneous Checkpointing for Multithreaded Applications.	SRDS	2002	DBLP DOI BibTeX RDF
9	Bruce A. Kay, William H. Warren Jr.	Coupling of posture and gait: mode locking and parametric excitation.	Biol. Cybern.	2001	DBLP DOI BibTeX RDF
9	Angelo Brayner	Lock Downgrading: An Approach to Increase Inter-transaction Parallelism in Advanced Database Applications.	DEXA	2001	DBLP DOI BibTeX RDF
9	Juha Puustjärvi, Harri Laine	Supporting Cooperative Inter-organizational Business Transactions.	DEXA	2001	DBLP DOI BibTeX RDF
9	Dorit Naishlos, Joseph Nuzman, Chau-Wen Tseng, Uzi Vishkin	Evaluating the XMT Parallel Programming Model.	HIPS	2001	DBLP DOI BibTeX RDF
9	Rene Kobler, Dieter Kranzlmüller, Jens Volkert	Debugging OpenMP Programs Using Event Manipulation.	WOMPAT	2001	DBLP DOI BibTeX RDF
9	Guy E. Blelloch, Perry Cheng, Phillip B. Gibbons	Room synchronizations.	SPAA	2001	DBLP DOI BibTeX RDF
9	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
9	James C. Corbett	Using shape analysis to reduce finite-state models of concurrent Java programs.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	Java, modeling, shape analysis, concurrent systems, state-space reductions, finite-state verification, model extraction
9	Keith A. Jenkins, James P. Eckhardt	Measuring Jitter and Phase Error in Microprocessor Phase-Locked Loops.	IEEE Des. Test Comput.	2000	DBLP DOI BibTeX RDF
9	James Noble 0001, David Holmes, John Potter	Exclusion for composite objects.	OOPSLA	2000	DBLP DOI BibTeX RDF
9	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
9	Mohana Krishna Lakhamraju, Rajeev Rastogi, S. Seshadri, S. Sudarshan 0001	On-line Reorganization in Object Databases.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
9	Dimitrios S. Nikolopoulos, Theodore S. Papatheodorou	Fast Synchronization on Scalable Cache-Coherent Multiprocessors using Hybrid Primitives.	IPDPS	2000	DBLP DOI BibTeX RDF	performance evaluation, synchronization, shared-memory, cache-coherence, scalable architectures
9	Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy	Inheritance in the Join Calculus.	FSTTCS	2000	DBLP DOI BibTeX RDF