Sciweavers

1313 search results - page 5 / 263

» Generic Universe Types

13

CANS
2007
Springer

137views Cryptology» more CANS 2007»

A Generic Construction for Universally-Convertible Undeniable Signatures

14 years 25 days ago

A Generic Construction for Universally-Convertible Undeniable Signatures

Download www.spms.ntu.edu.sg

Xinyi Huang, Yi Mu, Willy Susilo, Wei Wu

claim paper

Read More »

9

ETS
2006
IEEE

66views Hardware» more ETS 2006»

Learning Design, generic service descriptions and universal acid

13 years 6 months ago

Learning Design, generic service descriptions and universal acid

Download www.ifets.info

Martin Weller, Alex Little, Patrick McAndrew, Will...

claim paper

Read More »

14

TC
2002

107views Information Technology» more TC 2002»

Comment on Generic Universal Switch Blocks

13 years 6 months ago

Comment on Generic Universal Switch Blocks

Download cc.ee.ntu.edu.tw

Hongbing Fan, Yu-Liang Wu, Yao-Wen Chang

claim paper

Read More »

21

SFP
2004

103views Programming Languages» more SFP 2004»

Generic proofs for combinator-based generic programs

13 years 8 months ago

Generic proofs for combinator-based generic programs

Download www.comlab.ox.ac.uk

Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...

Fermín Reig

claim paper

Read More »

9

SIGARCH
2008

93views more SIGARCH 2008»

NOBLE: non-blocking programming support via lock-free shared abstract data types

13 years 6 months ago

NOBLE: non-blocking programming support via lock-free shared abstract data types

Download www.bth.se

e Shared Abstract Data Types H

Håkan Sundell, Philippas Tsigas

claim paper

Read More »

« Prev « First page 5 / 263 Last » Next »