Search results for "Maged M. Michael"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	Paul E. McKenney, Maged M. Michael, Josh Triplett, Jonathan Walpole	Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory.	Operating Systems Review	2010	DBLP DOI BibTeX RDF
1	Takuya Nakaike, Maged M. Michael	Lock elision for read-only critical sections in Java.	PLDI	2010	DBLP DOI BibTeX RDF	lock elision, java, optimization, synchronization, monitor, lock, just-in-time compiler
1	Michael Wong, Barna L. Bihari, Bronis R. de Supinski, Peng Wu, Maged M. Michael, Yan Liu, Wang Chen	A Case for Including Transactions in OpenMP.	IWOMP	2010	DBLP DOI BibTeX RDF
1	Maged M. Michael	Memory Management in Concurrent Algorithms.	CAV	2010	DBLP DOI BibTeX RDF
1	Peng Wu, Maged M. Michael, Christoph von Praun, Takuya Nakaike, Rajesh Bordawekar, Harold W. Cain, Calin Cascaval, Siddhartha Chatterjee, Stefanie Chiras, Rui Hou, Mark F. Mergen, Xiaowei Shen, Michael F. Spear, Huayong Wang, Kun Wang	Compiler and runtime techniques for software transactional memory optimization.	Concurrency and Computation: Practice and Experience	2009	DBLP DOI BibTeX RDF
1	Michael F. Spear, Maged M. Michael, Michael L. Scott, Peng Wu	Reducing Memory Ordering Overheads in Software Transactional Memory.	CGO	2009	DBLP DOI BibTeX RDF	Memory Fences, Software Transactional Memory
1	Maged M. Michael, Martin T. Vechev, Vijay A. Saraswat	Idempotent work stealing.	PPOPP	2009	DBLP DOI BibTeX RDF	memory barrier, memory fence, atomic, work stealing
1	Calin Cascaval, Colin Blundell, Maged M. Michael, Harold W. Cain, Peng Wu, Stefanie Chiras, Siddhartha Chatterjee	Software Transactional Memory: Why Is It Only a Research Toy?	ACM Queue	2008	DBLP DOI BibTeX RDF
1	Calin Cascaval, Colin Blundell, Maged M. Michael, Harold W. Cain, Peng Wu, Stefanie Chiras, Siddhartha Chatterjee	Software transactional memory: why is it only a research toy?	Commun. ACM	2008	DBLP DOI BibTeX RDF
1	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
1	Michael F. Spear, Maged M. Michael, Christoph von Praun	RingSTM: scalable transactions with a single atomic instruction.	SPAA	2008	DBLP DOI BibTeX RDF	synchronization, atomicity, software transactional memory
1	Robert W. Wisniewski, Reza Azimi, Mathieu Desnoyers, Maged M. Michael, José E. Moreira, Doron Shiloach, Livio Soares	Experiences Understanding Performance in a Commercial Scale-Out Environment.	Euro-Par	2007	DBLP DOI BibTeX RDF
1	Maged M. Michael, José E. Moreira, Doron Shiloach, Robert W. Wisniewski	Scale-up x Scale-out: A Case Study using Nutch/Lucene.	IPDPS	2007	DBLP DOI BibTeX RDF
1	José E. Moreira, Maged M. Michael, Dilma Da Silva, Doron Shiloach, Parijat Dube, Li Zhang 0002	Scalability of the Nutch search engine.	ICS	2007	DBLP DOI BibTeX RDF	Nutch, search, query, Lucene, scale-out
1	Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun	A theory of memory models.	PPOPP	2007	DBLP DOI BibTeX RDF	weak model, memory model, sequential consistency
1	Maged M. Michael	Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects.	IEEE Trans. Parallel Distrib. Syst.	2004	DBLP DOI BibTeX RDF
1	Maged M. Michael	Scalable lock-free dynamic memory allocation.	PLDI	2004	DBLP DOI BibTeX RDF	async-signal-safe, malloc, availability, lock-free
1	Maged M. Michael	Practical Lock-Free and Wait-Free LL/SC/VL Implementations Using 64-Bit CAS.	DISC	2004	DBLP DOI BibTeX RDF
1	Maged M. Michael	Brief announcement: completing the lock-free dynamic cycle.	PODC	2004	DBLP DOI BibTeX RDF
1	Maged M. Michael	CAS-Based Lock-Free Algorithm for Shared Deques.	Euro-Par	2003	DBLP DOI BibTeX RDF
1	Maged M. Michael	High performance dynamic lock-free hash tables and list-based sets.	SPAA	2002	DBLP DOI BibTeX RDF
1	Maged M. Michael	Safe memory reclamation for dynamic lock-free objects using atomic reads and writes.	PODC	2002	DBLP DOI BibTeX RDF
1	Ashwini K. Nanda, Anthony-Trung Nguyen, Maged M. Michael, Douglas J. Joseph	High-throughout coherence control and hardware messaging in Everest.	IBM Journal of Research and Development	2001	DBLP BibTeX RDF
1	Ashwini K. Nanda, Anthony-Trung Nguyen, Maged M. Michael, Douglas J. Joseph	High-Throughput Coherence Controllers.	HPCA	2000	DBLP DOI BibTeX RDF	Coherence Controllers, Pipeline, Microarchitecture, DSM, NUMA, Protocol Engines
1	Maged M. Michael, Ashwini K. Nanda, Beng-Hong Lim	Coherence Controller Architectures for Scalable Shared-Memory Multiprocessors.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	Coherence controller, protocol processor, multiprocessor, shared memory
1	Maged M. Michael, Ashwini K. Nanda	Design and Performance of Directory Caches for Scalable Shared Memory Multiprocessors.	HPCA	1999	DBLP DOI BibTeX RDF
1	Maged M. Michael, Michael L. Scott	Nonblocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory Multiprocessors.	J. Parallel Distrib. Comput.	1998	DBLP DOI BibTeX RDF
1	Ashwini K. Nanda, Yiming Hu, Moriyoshi Ohara, Caroline Benveniste, Mark Giampapa, Maged M. Michael	The Design of COMPASS: An Execution Driven Simulator for Commercial Applications Running on Shared Memory Multiprocessors. (PDF / PS)	IPPS/SPDP	1998	DBLP DOI BibTeX RDF
1	Maged M. Michael, Ashwini K. Nanda, Beng-Hong Lim, Michael L. Scott	Coherence Controller Architectures for SMP-Based CC-NUMA Multiprocessors.	ISCA	1997	DBLP DOI BibTeX RDF
1	Anthony-Trung Nguyen, Pradip Bose, Kattamuri Ekanadham, Ashwini K. Nanda, Maged M. Michael	Accuracy and Speedup of Parallel Trace-Driven Architectural Simulation. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF
1	Maged M. Michael, Michael L. Scott	Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF	relative performance, preemption safe locking, non blocking synchronization, multiprogrammed shared memory multiprocessors, inopportune preemption, synchronized parallel applications, concurrent atomic update, non blocking lock free algorithms, kernel support, universal atomic primitive, 12 processor SGI Challenge multiprocessor, multiprogrammed machines, priority queues, multiprogramming, stacks, concurrent data structures, counters, FIFO queues, shared data structures
1	Galen C. Hunt, Maged M. Michael, Srinivasan Parthasarathy, Michael L. Scott	An Efficient Algorithm for Concurrent Priority Queue Heaps.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
1	Maged M. Michael, Michael L. Scott	Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms.	PODC	1996	DBLP DOI BibTeX RDF
1	Anthony-Trung Nguyen, Maged M. Michael, Arun Sharma, Josep Torrellas	The Augmint multiprocessor simulation toolkit for Intel x86 architectures. (PDF / PS)	ICCD	1996	DBLP DOI BibTeX RDF	Augmint multiprocessor simulation toolkit, Intel x86 architectures, publicly available simulation tools, instruction mix, memory reference patterns, CISC architectures, execution driven multiprocessor simulation toolkit, m4 macro extended C, C++ applications, SPLASH-2 benchmark suites, thread based programming model, shared global address space, private stack space, simulator interface, MINT simulation toolkit, x8d based uniprocessor systems, multiprocessing systems, trace driven simulation, architecture simulators, uniprocessors
1	Maged M. Michael, Michael L. Scott	Implementation of Atomic Primitives on Distributed Shared Memory Multiprocessors.	HPCA	1995	DBLP DOI BibTeX RDF

Publications of "Maged M. Michael" ( http://dblp.L3S.de/Authors/Maged_M._Michael )