 | 2008 |
|---|
| 8 |       | John Carter,
William B. Gardner:
Converting scenarios to CSP traces with Mise en Scene for requirements-based programming.
ISSE 4(1): 45-70 (2008) |
| 2007 |
|---|
| 7 | | John Carter,
William B. Gardner:
Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming.
SEW 2007: 41-52 |
| 2006 |
|---|
| 6 | | John Carter,
William B. Gardner:
A Formal CSP Framework for Message-Passing HPC Programming.
CCECE 2006: 1466-1470 |
| 2005 |
|---|
| 5 | | Nick Spencer,
John Carter:
Towards pose invariant gait reconstruction.
ICIP (3) 2005: 261-264 |
| 4 | | John Carter,
Ming Xu,
William B. Gardner:
Rapid Prototyping of Embedded Software Using Selective Formalism.
IEEE International Workshop on Rapid System Prototyping 2005: 99-104 |
| 2004 |
|---|
| 3 | | Sachin Goyal,
John Carter:
A Lightweight Secure Cyber Foraging Infrastructure for Resource-Constrained Devices.
WMCSA 2004: 186-195 |
| 2003 |
|---|
| 2 | | Yeshwant Kolla,
Yong-Bin Kim,
John Carter:
A novel 32-bit scalable multiplier architecture.
ACM Great Lakes Symposium on VLSI 2003: 241-244 |
| 2001 |
|---|
| 1 | | Paul Thompson,
Traugott Koch,
John Carter,
Heike Neuroth,
Ed O'Neill,
Dagobert Soergel:
Workshop 3: classification crosswalks.
JCDL 2001: 484 |
