Search results for "locks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Michael Factor, Assaf Schuster, Konstantin Shagin, Tal Zamir	Optimistic concurrency for clusters via speculative locking.	SYSTOR	2009	DBLP DOI BibTeX RDF	distributed computing, optimistic concurrency control
9	Haggai Eran, Ohad Lutzky, Zvika Guz, Idit Keidar	Transactifying Apache's cache module.	SYSTOR	2009	DBLP DOI BibTeX RDF	software transactional memory
9	Armin Heindl, Gilles Pokam	An Analytic Model for Optimistic STM with Lazy Locking.	ASMTA	2009	DBLP DOI BibTeX RDF
9	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
9	Nicolas T. Courtois, Sean O'Neil, Jean-Jacques Quisquater	Practical Algebraic Attacks on the Hitag2 Stream Cipher.	ISC	2009	DBLP DOI BibTeX RDF	Hitag 2 algorithm, MiFare Crypto-1 cipher, Gröbner bases, Boolean functions, stream ciphers, RFID tags, SAT solvers, algebraic cryptanalysis
9	Helmut Seidl, Vesal Vojdani	Region Analysis for Race Detection.	SAS	2009	DBLP DOI BibTeX RDF
9	Tomas Kalibera	Replicating real-time garbage collector for Java.	JTRES	2009	DBLP DOI BibTeX RDF
9	Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer	An annotation assistant for interactive debugging of programs with common synchronization idioms.	PADTAD	2009	DBLP DOI BibTeX RDF	synchronization idioms, concurrent programs, atomicity
9	John W. O'Leary, Bratin Saha, Mark R. Tuttle	Model Checking Transactional Memory with Spin.	ICDCS	2009	DBLP DOI BibTeX RDF
9	Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri	Finding Concurrency-Related Bugs Using Random Isolation.	VMCAI	2009	DBLP DOI BibTeX RDF
9	Alix Mougenot, Xavier Blanc 0001, Marie-Pierre Gervais	D-Praxis : A Peer-to-Peer Collaborative Model Editing Framework.	DAIS	2009	DBLP DOI BibTeX RDF
9	Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, Adam Welc	Towards transactional memory semantics for C++.	SPAA	2009	DBLP DOI BibTeX RDF	synchronization, c++, transactional memory, atomicity, serializability
9	Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani	ISOLATOR: dynamically ensuring isolation in comcurrent programs.	ASPLOS	2009	DBLP DOI BibTeX RDF	concurreny, isolation, memory protection
9	Luís Fernando Orleans, Geraldo Zimbrão	MIDAS: A Middleware for Information Systems with QoS Concerns.	ICEIS	2009	DBLP DOI BibTeX RDF	QoS for Databases, Transactions with deadlines, Database Performance, Midas
9	Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc	Single global lock semantics in a weakly atomic STM.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	Java
9	Futoshi Iwama, Naoki Kobayashi 0001	A New Type System for JVM Lock Primitives.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Java Bytecode Verifier, Type System, Lock
9	Milos Milovanovic, Roger Ferrer, Vladimir Gajinov, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Mateo Valero	Nebelung: Execution Environment for Transactional OpenMP.	Int. J. Parallel Program.	2008	DBLP DOI BibTeX RDF	Compiler, OpenMP, Software Transactional Memory, Runtime system
9	Constantinos Papadopoulos	Extending WebDAV With Multiple-Granularity Locking.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
9	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
9	Bryan Cantrill, Jeff Bonwick	Real-World Concurrency.	ACM Queue	2008	DBLP DOI BibTeX RDF
9	Tomoya Enokido, Makoto Takizawa 0001	Preventing Illegal Information Flow Based on Role-Based Access Control Model.	NBiS	2008	DBLP DOI BibTeX RDF
9	Kiran Pamnany, John Jannotti	Elyze: enabling safe parallelism in event-driven servers.	PASTE	2008	DBLP DOI BibTeX RDF	concurrency scheduling, static analysis
9	Claude Helmstetter, Olivier Ponsini	A Comparison of Two SystemC/TLM Semantics for Formal Verification.	MEMOCODE	2008	DBLP DOI BibTeX RDF
9	Ariel Cohen 0002, Amir Pnueli, Lenore D. Zuck	Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses.	CAV	2008	DBLP DOI BibTeX RDF
9	Antonio M. Vidal, Murilo Boratto, Pedro Alonso 0002	A Threaded Divide and Conquer Symmetric Tridiagonal Eigensolver on Multicore Systems.	ISPDC	2008	DBLP DOI BibTeX RDF
9	Rahul Kumar, Amith R. Mamidala, Matthew J. Koop, Gopalakrishnan Santhanaraman, Dhabaleswar K. Panda 0001	Lock-Free Asynchronous Rendezvous Design for MPI Point-to-Point Communication.	PVM/MPI	2008	DBLP DOI BibTeX RDF
9	Feng Xian, Witawas Srisa-an, Hong Jiang 0001	Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs.	OOPSLA	2008	DBLP DOI BibTeX RDF	scheduling, java, operating systems
9	Florian T. Schneider, Vijay Menon 0002, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai	Dynamic optimization for efficient strong atomicity.	OOPSLA	2008	DBLP DOI BibTeX RDF	virtual machines, code generation, transactional memory, compiler optimizations, dynamic optimizations, strong atomicity
9	Hany E. Ramadan, Christopher J. Rossbach, Emmett Witchel	Dependence-aware transactional memory for increased concurrency.	MICRO	2008	DBLP DOI BibTeX RDF
9	JaeWoong Chung, Michael Dalton, Hari Kannan, Christos Kozyrakis	Thread-safe dynamic binary translation using transactional memory.	HPCA	2008	DBLP DOI BibTeX RDF
9	Malay K. Ganai, Aarti Gupta	Efficient Modeling of Concurrent Systems in BMC.	SPIN	2008	DBLP DOI BibTeX RDF
9	Kohei Suenaga	Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.	APLAS	2008	DBLP DOI BibTeX RDF
9	L. Douglas Smith, Donald C. Sweeney II, James F. Campbell, Robert M. Nauss	Simulation of operating procedures and infrastructure changes in the upper Mississippi navigation system.	SpringSim	2008	DBLP DOI BibTeX RDF	inland waterway operations, transportation infrastructure, DES, optimal scheduling
9	Shaohua Xie, Eileen T. Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Scott D. Fleming	Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments.	SOFTVIS	2008	DBLP DOI BibTeX RDF	concurrency and synchronization, UML, empirical evaluation
9	Gopalakrishnan Santhanaraman, Sundeep Narravula, Dhabaleswar K. Panda 0001	Designing passive synchronization for MPI-2 one-sided communication to maximize overlap.	IPDPS	2008	DBLP DOI BibTeX RDF
9	Jin Xiong, Jianyu Li, Rongfeng Tang, Yiming Hu	Improving data availability for a cluster file system through replication.	IPDPS	2008	DBLP DOI BibTeX RDF
9	Sriram Srinivasan 0002, Alan Mycroft	Kilim: Isolation-Typed Actors for Java.	ECOOP	2008	DBLP DOI BibTeX RDF
9	Mark Gabel, Zhendong Su 0001	Javert: fully automatic mining of general temporal properties from dynamic traces.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	formal specifications, dynamic analysis, specification mining
9	Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen	On Scalable Synchronization for Distributed Embedded Real-Time Systems.	SEUS	2008	DBLP DOI BibTeX RDF
9	Eric Bodden, Klaus Havelund	Racer: effective race detection using aspectj.	ISSTA	2008	DBLP DOI BibTeX RDF	static analysis, aspect-oriented programming, runtime verification, race detection, semantic pointcuts
9	Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott	Ordering-Based Semantics for Software Transactional Memory.	OPODIS	2008	DBLP DOI BibTeX RDF
9	Aqeel-ur Rehman, Abu Zafar Abbasi, Zubair Ahmed Shaikh	Building a Smart University Using RFID Technology.	CSSE (5)	2008	DBLP DOI BibTeX RDF
9	Cesare Ferri, Amber Viescas, Tali Moreshet, R. Iris Bahar, Maurice Herlihy	Energy efficient synchronization techniques for embedded architectures.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	embedded systems, transactional memory
9	Kunyi Luo, Yongjian Wang, Zhongzhi Luan, Zhongxin Wu, Bingheng Yan, Yuanqiang Huang	Design of a Sequential Tentative Hold Protocol for Efficient Coordination of Web Services Transaction.	ICNSC	2008	DBLP DOI BibTeX RDF
9	Michael F. Spear, Michael Silverman, Luke Dalessandro, Maged M. Michael, Michael L. Scott	Implementing and Exploiting Inevitability in Software Transactional Memory.	ICPP	2008	DBLP DOI BibTeX RDF
9	Jia Zou 0001, Zhiyong Liang, Yiqi Dai	Scalability Evaluation and Optimization of Multi-Core SIP Proxy Server.	ICPP	2008	DBLP DOI BibTeX RDF
9	Mohammad Alomari, Michael J. Cahill, Alan D. Fekete, Uwe Röhm	When serializability comes without cost.	AICCSA	2008	DBLP DOI BibTeX RDF
9	Balaji Srinivasan, Vinay Bhaskar Chandratre, Menka Tewani	0.35µ, 1 GHz, CMOS Timing Generator Using Array of Digital Delay Lock Loops.	VLSI Design	2008	DBLP DOI BibTeX RDF
9	Daniel Bachlechner	Toward a Semantic Web service technology roadmap.	RCIS	2008	DBLP DOI BibTeX RDF
9	Yang Zhao, John Boyland	A Fundamental Permission Interpretation for Ownership Types.	TASE	2008	DBLP DOI BibTeX RDF	Ownership, Permission
9	Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai	Irrevocable transactions and their applications.	SPAA	2008	DBLP DOI BibTeX RDF	performance, virtual machines, concurrent programming, software transactional memory
9	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
9	Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc	Practical weak-atomicity semantics for java stm.	SPAA	2008	DBLP DOI BibTeX RDF	weak atomicity, java, transactional memory, memory models, programming language semantics
9	Eric Koskinen, Maurice Herlihy	Dreadlocks: efficient deadlock detection.	SPAA	2008	DBLP DOI BibTeX RDF	parallel programming, concurrency, transactional memory, deadlock, bloom filters, deadlock detection
9	Luis Ceze, Christoph von Praun, Calin Cascaval, Pablo Montesinos, Josep Torrellas	Concurrency control with data coloring.	MSPC	2008	DBLP DOI BibTeX RDF	data coloring, concurrency control, programming model
9	Alper Sen 0001, Vinit Ogale, Magdy S. Abadir	Predictive runtime verification of multi-processor SoCs in SystemC.	DAC	2008	DBLP DOI BibTeX RDF	predictive verification, deadlock, SystemC, assertion, ESL
9	Jan Christian Meyer, Anne C. Elster	Latency Impact on Spin-Lock Algorithms for Modern Shared Memory Multiprocessors.	CISIS	2008	DBLP DOI BibTeX RDF
9	Zhaohui Ding, Xiaohui Wei, Yuan Luo, Da Ma, Peter W. Arzberger, Wilfred W. Li	Customized Plug-in Modules in Metascheduler CSF4 for Life Sciences Applications.	New Gener. Comput.	2007	DBLP DOI BibTeX RDF	Metascheduling, Scheduler Plug-in, Co-Allocation, Life Sciences, MPICH-G2
9	Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Marc A. Auslander, Michal Ostrowski, Bryan S. Rosenburg, Amos Waterland, Robert W. Wisniewski, Jimi Xenidis, Michael Stumm, Livio Soares	Experience distributing objects in an SMMP OS.	ACM Trans. Comput. Syst.	2007	DBLP DOI BibTeX RDF	Scalability SMMP, Concurrency, Locality, Distribution
9	Maurice Herlihy, Ye Sun	Distributed transactional memory for metric-space networks.	Distributed Comput.	2007	DBLP DOI BibTeX RDF
9	Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob	A CSP model of Eiffel's SCOOP.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	SCOOP, Formal methods, Concurrency, Programming languages, Eiffel
9	Marek Olszewski, Jeremy Cutler, J. Gregory Steffan	JudoSTM: A Dynamic Binary-Rewriting Approach to Software Transactional Memory.	PACT	2007	DBLP DOI BibTeX RDF
9	Christian Payne	A cryptographic access control architecture secure against privileged attackers.	CSAW	2007	DBLP DOI BibTeX RDF	access control, operating system security, cryptographic file systems
9	Thian Song Ong, Andrew Beng Jin Teoh	Fuzzy Key Extraction from Fingerprint Biometrics based on Dynamic Quantization Mechanism.	IAS	2007	DBLP DOI BibTeX RDF	BioMixture, Dynamic Quantization Mechanism, Fuzzy Key Extraction, Log- Gabor Filter, Fingerprint
9	Sam Lightstone, Chris Eaton, Yun Han Lee, Adam J. Storm	Optimizing Concurrency Through Automated Lock Memory Tuning in DB2.	ICDE	2007	DBLP DOI BibTeX RDF
9	Milos Milovanovic, Roger Ferrer, Osman S. Unsal, Adrián Cristal, Xavier Martorell, Eduard Ayguadé, Jesús Labarta, Mateo Valero	Transactional Memory and OpenMP.	IWOMP	2007	DBLP DOI BibTeX RDF	STM Library, Compiler, OpenMP, Software Transaction Memory
9	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
9	Hassan Chafi, Jared Casper, Brian D. Carlstrom, Austen McDonald, Chi Cao Minh, Woongki Baek, Christos Kozyrakis, Kunle Olukotun	A Scalable, Non-blocking Approach to Transactional Memory.	HPCA	2007	DBLP DOI BibTeX RDF
9	Vineet Kahlon, Aarti Gupta	On the analysis of interacting pushdown systems.	POPL	2007	DBLP DOI BibTeX RDF	model checking, concurrency, dataflow analysis, LTL, mu-calculus, pushdown systems
9	Lee Naish	Resource-Oriented Deadlock Analysis.	ICLP	2007	DBLP DOI BibTeX RDF	deadlock analysis, committed choice nondeterminism, floundering, Concurrency, partial order, dining philosophers, coroutining
9	Michael LeMay, Omid Fatemieh, Carl A. Gunter	PolicyMorph: interactive policy transformations for a logical attribute-based access control framework.	SACMAT	2007	DBLP DOI BibTeX RDF	policy administration, constraints, separation of duty, attribute based access control
9	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	CheckFence: checking consistency of concurrent data types on relaxed memory models.	PLDI	2007	DBLP DOI BibTeX RDF	lock-free synchronization, shared-memory multiprocessors, multi-threading, software model checking, memory models, sequential consistency, concurrent data structures
9	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	Goldilocks: a race and transaction-aware java runtime.	PLDI	2007	DBLP DOI BibTeX RDF	Java runtime, software transactions, runtime monitoring, data-race detection
9	Vijayant Dhankhar, Saket Kaushik, Duminda Wijesekera	XACML Policies for Exclusive Resource Usage. (PDF / PS)	DBSec	2007	DBLP DOI BibTeX RDF
9	Chengmo Yang, Alex Orailoglu	Light-weight synchronization for inter-processor communication acceleration on embedded MPSoCs.	CASES	2007	DBLP DOI BibTeX RDF	synchronization, interprocessor communication
9	Zhiyi Huang 0001, Wenguang Chen	Revisit of View-Oriented Parallel Programming.	CCGRID	2007	DBLP DOI BibTeX RDF
9	Jeabin Lee, Byeong-Gyu Nam, Seong-Jun Song, Namjun Cho, Hoi-Jun Yoo	A Power Management Unit with Continuous Co-Locking of Clock Frequency and Supply Voltage for Dynamic Voltage and Frequency Scaling.	ISCAS	2007	DBLP DOI BibTeX RDF
9	Maurice Herlihy, Yossi Lev, Victor Luchangco, Nir Shavit	A Simple Optimistic Skiplist Algorithm.	SIROCCO	2007	DBLP DOI BibTeX RDF
9	Tony X. Han, Ming Liu 0009, Thomas S. Huang	A Drifting-proof Framework for Tracking and Online Appearance Learning.	WACV	2007	DBLP DOI BibTeX RDF
9	Nikolay Mehandjiev, Iain Duncan Stalker, Martin Carpenter	Activity Coordination for Flexible Processes in Instant Virtual Enterprises.	WETICE	2007	DBLP DOI BibTeX RDF
9	Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun	X10: concurrent programming for modern architectures.	PPoPP	2007	DBLP DOI BibTeX RDF	concurrent programming languages, fork-join parallelism, global shared memory, high performance computing languages, partitioned global address space languages, asynchrony, X10, hierarchical parallelism
9	Lindsay Groves	Reasoning about Nonblocking Concurrency using Reduction.	ICECCS	2007	DBLP DOI BibTeX RDF
9	Robert Colvin, Lindsay Groves	A Scalable Lock-Free Stack Algorithm and its Verification.	SEFM	2007	DBLP DOI BibTeX RDF
9	Kyungwoo Lee, Xing Fang, Samuel P. Midkiff	Practical escape analyses: how good are they?	VEE	2007	DBLP DOI BibTeX RDF	analysis precision, Java, dynamic compilation, escape analysis
9	Matteo Monchiero, Gianluca Palermo, Cristina Silvano, Oreste Villa	Efficient Synchronization for Embedded On-Chip Multiprocessors.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
9	Philip Holman, James H. Anderson	Locking under Pfair scheduling.	ACM Trans. Comput. Syst.	2006	DBLP DOI BibTeX RDF	supertask, scheduling, real-time, synchronization, multiprocessor, Locking, semaphore, Pfairness
9	Wei-keng Liao, Kenin Coloma, Alok N. Choudhary, Lee Ward, Eric Russell, Neil Pundit	Scalable Design and Implementations for MPI Parallel Overlapping I/O.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	atomic I/O, file atomicity, file consistency, overlapping I/O, MPI, cache coherence, MPI I/O
9	Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo	Integrating coordinated checkpointing and recovery mechanisms into DSM synchronization barriers.	ACM J. Exp. Algorithmics	2006	DBLP DOI BibTeX RDF	Distributed shared memory, barrier synchronization
9	Patricia M. Hill, Fausto Spoto	Deriving escape analysis by abstract interpretation.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Garbage collection, Abstract interpretation, Denotational semantics
9	Abdelsalam Shanneb, John Potter	Lock Selection Made Easy.	ASWEC	2006	DBLP DOI BibTeX RDF
9	Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir	Formal Verification of a Lazy Concurrent List-Based Set Algorithm.	CAV	2006	DBLP DOI BibTeX RDF
9	Brijesh Dongol	Formalising Progress Properties of Non-blocking Programs.	ICFEM	2006	DBLP DOI BibTeX RDF
9	UmaMaheswari C. Devi, Hennadiy Leontyev, James H. Anderson	Efficient Synchronization under Global EDF Scheduling on Multiprocessors.	ECRTS	2006	DBLP DOI BibTeX RDF
9	Karl Cox, Steven J. Bleistein, Peter Reynolds, Alan Thorogood	A contingency view of organizational infrastructure requirements engineering.	SAC	2006	DBLP DOI BibTeX RDF	requirements engineering, business value, strategic alignment
9	Matteo Monchiero, Gianluca Palermo, Cristina Silvano, Oreste Villa	Power/performance hardware optimization for synchronization intensive applications in MPSoCs.	DATE	2006	DBLP DOI BibTeX RDF
9	Daniel K. Blandford, Guy E. Blelloch, Clemens Kadow	Engineering a compact parallel delaunay algorithm in 3D.	SCG	2006	DBLP DOI BibTeX RDF	parallel, meshing, space-efficient, Delaunay
9	Benjamin Hindman, Dan Grossman	Atomicity via source-to-source translation.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF	Java, transactional memory, concurrent programming, atomicity
9	Agustín De Dios Hernández, Benjamín Sahelices Fernández, Pablo Ibáñez, Víctor Viñals, José M. Llabería	Speeding-Up Synchronizations in DSM Multiprocessors.	Euro-Par	2006	DBLP DOI BibTeX RDF
9	David Dice, Ori Shalev, Nir Shavit	Transactional Locking II.	DISC	2006	DBLP DOI BibTeX RDF
9	Thomas E. Hart, Paul E. McKenney, Angela Demke Brown	Making lockless synchronization fast: performance implications of memory reclamation.	IPDPS	2006	DBLP DOI BibTeX RDF