Sciweavers

18429 search results - page 316 / 3686

» Typing dynamic typing

97

FTDCS
2003
IEEE

96views Distributed And Parallel Com...» more FTDCS 2003»

Exhaustive Search for Costas-Type Sequences for Multi-Target Recognition

16 years 2 hour ago

Exhaustive Search for Costas-Type Sequences for Multi-Target Recognition

Download www.costasarrays.org

Oscar Moreno, Dorothy Bollman, Li Yuchun

claim paper

Read More »

127

Voted

ICDCS
2003
IEEE

82views Distributed And Parallel Com...» more ICDCS 2003»

Pragmatic Type Interoperability

15 years 12 months ago

Pragmatic Type Interoperability

Download se.inf.ethz.ch

Sébastien Baehni, Patrick Th. Eugster, Rach...

claim paper

Read More »

143

LICS
2003
IEEE

117views Automated Reasoning» more LICS 2003»

Types and Programming Languages: The Next Generation

15 years 12 months ago

Types and Programming Languages: The Next Generation

Download www.cis.upenn.edu

Benjamin C. Pierce

claim paper

Read More »

202

Voted

SP
2003
IEEE

155views Security Privacy» more SP 2003»

Mixminion: Design of a Type III Anonymous Remailer Protocol

15 years 12 months ago

Mixminion: Design of a Type III Anonymous Remailer Protocol

Download mixminion.net

We present Mixminion, a message-based anonymous remailer protocol with secure single-use reply blocks. Mix nodes cannot distinguish Mixminion forward messages from reply messages,...

George Danezis, Roger Dingledine, Nick Mathewson

claim paper

Read More »

130

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

15 years 12 months ago

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

« Prev « First page 316 / 3686 Last » Next »