Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...
This paper presents our preliminary experimental results on the encountered many problems when producing urban true orthoimages of downtown, where a number of high buildings prese...
Guoqing Zhou, Zhihao Qin, Susan Benjamin, J. Rand,...
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequat...
This paper presents the Architecture Tradeoff Analysis Method (ATAM), a structured technique for understanding the tradeoffs inherent in design. This method was developed to provi...
Rick Kazman, Mark H. Klein, Mario Barbacci, Thomas...
As well known, in the reconstruction of the 3D models through optical systems, the errors are due to the singleview acquisition error and to the 3D modeling procedure. The latter ...
Nicola Brusco, Simone Carmignato, Marco Andreetto,...