828 search results - page 52 / 166 » types 2000 |
LICS
2000
IEEE
14 years 3 days ago
2000
IEEE
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
WISE
2000
Springer
14 years 3 days ago
2000
Springer
Many algorithms have been proposed in the area of materialized view maintenance. They provide different capabilities and features, and have different complexity in their implement...
ASPDAC
2000
ACM
14 years 3 days ago
2000
ACM
⎯ This paper presents our research results on power-clocked CMOS design. First we provide algebraic expressions and describe properties of clocked signals. Next two types of powe...
ERCIMDL
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this paper INDIGO, an approach to infrastructures for digital libraries is presented. It fulfills two crucial requirements to digital libraries: scalability and the ab...
EUROPAR
2000
Springer
13 years 11 months ago
2000
Springer
A hybrid approach that utilizes both statistical techniques and empirical methods seeks to provide more information about the performance of an application. In this paper, we prese...