Sciweavers

2 search results - page 1 / 1
» Two Formal Semantics of a Subset of the Paderborn University...
Sort
View
PDP
2009
IEEE
14 years 5 months ago
Two Formal Semantics of a Subset of the Paderborn University BSPlib
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time...
Frédéric Gava, Jean Fortin
ACNS
2006
Springer
138views Cryptology» more  ACNS 2006»
14 years 2 months ago
Syntax-Driven Private Evaluation of Quantified Membership Queries
Abstract. Membership queries are basic predicate operations that apply to datasets. Quantifications of such queries express global properties between datasets, including subset inc...
Aggelos Kiayias, Antonina Mitrofanova