Login / Signup
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)