Sciweavers

19003 search results - page 92 / 3801
» We Need Assurance!
Sort
View
PODS
1994
ACM
131views Database» more  PODS 1994»
13 years 12 months ago
Constraint Checking with Partial Information
Abstract Appears in Proceedings of the Thirteenth Symposium on Principles of Database Systems, 1994 Ashish Gupta Yehoshua Sagivy Je rey D. Ullman Jennifer Widom Dept. of Computer S...
Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, J...
AUTOMATICA
2008
75views more  AUTOMATICA 2008»
13 years 8 months ago
Computations of probabilistic output admissible set for uncertain constrained systems
Abstract-- This paper considers uncertain constrained systems, and develops a method for computing a probabilistic output admissible (POA) set which is a set of initial states prob...
Takeshi Hatanaka, Kiyotsugu Takaba
ARITH
2003
IEEE
14 years 1 months ago
Revisiting SRT Quotient Digit Selection
The quotient digit selection in the SRT division algorithm is based on a few most significant bits of the remainder and divisor, where the remainder is usually represented in a r...
Peter Kornerup
ICSE
2000
IEEE-ACM
13 years 11 months ago
Testing: a roadmap
Testing is an important process that is performed to support quality assurance. Testing activities support quality assurance by gathering information about the nature of the softw...
Mary Jean Harrold
WWW
2011
ACM
13 years 2 months ago
Survivability-oriented self-tuning of web systems
Running in a highly uncertain and changing environment, Web systems cannot always provide full set of services with optimal quality, especially when the workload is high or failur...
Bihuan Chen, Xin Peng, Yijun Yu, Wenyun Zhao