Type representation internal/cbm/lsp/type_rep.{c,h} CBMType tagged union (NAMED, POINTER, SLICE, MAP, CHANNEL, FUNC, INTERFACE, STRUCT, BUILTIN, TUPLE, TYPE_PARAM ...
Abstract: The process to certify highly automated vehicles has not yet been defined by any country in the world. Currently, companies test automated vehicles on public roads, which is time-consuming ...
Abstract: Regular expression (RE) matching is a core component of deep packet inspection in modern networking and security devices. In this paper, we propose the first hardware-based RE matching ...
1.1.1 What? This document is a series of notes about programming languages, originally written for students of the undergraduate programming languages course at UT. This book uses Haskell, a pure ...
We introduce the Tensor-Based Multivariate Optimization (TeMPO) framework for use in nonlinear optimization problems commonly encountered in signal processing, machine learning, and artificial ...
The calculation of derivatives is ubiquitous in science and engineering. In thermodynamics, in particular, state properties can be expressed as derivatives of thermodynamic potentials. The manual ...