Sciweavers

8 search results - page 1 / 2
» William C. Carter Award
Sort
View
IPPS
2010
IEEE
13 years 1 months ago
The pilot approach to cluster programming in C
John D. Carter, William B. Gardner, Gary Gré...
RSP
2005
IEEE
107views Control Systems» more  RSP 2005»
13 years 9 months ago
Rapid Prototyping of Embedded Software Using Selective Formalism
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
John D. Carter, Ming Xu, William B. Gardner
CCECE
2006
IEEE
13 years 9 months ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
JCT
2006
108views more  JCT 2006»
13 years 3 months ago
Jack van Lint (1932-2004): A survey of his scientific work
When Jack van Lint was appointed as full professor at the Eindhoven University of Technology at the age of 26 he combined a PhD in number theory with a very open scientific mind. ...
Bram Van Asch, Aart Blokhuis, Henk D. L. Hollmann,...