2470 search results - page 362 / 494 » Liveness-Preserving Simulation Relations |
179
click to vote
CTRSA
2011
Springer
14 years 8 months ago
2011
Springer
Non-malleability of a cryptographic primitive is a fundamental security property which ensures some sort of independence of cryptographic values. The notion has been extensively st...
155
click to vote
SIGIR
2011
ACM
14 years 7 months ago
2011
ACM
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...
158
click to vote
SIGMETRICS
2011
ACM
14 years 7 months ago
2011
ACM
The amount of charge stored in an SRAM cell shrinks rapidly with each technology generation thus increasingly exposing caches to soft errors. Benchmarking the FIT rate of caches d...
128
click to vote
INFOCOM
2002
IEEE
15 years 9 months ago
2002
IEEE
— A number of large-scale distributed Internet applications could potentially benefit from some level of knowledge about the relative proximity between its participating host no...
168
click to vote
ACRI
2010
Springer
15 years 3 months ago
2010
Springer
In this work we study the complexity of the three-dimensional sandpile avalanches triggered by the addition of two critical configurations. We prove that the algorithmic problem c...