14169 search results - page 2697 / 2834 » Tabular application development |
179
click to vote
ASPLOS
2000
ACM
15 years 10 months ago
2000
ACM
Recently, there has been a growing interest in exploiting profile information in adaptive systems such as just-in-time compilers, dynamic optimizers and, binary translators. In th...
228
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
155
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
Algebraic multigrid methods offer the hope that multigrid convergence can be achieved (for at least some important applications) without a great deal of effort from engineers an...
202
click to vote
SIGCSE
2000
ACM
15 years 10 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
163
click to vote
SIGMOD
2000
ACM
15 years 10 months ago
2000
ACM
We present WSQ/DSQ (pronounced “wisk-disk”), a new approach for combining the query facilities of traditional databases with existing search engines on the Web. WSQ, for Web-S...