|
Search the dblp DataBase
Michael Delisi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
Some resources for teaching concurrency. [Citation Graph (, )][DBLP]
Scheduling considerations for building dynamic verification tools for MPI. [Citation Graph (, )][DBLP]
Formal specification of the MPI-2.0 standard in TLA+. [Citation Graph (, )][DBLP]
Formal verification of practical MPI programs. [Citation Graph (, )][DBLP]
Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. [Citation Graph (, )][DBLP]
How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. [Citation Graph (, )][DBLP]
An Approach to Formalization and Analysis of Message Passing Libraries. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|