William B. Gardner

Publication Activity (10 Years)

Years Active: 1975-2017
Publications (10 Years): 5

Top Topics

Distributed Shared Memory

Constraint Graph

Message Passing

Parallel Programming

Top Venues

J. Comput. Sci.

IPDPS Workshops

Publications

Tianyi Bao, William B. Gardner
Log Visualization Tool for Message-Passing Programming in Pilot. IPDPS Workshops (2017)
William B. Gardner
Should We Be Teaching Parallel Programming? WCCCE (2017)
John D. Carter, William B. Gardner
BHive: Towards Behaviour-Driven Development Supported by B-Method. IRI (2016)
William B. Gardner, Gary Gréwal, Deborah Stacey, David A. Calvert, Stefan C. Kremer, Fangju Wang
A new Canadian interdisciplinary Ph.D. in computational sciences. J. Comput. Sci. 9 (2015)
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)
Ben Kelly, William B. Gardner, Shorin Kyo
AutoPilot: message passing parallel programming for a cache incoherent embedded manycore processor. MES (2013)
William B. Gardner, Yuriy Solovyov
Supporting Timed CSP Operators in CSP++. CPA (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)
John D. Carter, William B. Gardner
A Formal CSP Framework for Message-Passing HPC Programming. CCECE (2006)
William B. Gardner
CSP++: How Faithful to CSPm? CPA (2005)
S. W. Song, J. D. Zheng, William B. Gardner
Prototyping a Residential Gateway Using Xilinx ISE. IEEE International Workshop on Rapid System Prototyping (2005)
Stephen Doxsee, William B. Gardner
Synthesis of C++ software for automated teller from CSPm specifications. SAC (2005)
John D. Carter, Ming Xu, William B. Gardner
Rapid Prototyping of Embedded Software Using Selective Formalism. IEEE International Workshop on Rapid System Prototyping (2005)
William B. Gardner
Converging CSP specifications and C++ programming via selective formalism. ACM Trans. Embed. Comput. Syst. 4 (2) (2005)
Stephen Doxsee, William B. Gardner
Software from Verifiable CSPm Specifications. ECBS (2005)
William B. Gardner
Bridging CSP and C++ with Selective Formalism and Executable Specifications. MEMOCODE (2003)
William B. Gardner, Micaela Serra
An Object-Oriented Layered Approach to Interfaces for Hardware/Software Codesign of Embedded Systems. HICSS (7) (1998)
William B. Gardner
Microbending loss in optical fibers. Bell Syst. Tech. J. 54 (2) (1975)