8 search results - page 1 / 2 » William C. Carter Award |
DSN
2006
IEEE
13 years 8 months ago
2006
IEEE
IPPS
2010
IEEE
13 years 2 months ago
2010
IEEE
RSP
2005
IEEE
13 years 10 months ago
2005
IEEE
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...
CCECE
2006
IEEE
13 years 10 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
JCT
2006
13 years 4 months ago
2006
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. ...