7766 search results - page 1310 / 1554 » Testing Nondeterminate Systems |
SIGIR
2000
ACM
15 years 5 months ago
2000
ACM
Most web pages are linked to others with related content. This idea, combined with another that says that text in, and possibly around, HTML anchors describe the pages to which th...
121
Voted
AFPAC
2000
Springer
15 years 5 months ago
2000
Springer
In signal processing, the approach of the analytic signal is a capable and often used method. For signals of finite length, quadrature filters yield a bandpass filtered approxim...
122
click to vote
AGP
1999
IEEE
15 years 5 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
111
click to vote
ICFP
1999
ACM
15 years 5 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
105
Voted
ICDCS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes a highly available distributedvideo on demand (VoD) service which is inherently fault tolerant. The VoD service is provided by multiple servers that reside at...