16 search results for "author:"Vesa Karvonen <vesa.a.j.k@gmail.com>""
Showing 1 - 16
-
A scheduler independent blocking mechanismVesa <vesa.a.j.k@gmail.com>1.0.1ISCUsed by 6 other packages06 Feb 2024
-
A scheduler independent timeout mechanismVesa <vesa.a.j.k@gmail.com>1.0.1ISCUsed by 1 other packages06 Feb 2024
-
Software transactional memory based on lock-free multi-word compare-and-setKC Sivaramakrishnan <kc@tarides.com> Vesa <vesa.a.j.k@gmail.com>0.7.0ISCUsed by 4 other packages27 Feb 2024
-
Compositional lock-free data structures and primitives for communication and synchronizationKC Sivaramakrishnan <kc@tarides.com> Vesa <vesa.a.j.k@gmail.com>0.7.0ISCUsed by 0 other packages27 Feb 2024
-
Framework for writing multicore benchmark executables to run on current-benchVesa <vesa.a.j.k@gmail.com>0.1.5ISCUsed by 4 other packages16 Sep 2024
-
Low-level multicore utilities for OCamlVesa <vesa.a.j.k@gmail.com>2.3.0ISCUsed by 11 other packages10 Jul 2024
-
An implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magicVesa <vesa.a.j.k@gmail.com>2.3.0ISCUsed by 3 other packages10 Jul 2024
-
Pico scheduler interfaceVesa <vesa.a.j.k@gmail.com>0.5.0ISCUsed by 4 other packages05 Sep 2024
-
Auxiliary libraries for PicosVesa <vesa.a.j.k@gmail.com>0.5.0ISCUsed by 5 other packages05 Sep 2024
-
Asynchronous IO system for PicosVesa <vesa.a.j.k@gmail.com>0.5.0ISCUsed by 3 other packages05 Sep 2024
-
Cohttp running on Picos IOVesa <vesa.a.j.k@gmail.com>0.5.0ISCUsed by 1 other packages05 Sep 2024
-
Lwt interface for PicosVesa <vesa.a.j.k@gmail.com>0.5.0ISCUsed by 1 other packages05 Sep 2024
-
Integration tests for Picos packagesVesa <vesa.a.j.k@gmail.com>0.5.0ISCUsed by 0 other packages05 Sep 2024
-
Sample schedulers for PicosVesa <vesa.a.j.k@gmail.com>0.5.0ISCUsed by 2 other packages05 Sep 2024
-
Sample libraries for PicosVesa <vesa.a.j.k@gmail.com>0.5.0ISCUsed by 6 other packages05 Sep 2024
-
A lock-free thread-safe integer keyed hash tableVesa <vesa.a.j.k@gmail.com>1.0.0ISCUsed by 2 other packages15 Aug 2023