Browsing by Title
Now showing items 36898-36917 of 38233
-
v2c - A Verilog to C Translator
(2016) -
Vacuum ultraviolet photoabsorption spectroscopy of space-related ices: Formation and destruction of solid carbonic acid upon 1 keV electron irradiation
(The European Southern Observatory, 2020-12-31) -
Vagal determinants of exercise capacity
(2017-05-18) -
Vagus nerve stimulation in clinical practice
(2016-11) -
Validating IoT Devices with Rate-Based Session Types
(Association for Computing Machinery (ACM), 2023)We develop a session types based framework for implementing and validating rate-based message passing systems in Internet of Things (IoT) domains. To model the indefinite repetition present in many embedded and IoT systems, ...