🌳 Olivier Pirson — OPi 🇧🇪🇫🇷🇬🇧 🐧 👨‍💻 👨‍🔬

0 Abonné

10 SlideShares 4 Suivis

10 SlideShares 4 Suivis

concurrency parallelization scheme aam abstract interpretation static analysis actors lattice σ_odd scala-am scala-par-am divisor function opencl open mpi c++ multi-thread varsigma_odd sigma_odd dual lagrangien relaxation optimisation knapsack problem linear relaxation branch and bound combinatorial optimization disjoint matchings compatible matchings perfect matching matching graph computational geometry tree persistent

Tout plus

Activité
À propos

Persistent Search Trees

il y a 6 ans • 354 Vues

Disjoint Compatible Perfect Matchings

il y a 6 ans • 81 Vues

Brief journey in the big world of Integer Programming with the Knapsack

il y a 6 ans • 85 Vues

Dualité lagrangienne

il y a 6 ans • 241 Vues

An Efficient and Parallel Abstract Interpreter in Scala — Preparatory Work — Presentation

il y a 6 ans • 97 Vues

An Efficient and Parallel Abstract Interpreter in Scala — Presentation

il y a 6 ans • 218 Vues

An Efficient and Parallel Abstract Interpreter in Scala — Second Presentation

il y a 5 ans • 472 Vues

An Efficient and Parallel Abstract Interpreter in Scala — First Algorithm

il y a 5 ans • 238 Vues

An Efficient and Parallel Abstract Interpreter in Scala — 3x3 Parallel Implementations

il y a 5 ans • 261 Vues

Parallel Numerical Verification of the σ_odd problem

il y a 4 ans • 2216 Vues

Bring back Reupload!

Ed Dolan • il y a 6 ans

concurrency parallelization scheme aam abstract interpretation static analysis actors lattice σ_odd scala-am scala-par-am divisor function opencl open mpi c++ multi-thread varsigma_odd sigma_odd dual lagrangien relaxation optimisation knapsack problem linear relaxation branch and bound combinatorial optimization disjoint matchings compatible matchings perfect matching matching graph computational geometry tree persistent

Tout plus