Search the dblp DataBase

Publications of Author

1. John Carter, Ming Xu, W. B. Gardner
   Rapid Prototyping of Embedded Software Using Selective Formalism. [Citation Graph (0, 0)][DBLP]
   IEEE International Workshop on Rapid System Prototyping, 2005, pp:99-104 [Conf]
   
2. Bernard Deconinck, Firat Kiyak, John D. Carter, J. Nathan Kutz
   SpectrUW: A laboratory for the numerical exploration of spectra of linear operators. [Citation Graph (0, 0)][DBLP]
   Mathematics and Computers in Simulation, 2007, v:74, n:4-5, pp:370-378 [Journal]
   
3. Nathan E. Canney, John D. Carter
   Stability of plane waves on deep water with dissipation. [Citation Graph (0, 0)][DBLP]
   Mathematics and Computers in Simulation, 2007, v:74, n:2-3, pp:159-167 [Journal]
   
4. J. Carter, William B. Gardner
   A Formal CSP Framework for Message-Passing HPC Programming. [Citation Graph (0, 0)][DBLP]
   CCECE, 2006, pp:1466-1470 [Conf]
   
5. 
   The pilot library for novice MPI programmers. [Citation Graph (, )][DBLP]
   
   
6. 
   Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming. [Citation Graph (, )][DBLP]