Sommaire

L-rigid databases and the expressibility of incomplete relational query languages. (Abstract).

Turull Torres, José María

Access to full text
Full (PS)


The Electronic Library of Mathematics
Program flow analysis for reducing and estimating the cost of test coverage criteria. (Abstract).

Marré, Martina

Access to full text
Full (PS)


The Electronic Library of Mathematics
Structural testing of active databases.

Balzamo, Martín ; Marré, Martina ; Yankelevich, Daniel

Access to full text
Full (PS)
p. 1-20

The Electronic Library of Mathematics
New results on fair multi-threaded paging.

Strejilevich de Loma, Alejandro

Access to full text
Full (PS)
p. 21-36

The Electronic Library of Mathematics
The intrinsic complexity of parametric elimination methods.

Heintz, J. ; Matera, G. ; Pardo, L.M. ; Wachenchauzer, R.

Access to full text
Full (PS)
p. 37-51

The Electronic Library of Mathematics
Some issues in using formal methods for the development of reactive systems.

Argón, Pablo ; Roux, Olivier

Access to full text
Full (PS)
p. 52-75

The Electronic Library of Mathematics
Permutation of sparse matrices to a specific lower BFT using graph decompositions.

Ponzoni, Ignacio ; Sánchez, Mabel C. ; Brignole, Nélida B.

Access to full text
Full (PS)
p. 76-87

The Electronic Library of Mathematics
Telecope: An object-oriented architecture for visualization systems.

Orosco, Ricardo

Access to full text
Full (PS)
p. 88-101

The Electronic Library of Mathematics