John D. Carter

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 1

Top Topics

Inference In Graphical Models

Top Venues

Math. Comput. Simul.

Publications

John D. Carter, William B. Gardner
BHive: Towards Behaviour-Driven Development Supported by B-Method. IRI (2016)
William B. Gardner, Alicia Gumtie, John D. Carter
Supporting Selective Formalism in CSP++ with Process-Specific Storage. HPCC/CSS/ICESS (2015)
William B. Gardner, John D. Carter
Using the pilot library to teach message-passing programming. EduHPC@SC (2014)
John D. Carter
Plane-wave solutions of a dissipative generalization of the vector nonlinear Schrödinger equation. Math. Comput. Simul. 82 (6) (2012)
N. Girard, William B. Gardner, John D. Carter, Gary Gréwal
CellPilot: A Seamless Communication Solution for Hybrid Cell Clusters. ICPP Workshops (2011)
John D. Carter, William B. Gardner, Gary Gréwal
The pilot library for novice MPI programmers. PPOPP (2010)
John D. Carter, William B. Gardner, Gary Gréwal
The pilot approach to cluster programming in C. IPDPS Workshops (2010)
John D. Carter, William B. Gardner
Converting scenarios to CSP traces with Mise en Scene for requirements-based programming. Innov. Syst. Softw. Eng. 4 (1) (2008)
John D. Carter, William B. Gardner
Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming. SEW (2007)
Bernard Deconinck, Firat Kiyak, John D. Carter, J. Nathan Kutz
SpectrUW: A laboratory for the numerical exploration of spectra of linear operators. Math. Comput. Simul. 74 (4-5) (2007)
Nathan E. Canney, John D. Carter
Stability of plane waves on deep water with dissipation. Math. Comput. Simul. 74 (2-3) (2007)
John D. Carter, William B. Gardner
A Formal CSP Framework for Message-Passing HPC Programming. CCECE (2006)
John D. Carter, Ming Xu, William B. Gardner
Rapid Prototyping of Embedded Software Using Selective Formalism. IEEE International Workshop on Rapid System Prototyping (2005)