People

Paula Prata

Email

Member

Software and Systems Engineering

Export publications Citations

Export publications BibTeX

Journal Articles

2005

(1 publication)

Prata, P. and Mario Zenha-Rela and Madeira, H. and Silva, J.G. , "Robust Assertions and Fail-Bounded Behavior", Journal of the Brazilian Computer Society (Special Issue on Dependable Computing), 2005

Conference Articles

1999

(2 publications)

Prata, P. and Silva, J.G. , "Fault-Detection by Result-Checking for the Eigenproblem", in EDDC-3, 1999
Prata, P. and Silva, J.G. , "Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations", in FTCS - 29, 1999

1998

(1 publication)

Silva, J.G. and Prata, P. and Mario Zenha-Rela and Madeira, H. , "Practical Issues in the Use of ABFT and a new Failure Model", in FTCS - 28, 1998

PhD Theses

2000

(1 publication)

Prata, P. , "High Coverage Assertions", 2000