3020 search results - page 594 / 604 » Type Analysis of Prolog Using Type Graphs |
SAINT
2002
IEEE
14 years 14 days ago
2002
IEEE
Disconnection is one of the popular techniques for operating in mobile environments and is here to stay, until long-range wireless connectivity becomes a reality. However, disconn...
SIGMETRICS
2010
ACM
14 years 11 days ago
2010
ACM
—Parallelism has often been used to improve the reliability and efficiency of a variety of different engineering systems. In this paper, we quantify the efficiency of paralleli...
EDBT
2009
ACM
14 years 5 days ago
2009
ACM
The discovery of complex patterns such as clusters, outliers, and associations from huge volumes of streaming data has been recognized as critical for many domains. However, patte...
RAID
1999
Springer
13 years 11 months ago
1999
Springer
We approached this line of inquiry by questioning the conventional wisdom that audit logs are too large to be analyzed and must be reduced and filtered before the data can be anal...
SIGMETRICS
1996
ACM
13 years 11 months ago
1996
ACM
In this paper we describe our experiments on digital video applications, concentrating on the static and dynamic tradeo s involved in video playback. Our results were extracted fr...