2237 search results - page 396 / 448 » Analysis and Testing of Web Applications |
SSDBM
1999
IEEE
15 years 3 months ago
1999
IEEE
In many scientific domains, experimental devices or simulation programs generate large volumes of data. The volumes of data may reach hundreds of terabytes and therefore it is imp...
MICCAI
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. We present a computer vision system that automatically detects pulmonary nodules in computed tomography (CT) scans of oncology patients, performs size analysis and assess...
HASE
1997
IEEE
15 years 3 months ago
1997
IEEE
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...
ICS
1993
Tsinghua U.
15 years 3 months ago
1993
Tsinghua U.
: The EM-4 is a supercomputer that offers very fast inter processor communication and support for multi threading. In this paper we demonstrate that the EM-4, Together with an auto...
CAV
2009
Springer
15 years 3 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...