Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Scott Pakin
A Methodology for Automatic Generation of Executable Communication Specifications From Parallel MPI Applications
ACM Transactions on Parallel Computing
Mathematics
Simulation
Hardware
Computer Science Applications
Architecture
Modeling
Computational Theory
Software
Related publications
Automatic Generation and Tuning of MPI Collective Communication Routines
Executable Interface Specifications for Testing Asynchronous Creol Components
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
Automatic Generation of Synchronization Instructions for Parallel Processors
Automatic Testing From Formal Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Evaluating a Formal Methodology for Dynamic Tuning of Large-Scale Parallel Applications
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
Automatic Creation of Interface Specifications From Ontologies
A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
