2501 search results - page 193 / 501 » Logics with Rank Operators |
136
click to vote
ISCA
2002
IEEE
15 years 9 months ago
2002
IEEE
Microprocessor clock frequency has improved by nearly 40% annually over the past decade. This improvement has been provided, in equal measure, by smaller technologies and deeper p...
140
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Host security is achieved by securing both the operating system kernel and the privileged applications that run on top of it. Application-level bugs are more frequent than kernel-...
142
Voted
AGP
1995
IEEE
15 years 8 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
131
Voted
AAAI
2006
15 years 6 months ago
2006
We consider the problem of rewriting a query efficiently using materialized views. In the context of information integration, this problem has received significant attention in th...
121
Voted
AAAI
2000
15 years 6 months ago
2000
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...