Patrice Cros

According to our database, Patrice Cros authored at least 6 papers between 1976 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2000

Experiences in the use of FIPA agent technologies for the development of a personal travel application.

Jorge Núñez-Suárez, Donie O'Sullivan, Henri Brouchoud, Patrice Cros, Clair Moore, Ciara Byrne

Proceedings of the Fourth International Conference on Autonomous Agents, 2000

1992

An Application of Abstract Interpretation to Floating Point Arithmetic.

Yamine Aït Ameur, Patrice Cros, Juan José Falcón, Alicia Gómez

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

1991

Construction and Reuse of Formal Program Developments.

Jacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

1980

Presentation and Correction of Errors in Operating System Measurements.

Paul Bourret, Patrice Cros

IEEE Trans. Software Eng., 1980

A Deterministic Model of Operating Systems.

Paul Bourret, Patrice Cros

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1976

A Performance Evaluation of the CII SIRIS 8 Operating System. Methodology, Tools and First Results.

L. Boi, Patrice Cros, J. P. Drucbert, J. Y. Rousselot, Paul Bourret, R. Trepos

Proceedings of the Modelling and Performance Evaluation of Computer Systems, 1976