Search: inria.fr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

A formal proof assistant which could help to make few crypto coins

9 years ago

2 points

242.

The CompCert formally-verified C compiler

compcert.inria.fr

9 years ago

2 points

243.

TLA+ Proof System

tla.msr-inria.inria.fr

9 years ago

2 points

244.

JoCaml: Ocaml extended for concurrent and distributed programming

jocaml.inria.fr

9 years ago

2 points

245.

A Comprehensive Study of Convergent and Commutative Replicated Data Types

9 years ago

2 points

246.

All models are wrong [pdf]

www-sop.inria.fr

9 years ago

2 points

247.

Research: Download and upload history of most BitTorrent users can be traced

www-sop.inria.fr

16 years ago

2 points

248.

Sklml: Easy coarse grain parallelization

10 years ago

2 points

249.

cado-nfs.gforge.inria.fr

10 years ago

2 points

250.

The End of Numerical Error [pdf]

arith22.gforge.inria.fr

10 years ago

2 points

251.

DAFT Allows File Transfers – Distributed file transfer application in user space

10 years ago

2 points

252.

10 years ago

2 points

253.

SPAWN: An Iterative, Potentials-Based, Dynamic Scheduling and Partitioning Tool

11 years ago

2 points

254.

WALTER: Is My Web Content Altered?

walter-experiment.inria.fr

11 years ago

2 points

255.

Coq: Prop vs. Set

11 years ago

2 points

256.

Design an Instrument Horn/Bore in the Browser

demo-openwind.inria.fr

a year ago

1 points

257.

www-sop.inria.fr

15 years ago

1 points

258.

In the Beginning Was the Command Line (1999)

cristal.inria.fr

7 years ago

1 points

259.

CompCert: verified compiler for a large subset of the C

compcert.inria.fr

9 years ago

1 points

260.

Software metrics used in practice are not reliable to assess project outcome

9 years ago

1 points

261.

Natron is an open-source crossplatform nodal compositing software

natron.inria.fr

11 years ago

1 points

262.

The Joint EasyCrypt – F* – CryptoVerif School 2014

12 years ago

1 points

263.

The CompCert verified, high assurance C compiler

compcert.inria.fr

12 years ago

1 points

264.

Try Mezzo in your browser

gallium.inria.fr

12 years ago

1 points

265.

An original programming pattern in Mezzo

gallium.inria.fr

12 years ago

1 points

266.

BinSec: Binary code analysis for Security

binsec.gforge.inria.fr

12 years ago

1 points

267.

Selling Off Privacy at Auction (NDSS PDF)

13 years ago

1 points

268.

Selling Off Privacy at Auction (NDSS'14 PDF)

13 years ago

1 points

269.

Infoleak in advertisers systems shows you're worth less than PSLatte

13 years ago

1 points

270.

An algorithm for symbolic integration [pdf] (did you know that such an algorithm existed?)

www-sop.inria.fr

19 years ago

1 points