Formal Analysis of MPI-based Parallel Programs

Ganesh Gopalakrishnan

doi:10.1145/2043174.2043194

2011-12-01

Ganesh Gopalakrishnan *

Bronis R. de Supinski

Martin Schulz

Greg Bronevetsky

DOI：10.1145/2043174.2043194

原文链接

查看原文

摘要

Keyword:

SYMBOLIC EXECUTION

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Communications of the ACM

IF:

12.2

论文数:

1.2W

被引数:

3.7W

机构

University of Illinois Urbana-Champaign

学者数:

2.4W

论文数: 2.0W

被引数: 35

University of Delaware

学者数:

1.3W

论文数: 1.3W

被引数: 2.0W

Utah System of Higher Education

学者数:

4.6W

论文数: 4.0W

被引数: 161

查看更多机构

引用论文

Beta-Catenin Mutations Do Not Contribute to Cardiac Fibroma Pathogenesis

Pediatric and Developmental Pathology

IF0

2010-05-01

PREAI

Dylan V. Miller; Huamin Wang; Hua Wang; Michael E. Fealey; Henry D. Tazelaar

TIME, CLOCKS, AND ORDERING OF EVENTS IN A DISTRIBUTED SYSTEM

COMMUNICATIONS OF THE ACM

IF12.2

1978-07-01

4.9K

OAAI

LAMPORT, L

Acute His Bundle Injury during Permanent His Bundle Pacing: Mechanistic Insights into Intra-Hisian Block

Journal of Innovations in Cardiac Rhythm Management

IF0

2016-11-18

OAAI

Pugazhendhi Vijayaraman

Experimental Model of Focal Atrial Tachycardia: Clinical Correlates

Journal of Cardiovascular Electrophysiology

IF0

2013-04-26

PREAI

YU LIU; BENJAMIN J. SCHERLAG; YOUQI FAN; JUN MAO; ERIC HEPLER; VANDANA VARMA; SHAILESH MALE; WENFANG XIA; HE HUANG; SUNNY S. PO

Clonal translocation in a cardiac fibroma presenting with incessant ventricular tachycardia in childhood

Cardiology in the Young

IF0

2005-04-18

PREAI

Sangeetha Viswanathan; John L. Gibbs; Paul Roberts

Combining symbolic execution with model checking to verify parallel numerical programs

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2008-05-05

PREAI

Siegel, Stephen F.; Mironova, Anastasia; Avrunin, George S.; Clarke, Lori A.

Sex‐specific migratory behaviors in a temperate ungulate

Ecosphere

IF0

2021-03-17

OAAI

Patrick A. Rodgers; Hall Sawyer; Tony W. Mong; Sam Stephens; Matthew J. Kauffman

19. Paleomagnetic constraints on the Atapuerca karst development (N Spain)19。古地磁对Atapuerca岩溶发育的限制 (西班牙)

Geological Society of America Special Papers

IF0

2024-08-05

PREAI

J.M. Parés; A.I. Ortega; A. Benito-Calvo; A. Aranburu; J.L. Arsuaga; J.M. Bermúdez de Castro; E. Carbonell

Cryoballoon ablation for paroxysmal atrial fibrillation in a case of persistent left superior vena cava

BMC Cardiovascular Disorders

IF0

2018-03-13

OAAI

Shiwei Huang; Binglin Pan; He Zou; Wei Lin

Sustained ventricular tachyarrhythmias during the early postinfarction period: Electrophysiologic findings and prognosis for survival

Journal of the American College of Cardiology

IF0

1983-08-01

OAAI

Francis E. Marchlinski; Harvey L. Waxman; Alfred E. Buxton; Mark E. Josephson

查看更多内容