<--- Back to Details
First PageDocument Content
Concurrent computing / Application programming interfaces / Message Passing Interface / Jack Dongarra / Model checking / Formal verification / Bill Gropp / Actor model / Computer cluster / Computing / Parallel computing / Computer programming
Date: 2015-05-22 11:27:31
Concurrent computing
Application programming interfaces
Message Passing Interface
Jack Dongarra
Model checking
Formal verification
Bill Gropp
Actor model
Computer cluster
Computing
Parallel computing
Computer programming

STEPHEN F. SIEGEL Curriculum Vitæ Department of Computer and Information Sciences 101 Smith Hall University of Delaware

Add to Reading List

Source URL: vsl.cis.udel.edu

Download Document from Source Website

File Size: 155,82 KB

Share Document on Facebook

Similar Documents

Unemployment, Conflicts and Partnership Stability: An Application of an Actor-Partner Interdependence Model (First Results) Bernd Weißa, Katharina Lotera,b & Michael Wagnera aInstitute

Unemployment, Conflicts and Partnership Stability: An Application of an Actor-Partner Interdependence Model (First Results) Bernd Weißa, Katharina Lotera,b & Michael Wagnera aInstitute

DocID: 1s8DQ - View Document

BritishLanthorn: Ubiquitous Homogeneous Cooperative Symmetries Ike Antkare International Institute of Technology United Slates of Earth

BritishLanthorn: Ubiquitous Homogeneous Cooperative Symmetries Ike Antkare International Institute of Technology United Slates of Earth

DocID: 1ru6U - View Document

Modular Flexible Models for Operating Systems Ike Antkaretoo International Institute of Technology United Slates of Earth

Modular Flexible Models for Operating Systems Ike Antkaretoo International Institute of Technology United Slates of Earth

DocID: 1rsRD - View Document

The Influence of Compact Epistemologies on Cyberinformatics Ike Antkare International Institute of Technology United Slates of Earth

The Influence of Compact Epistemologies on Cyberinformatics Ike Antkare International Institute of Technology United Slates of Earth

DocID: 1rsvX - View Document

PADTAD 2012 Curriculum for software development with concurrency - Jeremy S. Bradbury, João M. Lourenço, Ok-Kyoon Ha, In-Bon Kuh, Yong-Kee Jun Funding provided by:  Concurrency – Education

PADTAD 2012 Curriculum for software development with concurrency - Jeremy S. Bradbury, João M. Lourenço, Ok-Kyoon Ha, In-Bon Kuh, Yong-Kee Jun Funding provided by: Concurrency – Education

DocID: 1rqUv - View Document