Sciweavers

Share
IPPS
2010
IEEE
9 years 9 months ago
Enhancing adaptive middleware for quantum chemistry applications with a database framework
Quantum chemistry applications such as the General Atomic and Molecular Electronic Structure System (GAMESS) that can execute on a complex peta-scale parallel computing environment...
Lakshminarasimhan Seshagiri, Meng-Shiou Wu, Masha ...
TSE
2002
85views more  TSE 2002»
9 years 11 months ago
A Test Generation Strategy for Pairwise Testing
Kuo-Chung Tai, Yu Lei
TAP
2008
Springer
102views Hardware» more  TAP 2008»
9 years 11 months ago
A Logic-Based Approach to Combinatorial Testing with Constraints
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
Andrea Calvagna, Angelo Gargantini
JCB
2006
91views more  JCB 2006»
9 years 11 months ago
Reverse Engineering Discrete Dynamical Systems from Data Sets with Random Input Vectors
Recently a new algorithm for reverse engineering of biochemical networks was developed by Laubenbacher and Stigler. It is based on methods from computational algebra and finds mos...
Winfried Just
WSC
2001
10 years 28 days ago
Simulation of a night taxi-bus service for the historical center of Rome
The Municipality of Rome plans to introduce a taxi-bus system as a night service. A micro-simulation model was developed to estimate the needed information. Two major topics regar...
Thomas Schulze, Marco Lemessi, Francesco Filippi
ESEM
2007
ACM
10 years 3 months ago
An Approach to Global Sensitivity Analysis: FAST on COCOMO
There are various models in software engineering that are used to predict quality-related aspects of the process or artefacts. The use of these models involves elaborate data coll...
Stefan Wagner
LCTRTS
1998
Springer
10 years 3 months ago
Automatic Accurate Time-Bound Analysis for High-Level Languages
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
Yanhong A. Liu, Gustavo Gomez
QSIC
2003
IEEE
10 years 4 months ago
Generating Small Combinatorial Test Suites to Cover Input-Output Relationships
In this paper, we consider a problem that arises in black box testing: generating small test suites (i.e., sets of test cases) where the combinations that have to be covered are s...
Christine Cheng, Adrian Dumitrescu, Patrick J. Sch...
WECWIS
2008
IEEE
121views ECommerce» more  WECWIS 2008»
10 years 6 months ago
Semantic Web Service Composition for Service-Oriented Architectures
Semantic web service composition is about finding services from a repository that are able to accomplish a specified task. The task is defined in a form of a composition reques...
Thomas Weise, Steffen Bleul, Marc Kirchhoff, Kurt ...
COMPSAC
2009
IEEE
10 years 6 months ago
Software Input Space Modeling with Constraints among Parameters
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...
Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poor...
books