Sciweavers

10819 search results - page 443 / 2164
» Addition and multiplication of sets
Sort
View
SIGMOD
2011
ACM
218views Database» more  SIGMOD 2011»
14 years 9 months ago
A data-oriented transaction execution engine and supporting tools
Conventional OLTP systems assign each transaction to a worker thread and that thread accesses data, depending on what the transaction dictates. This thread-to-transaction work ass...
Ippokratis Pandis, Pinar Tözün, Miguel B...
IACR
2011
106views more  IACR 2011»
14 years 6 months ago
Hash Functions Based on Three Permutations: A Generic Security Analysis
We consider the family of 2n-to-n-bit compression functions that are solely based on at most three permutation executions and on XOR-operators, and analyze its collision and preima...
Bart Mennink, Bart Preneel
ATS
1998
IEEE
113views Hardware» more  ATS 1998»
15 years 11 months ago
Testing and Diagnosis of Interconnect Structures in FPGAs
Since Field programmable gate arrays (FPGAs) are reprogrammable, faults in them can be easily toleruted once fault sites are located. Previous researches on diagnosis of FPGAs mai...
Sying-Jyan Wang, Chao-Neng Huang
JVCA
2008
73views more  JVCA 2008»
15 years 6 months ago
A unified handling of immiscible and miscible fluids
Conventional level set based approaches have an inherent difficulty in tracking miscible fluids due to its discrete treatment for interface. This paper proposes a unified framewor...
Jinho Park, Younghui Kim, Daehyeon Wi, Nahyup Kang...
COMMA
2010
15 years 1 months ago
Dialectical Proofs for Constrained Argumentation
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
Caroline Devred, Sylvie Doutre, Claire Lefè...