John D. Carter

According to our database, John D. Carter authored at least 13 papers between 2005 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

BHive: Towards Behaviour-Driven Development Supported by B-Method.

John D. Carter, William B. Gardner

Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

2015

Supporting Selective Formalism in CSP++ with Process-Specific Storage.

William B. Gardner, Alicia Gumtie, John D. Carter

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2014

Using the pilot library to teach message-passing programming.

William B. Gardner, John D. Carter

Proceedings of the Workshop on Education for High-Performance Computing, 2014

2012

Plane-wave solutions of a dissipative generalization of the vector nonlinear Schrödinger equation.

John D. Carter

Math. Comput. Simul., 2012

2011

CellPilot: A Seamless Communication Solution for Hybrid Cell Clusters.

N. Girard, William B. Gardner, John D. Carter, Gary Gréwal

Proceedings of the 2011 International Conference on Parallel Processing Workshops, 2011

2010

The pilot library for novice MPI programmers.

John D. Carter, William B. Gardner, Gary Gréwal

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

The pilot approach to cluster programming in C.

John D. Carter, William B. Gardner, Gary Gréwal

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

2008

Converting scenarios to CSP traces with Mise en Scene for requirements-based programming.

John D. Carter, William B. Gardner

Innov. Syst. Softw. Eng., 2008

2007

SpectrUW: A laboratory for the numerical exploration of spectra of linear operators.

Bernard Deconinck, Firat Kiyak, John D. Carter, J. Nathan Kutz

Math. Comput. Simul., 2007

Stability of plane waves on deep water with dissipation.

Nathan E. Canney, John D. Carter

Math. Comput. Simul., 2007

Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming.

John D. Carter, William B. Gardner

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

2006

A Formal CSP Framework for Message-Passing HPC Programming.

John D. Carter, William B. Gardner

Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

2005

Rapid Prototyping of Embedded Software Using Selective Formalism.

John D. Carter, Ming Xu, William B. Gardner

Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005