371 search results - page 42 / 75 » A framework for testing DBMS features |
ANSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Many scientific simulations are large programs which despite careful debugging and testing will probably contain errors when deployed to the Web for use. Based on the assumption ...
VTS
2005
IEEE
14 years 2 months ago
2005
IEEE
We present three resistive bridging fault models valid for different CMOS technologies. The models are partitioned into a general framework (which is shared by all three models) a...
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
TSD
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents a brand-new Slovak text-to-speech system. It was developed within the framework of ARTIC system (primarily designed to synthesize Czech speech) with r...
GROUP
1999
ACM
14 years 1 months ago
1999
ACM
This paper reports on a study of clinicians who care for diabetic patients, and on the design of an application to support their work. The clinicians' long-term activity is r...