Search Sciweavers | Sciweavers

79

ORDER
2010

101views more ORDER 2010»

Definability in Substructure Orderings, II: Finite Ordered Sets

14 years 8 months ago

Let P be the ordered set of isomorphism types of ﬁnite ordered sets (posets), where the ordering is by embeddability. We study ﬁrst-order deﬁnability in this ordered set. We ...

Jaroslav Jezek, Ralph McKenzie

claim paper

Read More »

70

click to vote

FASE
2010
Springer

125views Software Engineering» more FASE 2010»

Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques

15 years 4 months ago

Download osl.cs.uiuc.edu

Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Nondeterminism in actors results from the diﬀerent possible orde...

Steven Lauterburg, Rajesh K. Karmani, Darko Marino...

claim paper

Read More »

93

click to vote

EUROCRYPT
2010
Springer

178views Cryptology» more EUROCRYPT 2010»

Converting Pairing-Based Cryptosystems from Composite-Order Groups to Prime-Order Groups

15 years 2 months ago

Download eprint.iacr.org

We develop an abstract framework that encompasses the key properties of bilinear groups of composite order that are required to construct secure pairing-based cryptosystems, and we...

David Mandell Freeman

claim paper

Read More »

47

click to vote

CMPB
2010

79views more CMPB 2010»

On the efficiency of iterative ordered subset reconstruction algorithms for acceleration on GPUs

14 years 9 months ago

Download www.msg.ucsf.edu

Fang Xu, Wei Xu, Mel Jones, Bettina Keszthelyi, Jo...

claim paper