Search: inria.fr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

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

www-sop.inria.fr

19 years ago

1 points

272.

Portable conditionals in makefiles

gallium.inria.fr

13 years ago

1 points

273.

Typestate in Mezzo? Starting with list iterators.

gallium.inria.fr

13 years ago

1 points

274.

European Lisp Symposium 2013

www-sop.inria.fr

13 years ago

1 points

275.

Detecting undefined behavior in C programs with CompCert

compcert.inria.fr

14 years ago

1 points

276.

Analytic Combinatorics [pdf]

a year ago

1 points

277.

Bigloo – Scheme Programming Language

www-sop.inria.fr

2 years ago

1 points

278.

StarPU: A Unified Runtime System for Heterogeneous Multicore Architectures

starpu.gitlabpages.inria.fr

2 years ago

1 points

279.

Chunked sequences: O(1) push and pop, O(log n) split and concat, low constant fa

deepsea.inria.fr

2 years ago

1 points

280.

Efficient Padding Oracle Attacks on Cryptographic Hardware

14 years ago

1 points

281.

The Zinc Experiment (1990) [pdf]

3 years ago

1 points

282.

BitHoc: Tracker-less BitTorrent for Mobile Ad Hoc Networks

planete.inria.fr

14 years ago

1 points

283.

Designing Dex: research language for typed, functional array processing [pdf]

cambium.inria.fr

3 years ago

1 points

284.

Colored fused filament fabrication (2022)

3 years ago

1 points

285.

Frama-C verification and transformation framework for C programs updated

lists.gforge.inria.fr

15 years ago

1 points

286.

EScriptorium: Digital recognition of handwritten documents with machine learning

escriptorium.inria.fr

4 years ago

1 points

287.

Large Scale Terrain Generation from Tectonic Uplift and Fluvial Erosion

4 years ago

1 points

288.

Generators, Iterators, Control and Continuations

gallium.inria.fr

5 years ago

1 points

289.

Practical Seed-Recovery for the PCG Pseudo-Random Number Generator

5 years ago

1 points

290.

Show HN: Towards a seamless multi-technology access network

5 years ago

1 points

291.

Computer Pioneer Pierre-Louis Curien Wins French Academy of Sciences Grand Prize

6 years ago

1 points

292.

Exploiting P2P Applications to Trace and Proﬁle Tor Users

15 years ago

1 points

293.

Fwd: Ad a Crate for Forward Auto-Differentiation

gitlab.inria.fr

6 years ago

1 points

294.

Empirical study of Amdahl’s law on multicore processors

6 years ago

1 points

295.

795-bit factoring and discrete logarithms

lists.gforge.inria.fr

7 years ago

1 points

296.

Code Coverage and Post-Release Defects: A Large Scale Study

7 years ago

1 points

297.

Developing Applications with Objective Caml

7 years ago

1 points

298.

The Mirage retreat: field trip report

gallium.inria.fr

7 years ago

1 points

299.

“In the Beginning Was the Command Line”

pauillac.inria.fr

7 years ago

1 points

300.

Bertrand Serlet in Apple's Temple (2017)

7 years ago

1 points