[IEEE Comput. Soc. Press 1994 IEEE International Symposium on Software Reliability Engineering - Monterey, CA, USA (6-9 Nov. 1994)] Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering - Using formal methods to validate C programsAntoine, C.; Baudin, P.; Collart, J.M.; Raguideau, J.; Trotin, A. · 1994

[IEEE Comput. Soc. Press 1994 IEEE International Conference on Computer Languages (ICCL'94) - Toulouse, France (16-19 May 1994)] Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94) - SPiCE: a system for translating Smalltalk programs into a C environmentYasumatsu, K.; Doi, N. · 1994

[IEEE Comput. Soc. Press 8th International Parallel Processing Symposium - Cancun, Mexico (26-29 April 1994)] Proceedings of 8th International Parallel Processing Symposium - HyperC: portable parallel programming in CClermont, P.; Paris, N. · 1994

[IEEE Comput. Soc. Press 1994 IEEE International Conference on Robotics and Automation - San Diego, CA, USA (8-13 May 1994)] Proceedings of the 1994 IEEE International Conference on Robotics and Automation - Motion planning with many degrees of freedom-random reflections at C-space obstaclesHorsch, T.; Schwarz, F.; Tolle, H. · 1994

[IEEE Comput. Soc. Press 1994 International Conference on Parallel and Distributed Systems - Hsinchu, Taiwan (19-21 Dec. 1994)] Proceedings of 1994 International Conference on Parallel and Distributed Systems - A distributed memory multiprocessor implementation of C-with-EaseMacKenzie, T.; Dix, T. · 1994

[IEEE Comput. Soc. Press 1994 IEEE International Conference on Robotics and Automation - San Diego, CA, USA (8-13 May 1994)] Proceedings of the 1994 IEEE International Conference on Robotics and Automation - Construction of C-space roadmaps from local sensory data-what should the sensors look for?Rimon, E.; Canny, J.F. · 1994

[IEEE Comput. Soc. Press 1st International Conference on Image Processing - Austin, TX, USA (13-16 Nov. 1994)] Proceedings of 1st International Conference on Image Processing - Using MATLAB and C in an image processing lab courseEddins, S.L.; Orchard, M.T. · 1994

[IEEE Comput. Soc. Press 14th International Conference on Distributed Computing Systems - Pozman, Poland (21-24 June 1994)] 14th International Conference on Distributed Computing Systems - Concert/C: supporting distributed programming with language extensions and a portable multiprotocol runtimeAuerbach, J.S.; Gopal, A.S.; Russell, J.R.; Kennedy, M.T. · 1994