Patrice Cros

Publication Activity (10 Years)

Years Active: 1976-2000
Publications (10 Years): 0

Publications

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. Agents (2000)
Yamine Aït Ameur, Patrice Cros, Juan José Falcón, Alicia Gómez
An Application of Abstract Interpretation to Floating Point Arithmetic. WSA (1992)
Jacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel
Construction and Reuse of Formal Program Developments. TAPSOFT, Vol.2 (1991)
Paul Bourret, Patrice Cros
A Deterministic Model of Operating Systems. IFIP Congress (1980)
Paul Bourret, Patrice Cros
Presentation and Correction of Errors in Operating System Measurements. IEEE Trans. Software Eng. 6 (4) (1980)
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. Performance (1976)