3965 search results - page 759 / 793 » Effectivity of Regular Spaces |
CP
1998
Springer
14 years 2 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
SIGMOD
1998
ACM
14 years 2 months ago
1998
ACM
Caching has been proposed (and implemented) by OLAP systems in order to reduce response times for multidimensional queries. Previous work on such caching has considered table leve...
PG
1997
IEEE
14 years 2 months ago
1997
IEEE
A plenoptic function is a parameterized function describing the flow of light in space, and has served as a key idea in building some of the recent image-based rendering systems....
SIGMETRICS
1997
ACM
14 years 2 months ago
1997
ACM
In this paper we present a performance study of memory reference behavior in network protocol processing, using an Internet-based protocol stack implemented in the x-kernel runnin...
ICDE
1993
IEEE
14 years 2 months ago
1993
IEEE
To add time su port to the relational model, both first normal form (fNF and non-INF appmches have maining within 1NF when time support is added may introduce data redundancy. The...