Sciweavers

1682 search results - page 289 / 337
» Applying Conventional Testing Techniques for Class Testing
Sort
View
119
Voted
DSN
2003
IEEE
15 years 8 months ago
Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services
Abstract: We present a new approach that uses compilerdirected fault-injection for coverage testing of recovery code in Internet services to evaluate their robustness to operating ...
Chen Fu, Richard P. Martin, Kiran Nagaraja, Thu D....
118
Voted
ITC
2003
IEEE
149views Hardware» more  ITC 2003»
15 years 8 months ago
On Reducing Aliasing Effects and Improving Diagnosis of Logic BIST Failures
Diagnosing failing vectors in a Built-In Self Test (BIST) environment is a difficult task because of the highly compressed signature coming out of the Multiple Input Shift Regist...
Ramesh C. Tekumalla
128
Voted
DMKD
2003
ACM
110views Data Mining» more  DMKD 2003»
15 years 8 months ago
Weave amino acid sequences for protein secondary structure prediction
Given a known protein sequence, predicting its secondary structure can help understand its three-dimensional (tertiary) structure, i.e., the folding. In this paper, we present an ...
Xiaochun Yang, Bin Wang
154
Voted
GROUP
2003
ACM
15 years 8 months ago
Awareness support in a groupware widget toolkit
Group awareness is an important part of synchronous collaboration, and support for group awareness can greatly improve groupware usability. However, it is still difficult to build...
Jason Hill, Carl Gutwin
137
Voted
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
15 years 8 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...