News
Harnessing the power of the Hailo-8L AI accelerator on a Raspberry Pi 5, this system delivers blazing-fast pose estimation ...
In this paper, we present the tool LARVA, for the runtime verification of properties of Java programs, including real-time properties. Properties can be expressed in a number of notations, including ...
As of GitLab 11.0 support for the GitLab API v3 has been removed from the GitLab server (see https://about.gitlab.com/2018/06/01/api-v3-removal-impending/). Support ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback