Sciweavers

148 search results - page 12 / 30
» Automated Systematic Testing of Open Distributed Programs
Sort
View
SIGMOD
2010
ACM
215views Database» more  SIGMOD 2010»
15 years 6 months ago
Dynamic symbolic database application testing
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
Chengkai Li, Christoph Csallner
NMR
2004
Springer
15 years 7 months ago
Semantics of disjunctive programs with monotone aggregates - an operator-based approach
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
Nikolay Pelov, Miroslaw Truszczynski
WWW
2007
ACM
16 years 2 months ago
AutoPerf: an automated load generator and performance measurement tool for multi-tier software systems
We present a load generator and performance measurement tool (AutoPerf ) which requires minimal input and configuration from the user, and produces a comprehensive capacity analys...
Shrirang Sudhir Shirodkar, Varsha Apte
ISQED
2003
IEEE
119views Hardware» more  ISQED 2003»
15 years 7 months ago
System and Framework for QA of Process Design Kits
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
M. C. Scott, M. O. Peralta, Jo Dale Carothers
CCGRID
2010
IEEE
15 years 3 months ago
An Effective Architecture for Automated Appliance Management System Applying Ontology-Based Cloud Discovery
Cloud computing is a computing paradigm which allows access of computing elements and storages on-demand over the Internet. Virtual Appliances, pre-configured, readyto-run applicat...
Amir Vahid Dastjerdi, Sayed Gholam Hassan Tabataba...