898 search results - page 13 / 180 » A Linear Tabling Mechanism |
133
click to vote
NDSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Structured overlays are an important and powerful class of overlay networks that has emerged in recent years. They are typically targeted at peer-to-peer deployments involving mil...
136
Voted
ISLPED
2006
ACM
15 years 11 months ago
2006
ACM
Buffering more in-flight instructions in an out-of-order microprocessor is a straightforward and effective method to help tolerate the long latencies generally associated with ...
132
Voted
EUC
2005
Springer
15 years 10 months ago
2005
Springer
We analyze the problem of storing contextual information across a set of distributed heterogeneous mobile devices. These devices form a Mobile Ad Hoc Network (MANET) interconnected...
142
click to vote
PODS
2010
ACM
15 years 5 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
120
Voted
TIFS
2008
15 years 4 months ago
2008
Today, mass-scale electronic content distribution systems embed forensic tracking watermarks primarily at the distribution server. For limiting the bandwidth usage and server compl...