tag:speakerdeck.com,2005:/opimediatag:speakerdeck.com,2005:Talk/5458322019-09-04T18:53:46-04:002020-06-18T16:16:13-04:00Parallélisation d'un interpréteur abstrait, au travers du modèle acteurParallélisation d'un interpréteur abstrait, au travers du modèle acteur
— Application à l'interpréteur abstrait Scala-AM
— Présentation finale
Presentation for this master thesis:
https://bitbucket.org/OPiMedia/efficient-parallel-abstract-interpreter-in-scala🌳 Olivier Pirson — OPi 🇧🇪🇫🇷🇬🇧 🐧 👨💻 👨🔬 (@opimedia)tag:speakerdeck.com,2005:Talk/5052052019-03-22T03:53:57-04:002020-06-18T16:12:59-04:00Efficient Parallel Abstract Interpreter in Scala — 3x3 Parallel ImplementationsPresentation for this master thesis.
https://bitbucket.org/OPiMedia/efficient-parallel-abstract-interpreter-in-scala🌳 Olivier Pirson — OPi 🇧🇪🇫🇷🇬🇧 🐧 👨💻 👨🔬 (@opimedia)tag:speakerdeck.com,2005:Talk/4759322018-11-13T06:30:56-05:002019-02-19T02:32:52-05:00An Efficient and Parallel Abstract Interpreter in Scala — First AlgorithmPresentation for this master thesis.
https://bitbucket.org/OPiMedia/efficient-parallel-abstract-interpreter-in-scala🌳 Olivier Pirson — OPi 🇧🇪🇫🇷🇬🇧 🐧 👨💻 👨🔬 (@opimedia)tag:speakerdeck.com,2005:Talk/4521742018-07-01T10:24:24-04:002018-07-01T10:24:59-04:00An Efficient and Parallel Abstract Interpreter in Scala — Second PresentationSecond presentation for this master thesis.
https://bitbucket.org/OPiMedia/efficient-parallel-abstract-interpreter-in-scala🌳 Olivier Pirson — OPi 🇧🇪🇫🇷🇬🇧 🐧 👨💻 👨🔬 (@opimedia)tag:speakerdeck.com,2005:Talk/5496582019-09-11T04:57:28-04:002019-09-11T05:24:57-04:00Parallel Numerical Verification of the σ_odd problemQuick statement of the σ_odd problem (and its variant ς_odd problem) with an algorithm to check it. Benchmarks of parallel implementations in multi-threads, Open MPI and OpenCL.🌳 Olivier Pirson — OPi 🇧🇪🇫🇷🇬🇧 🐧 👨💻 👨🔬 (@opimedia)tag:speakerdeck.com,2005:Talk/4521732018-07-01T10:23:21-04:002019-02-19T02:31:01-05:00An Efficient and Parallel Abstract Interpreter in Scala — PresentationFirst presentation for this master thesis.
https://bitbucket.org/OPiMedia/efficient-parallel-abstract-interpreter-in-scala🌳 Olivier Pirson — OPi 🇧🇪🇫🇷🇬🇧 🐧 👨💻 👨🔬 (@opimedia)tag:speakerdeck.com,2005:Talk/4521702018-07-01T10:15:39-04:002018-07-01T10:16:30-04:00An Efficient and Parallel Abstract Interpreter in Scala — Preparatory Work — PresentationPresentation for "MEMO-F403 Preparatory work for the master thesis" (ULB).
https://bitbucket.org/OPiMedia/efficient-parallel-abstract-interpreter-in-scala-preparatory🌳 Olivier Pirson — OPi 🇧🇪🇫🇷🇬🇧 🐧 👨💻 👨🔬 (@opimedia)tag:speakerdeck.com,2005:Talk/4521692018-07-01T10:14:04-04:002018-07-01T10:14:31-04:00Dualité lagrangiennePrésentation pour l'examen oral de "INFO-F524 Continuous optimization" (ULB).
https://bitbucket.org/OPiMedia/dualite-lagrangienne🌳 Olivier Pirson — OPi 🇧🇪🇫🇷🇬🇧 🐧 👨💻 👨🔬 (@opimedia)tag:speakerdeck.com,2005:Talk/4521682018-07-01T10:12:25-04:002018-07-01T10:13:12-04:00Brief journey in the big world of Integer Programming with the KnapsackPresentation for the oral exam of "INFO-F424 Combinatorial optimization" (ULB).
https://bitbucket.org/OPiMedia/brief-journey-in-the-big-world-of-integer-programming-with-the🌳 Olivier Pirson — OPi 🇧🇪🇫🇷🇬🇧 🐧 👨💻 👨🔬 (@opimedia)tag:speakerdeck.com,2005:Talk/4521672018-07-01T10:10:28-04:002020-06-24T08:38:51-04:00Disjoint Compatible Perfect MatchingsPresentation of "Disjoint Compatible Perfect Matchings", with a JavaScript application to experiment.
http://www.opimedia.be/CV/2016-2017-ULB/INFO-F420-Computational-geometry/Project-Disjoint-Compatible-Perfect-Matchings/🌳 Olivier Pirson — OPi 🇧🇪🇫🇷🇬🇧 🐧 👨💻 👨🔬 (@opimedia)tag:speakerdeck.com,2005:Talk/4521662018-07-01T10:05:15-04:002020-06-24T08:33:15-04:00Persistent Search TreesPresentation for the project of "INFO-F413 Data structures and algorithms" (ULB).
From the article "Planar Point Location Using Persistent Search Trees" of Neil Sarnak and Robert E. Tarjan.
https://bitbucket.org/OPiMedia/persistent-search-trees🌳 Olivier Pirson — OPi 🇧🇪🇫🇷🇬🇧 🐧 👨💻 👨🔬 (@opimedia)🌳 Olivier Pirson — OPi 🇧🇪🇫🇷🇬🇧 🐧 👨💻 👨🔬 (@opimedia) on Speaker Deck2019-09-04T18:53:46-04:00