Abstract
No abstract available.
Cited By
- Yin L, Dong W, Liu W and Wang J Scheduling constraint based abstraction refinement for weak memory models Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, (645-655)
- Liu W, De Poorter E, Hoebeke J, Tanghe E, Joseph W, Willemen P, Mehari M, Jiao X and Moerman I (2017). Assessing the Coexistence of Heterogeneous Wireless Technologies With an SDR-Based Signal Emulator, IEEE Transactions on Wireless Communications, 16:3, (1755-1766), Online publication date: 1-Mar-2017.
- Gray K, Kerneis G, Mulligan D, Pulte C, Sarkar S and Sewell P An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors Proceedings of the 48th International Symposium on Microarchitecture, (635-646)
- Sartor J, Heirman W, Blackburn S, Eeckhout L and McKinley K Cooperative cache scrubbing Proceedings of the 23rd international conference on Parallel architectures and compilation, (15-26)
- Islam M and Muzahid A Characterizing real world bugs causing sequential consistency violations Proceedings of the 5th USENIX Conference on Hot Topics in Parallelism, (8-8)
- Sarkar S, Sewell P, Alglave J, Maranget L and Williams D (2011). Understanding POWER multiprocessors, ACM SIGPLAN Notices, 46:6, (175-186), Online publication date: 4-Jun-2011.
- Sarkar S, Sewell P, Alglave J, Maranget L and Williams D Understanding POWER multiprocessors Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, (175-186)
- Yang X, Blackburn S, Frampton D, Sartor J and McKinley K Why nothing matters Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, (307-324)
- Yang X, Blackburn S, Frampton D, Sartor J and McKinley K (2011). Why nothing matters, ACM SIGPLAN Notices, 46:10, (307-324), Online publication date: 18-Oct-2011.
- Zhang L, Speight E, Rajamony R and Lin J Enigma Proceedings of the 24th ACM International Conference on Supercomputing, (159-168)
- Wang K, Zhang Y, Wang H and Shen X (2008). Parallelization of IBM mambo system simulator in functional modes, ACM SIGOPS Operating Systems Review, 42:1, (71-76), Online publication date: 1-Jan-2008.
- Ung D and Cifuentes C (2018). Dynamic binary translation using run-time feedbacks, Science of Computer Programming, 60:2, (189-204), Online publication date: 1-Apr-2006.
- Arvind A and Maessen J Memory Model = Instruction Reordering + Store Atomicity Proceedings of the 33rd annual international symposium on Computer Architecture, (29-40)
- Arvind A and Maessen J (2019). Memory Model = Instruction Reordering + Store Atomicity, ACM SIGARCH Computer Architecture News, 34:2, (29-40), Online publication date: 1-May-2006.
- Mathiske B, Simon D and Ungar D The Project Maxwell assembler system Proceedings of the 4th international symposium on Principles and practice of programming in Java, (3-12)
- Bacon D and Shen X (2006). Braids and fibers, IBM Journal of Research and Development, 50:2/3, (209-221), Online publication date: 1-Mar-2006.
- Peterson J, Bohrer P, Chen L, Elnozahy E, Gheith A, Jewell R, Kistler M, Maeurer T, Malone S, Murrell D, Needel N, Rajamani K, Rinaldi M, Simpson R, Sudeep K and Zhang L (2006). Application of full-system simulation in exploratory system design and development, IBM Journal of Research and Development, 50:2/3, (321-332), Online publication date: 1-Mar-2006.
- Cantin J, Smith J, Lipasti M, Moshovos A and Falsafi B (2006). Coarse-Grain Coherence Tracking, IEEE Micro, 26:1, (70-79), Online publication date: 1-Jan-2006.
- Piñeiro J, Oberman S, Muller J and Bruguera J (2005). High-Speed Function Approximation Using a Minimax Quadratic Interpolator, IEEE Transactions on Computers, 54:3, (304-318), Online publication date: 1-Mar-2005.
- Manson J, Pugh W and Adve S The Java memory model Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (378-391)
- Manson J, Pugh W and Adve S (2019). The Java memory model, ACM SIGPLAN Notices, 40:1, (378-391), Online publication date: 12-Jan-2005.
- Vilayannur M, Nath P and Sivasubramaniam A Providing tunable consistency for a parallel file store Proceedings of the 4th conference on USENIX Conference on File and Storage Technologies - Volume 4, (2-2)
- Fang Z, Zhang L, Carter J, Cheng L and Parker M (2005). Fast synchronization on shared-memory multiprocessors, Journal of Parallel and Distributed Computing, 65:10, (1158-1170), Online publication date: 1-Oct-2005.
- Cantin J, Lipasti M and Smith J Improving Multiprocessor Performance with Coarse-Grain Coherence Tracking Proceedings of the 32nd annual international symposium on Computer Architecture, (246-257)
- Cantin J, Lipasti M and Smith J (2019). Improving Multiprocessor Performance with Coarse-Grain Coherence Tracking, ACM SIGARCH Computer Architecture News, 33:2, (246-257), Online publication date: 1-May-2005.
- Bohrer P, Peterson J, Elnozahy M, Rajamony R, Gheith A, Rockhold R, Lefurgy C, Shafi H, Nakra T, Simpson R, Speight E, Sudeep K, Van Hensbergen E and Zhang L (2004). Mambo, ACM SIGMETRICS Performance Evaluation Review, 31:4, (8-12), Online publication date: 1-Mar-2004.
- Stefanović D, Hertz M, Blackburn S, McKinley K and Moss J (2019). Older-first garbage collection in practice, ACM SIGPLAN Notices, 38:2 supplement, (25-36), Online publication date: 15-Feb-2003.
- Cintra M and Llanos D Toward efficient and robust software speculative parallelization on multiprocessors Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming, (13-24)
- Cintra M and Llanos D (2003). Toward efficient and robust software speculative parallelization on multiprocessors, ACM SIGPLAN Notices, 38:10, (13-24), Online publication date: 1-Oct-2003.
- Sawada J and Hunt W (2019). Verification of FM9801, Formal Methods in System Design, 20:2, (187-222), Online publication date: 1-Mar-2002.
- Stefanović D, Hertz M, Blackburn S, McKinley K and Moss J Older-first garbage collection in practice Proceedings of the 2002 workshop on Memory system performance, (25-36)
- Jain P, Devadas S, Engels D and Rudolph L Software-assisted cache replacement mechanisms for embedded systems Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design, (119-126)
- Bose P (2000). Testing for Function and Performance, Journal of Electronic Testing: Theory and Applications, 16:1-2, (29-48), Online publication date: 1-Feb-2000.
- Maessen J and Shen X Improving the Java memory model using CRF Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (1-12)
- Maessen J and Shen X (2000). Improving the Java memory model using CRF, ACM SIGPLAN Notices, 35:10, (1-12), Online publication date: 1-Oct-2000.
- Wirthlin M, Morrison S, Graham P and Bray B Improving the Performance and Efficiency of an Adaptive Amplification Operation Using Configurable Hardware Proceedings of the 2000 IEEE Symposium on Field-Programmable Custom Computing Machines
- Park S and Dill D (1999). An Executable Specification and Verifier for Relaxed Memory Order, IEEE Transactions on Computers, 48:2, (227-235), Online publication date: 1-Feb-1999.
- Shen X, Arvind and Rudolph L Commit-reconcile & fences (CRF) Proceedings of the 26th annual international symposium on Computer architecture, (150-161)
- Shen X, Arvind and Rudolph L (1999). Commit-reconcile & fences (CRF), ACM SIGARCH Computer Architecture News, 27:2, (150-161), Online publication date: 1-May-1999.
- Onodera T and Kawachiya K A study of locking objects with bimodal fields Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (223-237)
- Onodera T and Kawachiya K (2019). A study of locking objects with bimodal fields, ACM SIGPLAN Notices, 34:10, (223-237), Online publication date: 1-Oct-1999.
- Jayanti P A time complexity lower bound for randomized implementations of some shared objects Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, (201-210)
- Qiu X and Dubois M Options for dynamic address translation in COMAs Proceedings of the 25th annual international symposium on Computer architecture, (214-225)
- Qiu X and Dubois M (1998). Options for dynamic address translation in COMAs, ACM SIGARCH Computer Architecture News, 26:3, (214-225), Online publication date: 1-Jun-1998.
- Jacob B and Mudge T (2019). A look at several memory management units, TLB-refill mechanisms, and page table organizations, ACM SIGPLAN Notices, 33:11, (295-306), Online publication date: 1-Nov-1998.
- Jacob B and Mudge T A look at several memory management units, TLB-refill mechanisms, and page table organizations Proceedings of the eighth international conference on Architectural support for programming languages and operating systems, (295-306)
- Jacob B and Mudge T (1998). A look at several memory management units, TLB-refill mechanisms, and page table organizations, ACM SIGOPS Operating Systems Review, 32:5, (295-306), Online publication date: 1-Dec-1998.
- Nelson K, Jain A and Bryant R Formal verification of a superscalar execution unit Proceedings of the 34th annual Design Automation Conference, (161-166)
- Scott S Synchronization and communication in the T3E multiprocessor Proceedings of the seventh international conference on Architectural support for programming languages and operating systems, (26-36)
- Monaco J, Holloway D and Raina R Functional verification methodology for the PowerPC 604 microprocessor Proceedings of the 33rd annual Design Automation Conference, (319-324)
- Scott S (1996). Synchronization and communication in the T3E multiprocessor, ACM SIGOPS Operating Systems Review, 30:5, (26-36), Online publication date: 1-Dec-1996.
- Scott S (2019). Synchronization and communication in the T3E multiprocessor, ACM SIGPLAN Notices, 31:9, (26-36), Online publication date: 1-Sep-1996.
- Smith J and Weiss S (2019). PowerPC 601 and Alpha 21064, Computer, 27:6, (46-58), Online publication date: 1-Jun-1994.
Index Terms
- The PowerPC architecture: a specification for a new family of RISC processors
Recommendations
The PowerPC 620 microprocessor: a high performance superscalar RISC microprocessor
COMPCON '95: Proceedings of the 40th IEEE Computer Society International ConferenceThe PowerPC 620 RISC microprocessor is the first chip for the application server and technical workstation product line within the PowerPC family. It utilizes a high performance microarchitecture with many advanced superscalar features to exploit ...
The PowerPC Architecture: 64-bit power with 32-bit compatibility
COMPCON '95: Proceedings of the 40th IEEE Computer Society International ConferenceThis paper details the 64-bit PowerPC Architecture specification. It compares and contrasts the 32-bit subset specification against the full 64-bit specification. Architecture, application OS, and hardware implications of the 64-bit specifications are ...