Search
Now showing items 11-20 of 2098
STATIC ANALYSIS AND OPTIMIZATION OF SEMANTIC WEB QUERIES
(ASSOCIATION FOR COMPUTING MACHINERY, 2013)
Finite-element analysis of a static fluid-solid interaction problem
(OXFORD UNIV PRESS, 2011)
Reduzindo o Custo do Teste de Mutação com base em Informações de Análise Estática
(Universidade Federal de São CarlosUFSCarPrograma de Pós-graduação em Ciência da ComputaçãoCâmpus São Carlos, 2019-02-26)
To guarantee the quality of the software, static and dynamic analysis techniques can be used. Both have advantages and disadvantages and should be used together to improve the quality of the results obtained. In this work, ...
Critical evaluation of direct and iterative methods for solving Ax=b systems in power flow calculations and contingency analysis
(Ieee-inst Electrical Electronics Engineers IncNew YorkEUA, 1999)
Practical JFSL verification using TACO
(Wiley, 2013-11)
Translation of Annotated COde (TACO) is a SAT-based tool for bounded verification of Java programs. One challenge many formal tools share is to provide a practical interface for a non-proficient user. In this article, we ...
Influence of two different vinification procedures on the physicochemical and sensory properties of Brazilian non-Vitis vinifera red wines
(2013-12-01)
The objective of this study was to evaluate the association between the physicochemical properties and sensory acceptance of Brazilian red wines by applying chemometric techniques. Therefore, three winemaking processes ...
Software Process Modeled with Objects: Static ViewSoftware Process Modeled with Objects: Static View
(Computación y Sistemas, 2009)