Search the dblp DataBase

Publications of Author

1. Jorge Núñez-Suárez, Donie O'Sullivan, Henri Brouchoud, Patrice Cros, Clair Moore, Ciara Byrne
   Experiences in the use of FIPA agent technologies for the development of a personal travel application. [Citation Graph (0, 0)][DBLP]
   Agents, 2000, pp:357-364 [Conf]
   
2. Paul Bourret, Patrice Cros
   A Deterministic Model of Operating Systems. [Citation Graph (0, 0)][DBLP]
   IFIP Congress, 1980, pp:275-280 [Conf]
   
3. L. Boi, Patrice Cros, J. P. Drucbert, J. Y. Rousselot, Paul Bourret, R. Trepos
   A Performance Evaluation of the CII SIRIS 8 Operating System. Methodology, Tools and First Results. [Citation Graph (0, 0)][DBLP]
   Performance, 1976, pp:67-80 [Conf]
   
4. Yamine Aït Ameur, Patrice Cros, J.-J. Falcon, A. Gomez
   An Application of Abstract Interpretation to Floating Point Arithmetic. [Citation Graph (0, 0)][DBLP]
   WSA, 1992, pp:205-212 [Conf]
   
5. Jacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel
   Construction and Reuse of Formal Program Developments. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, Vol.2, 1991, pp:120-136 [Conf]
   
6. Paul Bourret, Patrice Cros
   Presentation and Correction of Errors in Operating System Measurements. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1980, v:6, n:4, pp:395-398 [Journal]