John D. Carter

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