2302 search results - page 333 / 461 » Testing as Abstraction |
151
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. GeoFEM has been developed as a finite element solid earth simulator using the Earth Simulator (ES) (35.61 Tflops/peak according to the Linpack benchmark test). It is comp...
130
click to vote
ICWE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. CSCW applications require availability, portability, familiarity, scalability, bandwidth and performance. This paper describes the use of Web-multicasting to address thes...
154
click to vote
IDA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper introduces a novel method for processing spotted microarray images, inspired from image reconstruction. Instead of the usual approach that focuses on the signa...
188
click to vote
IDA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Many examples exist of multivariate time series where dependencies between variables change over time. If these changing dependencies are not taken into account, any mode...
193
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...