William B. Gardner

According to our database, William B. Gardner authored at least 24 papers between 1975 and 2017.

Collaborative distances:

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

2017

Should We Be Teaching Parallel Programming?

William B. Gardner

Proceedings of the 22nd Western Canadian Conference on Computing Education, 2017

Log Visualization Tool for Message-Passing Programming in Pilot.

Tianyi Bao, William B. Gardner

Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017

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

A new Canadian interdisciplinary Ph.D. in computational sciences.

William B. Gardner, Gary Gréwal, Deborah Stacey, David A. Calvert, Stefan C. Kremer, Fangju Wang

J. Comput. Sci., 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

2013

AutoPilot: message passing parallel programming for a cache incoherent embedded manycore processor.

Ben Kelly, William B. Gardner, Shorin Kyo

Proceedings of the 1st International Workshop on Many-core Embedded Systems 2013, 2013

2012

Supporting Timed CSP Operators in CSP++.

William B. Gardner, Yuriy Solovyov

Proceedings of the 34th Communicating Process Architectures, 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

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

Converging CSP specifications and C++ programming via selective formalism.

William B. Gardner

ACM Trans. Embed. Comput. Syst., 2005

CSP++: How Faithful to CSPm?

William B. Gardner

Proceedings of the 28th Communicating Process Architectures Conference, 2005

Synthesis of C++ software for automated teller from CSPm specifications.

Stephen Doxsee, William B. Gardner

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Prototyping a Residential Gateway Using Xilinx ISE.

S. W. Song, J. D. Zheng, William B. Gardner

Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 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

Synthesis of C₊₊ Software from Verifiable CSPm Specifications.

Stephen Doxsee, William B. Gardner

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2003

Bridging CSP and C++ with Selective Formalism and Executable Specifications.

William B. Gardner

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

1999

CSP++: an object-oriented application framework for software synthesis from CSP specifications.

William B. Gardner

PhD thesis, 1999

1998

An Object-Oriented Layered Approach to Interfaces for Hardware/Software Codesign of Embedded Systems.

William B. Gardner, Micaela Serra

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1975

Microbending loss in optical fibers.

William B. Gardner

Bell Syst. Tech. J., 1975