4099 search results - page 745 / 820 » First Class Patterns |
114
Voted
CC
2006
Springer
15 years 4 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
123
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
Location-hidden services, as offered by anonymity systems such as Tor, allow servers to be operated under a pseudonym. As Tor is an overlay network, servers hosting hidden service...
113
click to vote
ECAI
2004
Springer
15 years 4 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
108
Voted
LCR
2000
Springer
15 years 4 months ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
116
Voted
ICIP
1995
IEEE
15 years 4 months ago
1995
IEEE
This paper develops an error bound for narrow bandwidth Gabor filters synthesized using multiple stages. It is shown that the error introduced by approximating narrow bandwidth Ga...