2095 search results - page 324 / 419 » Improved pebbling bounds |
189
click to vote
PAIRING
2007
Springer
16 years 14 days ago
2007
Springer
This paper puts forward new efficient constructions for public-key broadcast encryption that simultaneously enjoy the following properties: receivers are stateless; encryption is c...
203
click to vote
STACS
2007
Springer
16 years 13 days ago
2007
Springer
Fixed point equations x = f(x) over ω-continuous semirings can be seen as the mathematical foundation of interprocedural program analysis. The sequence 0, f(0), f2 (0), . . . conv...
177
click to vote
CGO
2006
IEEE
16 years 12 days ago
2006
IEEE
Although compile-time optimizations generally improve program performance, degradations caused by individual techniques are to be expected. One promising research direction to ove...
179
click to vote
FOCS
2006
IEEE
16 years 11 days ago
2006
IEEE
Spin systems are a general way to describe local interactions between nodes in a graph. In statistical mechanics, spin systems are often used as a model for physical systems. In c...
187
click to vote
FOCS
2006
IEEE
16 years 11 days ago
2006
IEEE
We extend the binary search technique to searching in trees. We consider two models of queries: questions about vertices and questions about edges. We present a general approach t...