Sciweavers

1079 search results - page 91 / 216
» Predictive testing: amplifying the effectiveness of software...
Sort
View
FTCS
1998
144views more  FTCS 1998»
14 years 11 months ago
Improving Software Robustness with Dependability Cases
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
Roy A. Maxion, Robert T. Olszewski
JCP
2008
126views more  JCP 2008»
14 years 9 months ago
Hardware/Software Co-design Approach for an ADALINE Based Adaptive Control System
Abstract--In this paper, we report some results on hardware and software co-design of an adaptive linear neuron (ADALINE) based control system. A discrete-time Proportional-Integra...
Shouling He, Xuping Xu
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
14 years 20 days ago
Database state generation via dynamic symbolic execution for coverage criteria
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
Kai Pan, Xintao Wu, Tao Xie
GECCO
2006
Springer
172views Optimization» more  GECCO 2006»
15 years 1 months ago
Multi-objective optimisation of the protein-ligand docking problem in drug discovery
The pharmaceutical industry is facing an ever-increasing demand to discover novel drugs that are more effective and safer than existing ones. The industry faces huge problem in im...
A. Oduguwa, A. Tiwari, S. Fiorentino, R. Roy
INTERACT
2003
14 years 11 months ago
Effects of Visual Separation and Physical Discontinuities when Distributing Information across Multiple Displays
: Systems that include multiple integrated displays distributed throughout the working environment are becoming prevalent. Compared to traditional desktop displays, information pre...
Desney S. Tan, Mary Czerwinski