1445 search results - page 199 / 289 » Uniformly Hard Languages |
155
click to vote
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
Trace-based compilation is a promising technique for language compilers and binary translators. It offers the potential to expand the compilation scopes that have traditionally be...
300
click to vote
SACMAT
2011
ACM
14 years 7 months ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we de...
251
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
115
click to vote
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
We settle the question of tight thresholds for offline cuckoo hashing. The problem can be stated as follows: we have n keys to be hashed into m buckets each capable of holding a s...
116
click to vote
PLDI
1999
ACM
15 years 8 months ago
1999
ACM
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the re...