William B. Gardner

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