Search: inria.fr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Andre Seznec Now at Intel

5 years ago

2 points

212.

Do Cookie Banners Respect My Choice? [pdf]

www-sop.inria.fr

6 years ago

2 points

213.

RefleX - A general-purpose XML Virtual Machine

reflex.gforge.inria.fr

18 years ago

2 points

214.

French Team for StopCovid just upload a zip of the code in Git

gitlab.inria.fr

6 years ago

2 points

215.

StopCovid French Application

gitlab.inria.fr

6 years ago

2 points

216.

www-sop.inria.fr

15 years ago

2 points

217.

Branch Prediction and the Performance of Interpreters-Don't Trust Folklore(2015)

6 years ago

2 points

218.

Branch Prediction and the Performance of Interpreters – Don't Trust Folklore

6 years ago

2 points

219.

892-bit RSA has been factored (new record)

lists.gforge.inria.fr

6 years ago

2 points

220.

FP-Crawlers: Studying the Resilience of Browser Fingerprinting to Block Crawlers

6 years ago

2 points

221.

Rotten Green Tests [pdf]

7 years ago

2 points

222.

Implementing Pgloader (Python to Common Lisp) (2013) [pdf]

7 years ago

2 points

223.

The Quest for Formally Secure Compartmentalizing Compilation [pdf]

prosecco.gforge.inria.fr

7 years ago

2 points

224.

Smoother 3D Prints

7 years ago

2 points

225.

CompCert, a verified (optimizing) C compiler for embedded systems.

compcert.inria.fr

16 years ago

2 points

226.

Poor Man's Allocation Profiler

7 years ago

2 points

227.

The Essence of ML Type Inference [pdf]

gallium.inria.fr

7 years ago

2 points

228.

Moving to a provenance-aware memory object model for C: proposal for C2x [pdf]

7 years ago

2 points

229.

End-To-end Encrypted Messaging Protocols: An Overview [pdf]

8 years ago

2 points

230.

KOAN: a shared virtual memory for the iPSC/2 hypercube [pdf]

8 years ago

2 points

231.

Wandering through linear types, capabilities and regions (2007) [pdf]

pauillac.inria.fr

8 years ago

2 points

232.

Frequently asked Questions about Caml (1995)

8 years ago

2 points

233.

Frightening small children and disconcerting grown-ups:Linux kernel Concurrency [pdf]

8 years ago

2 points

234.

Wandering through linear types, capabilities, and regions [pdf](2007)

pauillac.inria.fr

8 years ago

2 points

235.

An abstract model of control over personal data [pdf]

8 years ago

2 points

236.

Pre-built binaries vs. performance

guix-hpc.bordeaux.inria.fr

8 years ago

2 points

237.

PRANAS: Platform for Retina ANalysis and Simulation

9 years ago

indescions_2017

2 points

238.

Hop: a multitier JavaScript

9 years ago

2 points

239.

The Coq proof assistant

9 years ago

2 points

240.

Coq 8.6.1 is out

9 years ago

2 points