William B. Gardner

	2011
13		N. Girard, William B. Gardner, John D. Carter, Gary Gréwal: CellPilot: A Seamless Communication Solution for Hybrid Cell Clusters. ICPP Workshops 2011: 259-268
	2010
12		John D. Carter, William B. Gardner, Gary Gréwal: The pilot approach to cluster programming in C. IPDPS Workshops 2010: 1-8
11		John D. Carter, William B. Gardner, Gary Gréwal: The pilot library for novice MPI programmers. PPOPP 2010: 351-352
	2008
10		John D. Carter, William B. Gardner: Converting scenarios to CSP traces with Mise en Scene for requirements-based programming. ISSE 4(1): 45-70 (2008)
	2007
9		John D. Carter, William B. Gardner: Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming. SEW 2007: 41-52
	2006
8		John D. Carter, William B. Gardner: A Formal CSP Framework for Message-Passing HPC Programming. CCECE 2006: 1466-1470
	2005
7		William B. Gardner: CSP++: How Faithful to CSPm? CPA 2005: 129-146
6		Stephen Doxsee, William B. Gardner: Synthesis of C++ Software from Verifiable CSPm Specifications. ECBS 2005: 193-201
5		S. W. Song, J. D. Zheng, William B. Gardner: Prototyping a Residential Gateway Using Xilinx ISE. IEEE International Workshop on Rapid System Prototyping 2005: 267-269
4		John D. Carter, Ming Xu, William B. Gardner: Rapid Prototyping of Embedded Software Using Selective Formalism. IEEE International Workshop on Rapid System Prototyping 2005: 99-104
3		Stephen Doxsee, William B. Gardner: Synthesis of C++ software for automated teller from CSPm specifications. SAC 2005: 1565-1566
2		William B. Gardner: Converging CSP specifications and C++ programming via selective formalism. ACM Trans. Embedded Comput. Syst. 4(2): 302-330 (2005)
	2003
1		William B. Gardner: Bridging CSP and C++ with Selective Formalism and Executable Specifications. MEMOCODE 2003: 237-

Coauthor Index

1	John D. Carter	[4] [8] [9] [10] [11] [12] [13]
2	Stephen Doxsee	[3] [6]
3	N. Girard	[13]
4	Gary William Grewal (Gary Gréwal)	[11] [12] [13]
5	S. W. Song	[5]
6	Ming Xu	[4]
7	J. D. Zheng	[5]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page