Martin, Milo M. K. - Department of Computer and Information Science, University of Pennsylvania

Advanced Search

Martin, Milo M. K. - Department of Computer and Information Science, University of Pennsylvania

Synthesis and Design Guide
250272-1732/06/$20.00 2006 IEEE Published by the IEEE Computer Society Microsoft's Xbox 360 game console
MECHANISMS FOR UNBOUNDED, CONFLICT-ROBUST HARDWARE TRANSACTIONAL MEMORY
{I[12],I[2:0]} 1ALU1: 0000
Superscalar Instruction Execution in the 21164 Alpha Microprocessor
Token Tenure and PATCH: A Predictive/Adaptive Token-Counting Hybrid
Formal Verification and its Impact on the Snooping versus Directory Protocol Debate Milo M. K. Martin
MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES
Guide to Using the Unix version of the LC-3 Simulator Kathy Buchheit
NOSQ: STORE-LOAD COMMUNICATION WITHOUT
Verifying Safety of a Token Coherence Implementation by Parametric Compositional
Exploiting Choice: Instruction Fetch and Issue on an Implementable Simultaneous Multithreading Processor
Milo M. K. Martin Curriculum Vitae
C.1 Introduction C-2 C.2 Addressing Modes and Instruction Formats C-4
IBM J. RES. DEVELOP. VOL. 44 NO. 1/2 JANUARY/MARCH 2000JOHN COCKE AND V. MARKSTEIN REPRINTED FROM IBM JOURNAL OF RESEARCH AND DEVELOPMENT, VOL. 34, NO. 1, 1990; 1990, 2000
D.1 Introduction D-2 D.2 80x86 Registers and Data Addressing Modes D-3
Exploiting Dead Value Information Milo M. Martin, Amir Roth, and Charles N. Fischer
Need for an x86 simulator Many tools only exist on or are more mature on x86
The Wisconsin Multifacet Project has created a simulation toolset to characterize and evaluate the
Alpha microprocessors have been performance leaders since their introduction
XST User Guide XST User Guide www.xilinx.com 8.1i
Constraints Constraints Guide www.xilinx.com 8.1i
Hardware Support for Security