Letter from the President of SADIO English Español
Papers
Structural Testing of Active DataBases,
Martín Balzamo, Martina Marré, Daniel Yankelevich
Abstract - Postscript
New Results on Fair Multi-threaded Paging,
Alejandro Strejilevich de Loma
Abstract - Postscript
The intrinsic complexity of parametric elimination methods,
J. Heintz, G. Matera, L. M. Pardo,
R. Wachenchauzer
Abstract - Postscript
Some Issues in Using Formal Methods for the Development of
Reactive Systems,
Pablo Argón,
Olivier Roux
Abstract - Postscript
Permutation of Sparse Matrices to a Specific Lower BTF using
Graph Decompositions,
Ignacio Ponzoni, Mabel C. Sanchez and Nilida B. Brignole
Abstract - Postscript
Telescope: An Object-Oriented Architecture for Visualization
Systems,
Ricardo Orosco
Abstract - Postscript
Events
Ph.D Thesis in Latin America
|
