and Computer Engineering Hon University Pittsburgh PA, 15213 (black, ahuang, mhl, shen} @ece.cmu.edu stract cia1 issues associated with pelformance simulators: simulator retargetabilio, simulator validation, simulation speed and simulation accuracy. This paper documents our experiences in developing performance simulators and our recent3ndings in using these simulators. We are concerned with al...

What are the dynamic consequences of comprehensive integration shocks? The answer to this question appears all but trivial. We set up a dynamic macroeconomic model of a small open economy where both capital and labor are mobile and there are increasing returns to scale at the aggregate level. The model features multiple equilibria as well as (local and global) indeterminacy. Hence, expectations...

‘this paper examines the relation between the monitoring of CEOs by inside aud outside directors and CEO resignations. CEO resignations are predicted using stock returns and earnings changes as measures of prior performance. There is a stronger association between prior performance and the prhability of a resignation for companies with outsider-dominated boards than for companies with insider-d...

We propose a methodology for validating microarchitecture specifications. We view microarchitecture features as specific operations on entries of various buffers in the processor. Our validation approach is to determine the functionality of a buffer type, model its operations at the microarchitecture level using abstract finite state machine (FSM) models, and rigorously generate instruction seq...

ACPE CEO Barry Silbaugh, MD, recently got to know U.S. Airways pilot Jeff Skites. Together, they compared and contrasted the safety issues affecting health care and aviation.

The purpose of this paper is to assess the mass changes of the Greenland Ice Sheet (GrIS), Ice Sheets over Antarctica, and Land glaciers and Ice Caps with a global mascon method that yields monthly mass variations at 10,242 mascons. Input for this method are level 2 data from the Gravity Recovery and Climate Experiment (GRACE) system collected between February 2003 and June 2013 to which a numb...

v Acknowledgements vii Executive Summary ix 1 Background and Introduction 1 1.1 Goals of Model-Based Verification Efforts 1 1.2 Structure and Content of the Report 2 2 Model-Based Verification 3 2.1 The Model-Based Verification Paradigm 3 2.2 Context and Related Work 6 2.3 Model-Based Verification in Software Upgrades 6 3 Technical Aspects of Model-Based Verification 9 3.1 Models 9 3.2 Formalis...