Maged M Michael
Maged M Michael
Facebook
E-mail confirmado em acm.org
Título
Citado por
Citado por
Ano
Simple, fast, and practical non-blocking and blocking concurrent queue algorithms
MM Michael, ML Scott
Proceedings of the fifteenth annual ACM symposium on Principles of …, 1996
9901996
Hazard pointers: Safe memory reclamation for lock-free objects
MM Michael
IEEE Transactions on Parallel and Distributed Systems 15 (6), 491-504, 2004
5772004
High performance dynamic lock-free hash tables and list-based sets
MM Michael
Proceedings of the fourteenth annual ACM symposium on Parallel algorithms …, 2002
5192002
Software transactional memory: Why is it only a research toy?
C Cascaval, C Blundell, M Michael, HW Cain, P Wu, S Chiras, ...
Queue 6 (5), 46-58, 2008
3652008
Scalable lock-free dynamic memory allocation
MM Michael
Proceedings of the ACM SIGPLAN 2004 conference on Programming language …, 2004
3072004
Nonblocking algorithms and preemption-safe locking on multiprogrammed shared memory multiprocessors
MM Michael, ML Scott
journal of parallel and distributed computing 51 (1), 1-26, 1998
2901998
Evaluation of Blue Gene/Q hardware support for transactional memories
A Wang, M Gaudet, P Wu, JN Amaral, M Ohmacht, C Barton, R Silvera, ...
Proceedings of the 21st international conference on Parallel architectures …, 2012
2352012
Safe memory reclamation for dynamic lock-free objects using atomic reads and writes
MM Michael
Proceedings of the twenty-first annual symposium on Principles of …, 2002
2312002
Scale-up x scale-out: A case study using nutch/lucene
M Michael, JE Moreira, D Shiloach, RW Wisniewski
2007 IEEE International Parallel and Distributed Processing Symposium, 1-8, 2007
2292007
RingSTM: scalable transactions with a single atomic instruction
MF Spear, MM Michael, C Von Praun
Proceedings of the twentieth annual symposium on Parallelism in algorithms …, 2008
1662008
Robust architectural support for transactional memory in the power architecture
HW Cain, MM Michael, B Frey, C May, D Williams, H Le
ACM SIGARCH Computer Architecture News 41 (3), 225-236, 2013
1382013
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated
H Attiya, R Guerraoui, D Hendler, P Kuznetsov, MM Michael, M Vechev
ACM SIGPLAN Notices 46 (1), 487-498, 2011
1362011
The Augmint multiprocessor simulation toolkit for Intel x86 architectures
AT Nguyen, M Michael, A Sharma, J Torrellas
Proceedings International Conference on Computer Design. VLSI in Computers …, 1996
1261996
Idempotent work stealing
MM Michael, MT Vechev, VA Saraswat
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of …, 2009
1202009
Transactional memory system supporting unbroken suspended execution
US Patent 20,110,296,148, 2017
119*2017
Transactional block conflict resolution based on the determination of executing threads in parallel or in serial mode
HW Cain III, GC Cascaval, MM Michael
US Patent 8,539,486, 2013
1172013
Correction of a Memory Management Method for Lock-Free Data Structures.
MM Michael, ML Scott
ROCHESTER UNIV NY DEPT OF COMPUTER SCIENCE, 1995
1101995
A theory of memory models
VA Saraswat, R Jagadeesan, M Michael, C von Praun
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of …, 2007
1072007
An efficient algorithm for concurrent priority queue heaps
GC Hunt, MM Michael, S Parthasarathy, ML Scott
Information Processing Letters 60 (3), 151-157, 1996
981996
Quantitative comparison of hardware transactional memory for Blue Gene/Q, zEnterprise EC12, Intel Core, and POWER8
T Nakaike, R Odaira, M Gaudet, MM Michael, H Tomari
ACM SIGARCH Computer Architecture News 43 (3S), 144-157, 2015
932015
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20