Sciweavers

341 search results - page 33 / 69
» Architecture Assessment Model for System Evolution
Sort
View
DAC
2010
ACM
13 years 11 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
PPOPP
2010
ACM
14 years 2 months ago
An adaptive performance modeling tool for GPU architectures
This paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. The model is designed to provide performance information ...
Sara S. Baghsorkhi, Matthieu Delahaye, Sanjay J. P...
IADIS
2003
13 years 9 months ago
Simulation Based Approach to Evaluate a Distributed Search Engine
We present a simulation model used to evaluate a distributed search engine by modelling its performance. The model is designed to aid performance-driven evolution of the system. W...
Thomas Phelan, Ahmed Patel, Seamus O. Ciardhu&aacu...
ER
1998
Springer
145views Database» more  ER 1998»
13 years 11 months ago
Design and Analysis of Quality Information for Data Warehouses
Data warehouses are complex systems that have to deliver highly-aggregated, high quality data from heterogeneous sources to decision makers. Due to the dynamic change in the requir...
Manfred A. Jeusfeld, Christoph Quix, Matthias Jark...
WSC
2004
13 years 9 months ago
Implementing the High Level Architecture in the Virtual Test Bed
The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...
José A. Sepúlveda, Luis C. Rabelo, J...