Zobrazeno 1 - 10
of 464
pro vyhledávání: '"Svensson, Bo"'
This paper introduces a new parallel run-time for QuickCheck, a Haskell library and EDSL for specifying and randomly testing properties of programs. The new run-time can run multiple tests for a single property in parallel, using the available cores.
Externí odkaz:
http://arxiv.org/abs/2404.16062
Publikováno v:
LIPIcs, Volume 222, ECOOP 2022
Programming embedded systems applications involve writing concurrent, event-driven and timing-aware programs. Traditionally, such programs are written in low-level machine-oriented programming languages like C or Assembly. We present an alternative b
Externí odkaz:
http://arxiv.org/abs/2205.03262
Many manufacturing companies are looking for ways to substitute environmentally problematic cleaning methods for surface treatments with more environmentally friendly ones. In this paper, one potential solution is described. The Qlean method, based o
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-88920
Programming microcontrollers involves low-level interfacing with hardware and peripherals that are concurrent and reactive. Such programs are typically written in a mixture of C and assembly using concurrent language extensions (like $\texttt{FreeRTO
Externí odkaz:
http://arxiv.org/abs/2108.07805
Autor:
Zanteré, Rebecca, Svensson, Bo
This study is about the upcoming challenge Sweden face with a population that grows older and in need of elderly care. The challenge lies in that municipality, as it is today, won’t have the personnel to care for the elders. The study presents two
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-90567
Autor:
Simon, Icaro A., Bjørn-Yoshimoto, Walden E., Harpsøe, Kasper, Iliadis, Stylianos, Svensson, Bo, Jensen, Anders A., Gloriam, David E.
Publikováno v:
In Trends in Pharmacological Sciences December 2023 44(12):978-990
Publikováno v:
In Biotechnology Advances December 2023 69
Publikováno v:
In Robotics and Computer-Integrated Manufacturing February 2023 79
Autor:
Svensson, Bo W., author
Publikováno v:
The Greenland Entomofauna: An Identification Manual of Insects, Spiders and Their Allies. 44:85-104