Sciweavers

277 search results - page 26 / 56
» An Approach to Specify and Test Component-Based Dependable S...
Sort
View
FLAIRS
2006
15 years 7 months ago
A Case-Based Approach to Explore Validation Experience
The success of TURING Test technologies for system validation depends on the quality of the human expertise behind the system. As an additional source of human experts' valid...
Rainer Knauf, Setsuo Tsuruta
KDD
2009
ACM
232views Data Mining» more  KDD 2009»
16 years 6 months ago
Classification of software behaviors for failure detection: a discriminative pattern mining approach
Software is a ubiquitous component of our daily life. We often depend on the correct working of software systems. Due to the difficulty and complexity of software systems, bugs an...
David Lo, Hong Cheng, Jiawei Han, Siau-Cheng Khoo,...
ASPLOS
2009
ACM
16 years 6 months ago
Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
Martin Dimitrov, Huiyang Zhou
ASPLOS
2009
ACM
16 years 6 months ago
Understanding software approaches for GPGPU reliability
Even though graphics processors (GPUs) are becoming increasingly popular for general purpose computing, current (and likely near future) generations of GPUs do not provide hardwar...
Martin Dimitrov, Mike Mantor, Huiyang Zhou
WWW
2007
ACM
16 years 6 months ago
Supporting end-users in the creation of dependable web clips
Web authoring environments enable end-users to create applications that integrate information from other web sources. Users can create web sites that include built-in components t...
Sandeep Lingam, Sebastian G. Elbaum