A Methodology for Automatic Generation of Executable Communication Specifications From Parallel MPI Applications

ACM Transactions on Parallel Computing - United States
doi 10.1145/2660249
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Automatic Generation and Tuning of MPI Collective Communication Routines

2005English

Executable Interface Specifications for Testing Asynchronous Creol Components

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Automatic Generation of Scheduling and Communication Code in Real-Time Parallel Programs

Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems - LCTES '95
1995English

A Model-Based Approach for Executable Specifications on Reconfigurable Hardware

English

Automatic Generation of Synchronization Instructions for Parallel Processors

1986English

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Evaluating a Formal Methodology for Dynamic Tuning of Large-Scale Parallel Applications

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2017English

Automatic Creation of Interface Specifications From Ontologies

2003English

A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy