Explore projects

Source folder for project on Digital Signal Processing

ns-3 implementation of IEEE Standard 802.11ad/ay for RTS/DMG CTS access control under CBAP

Supplementary Materials for "TAG: Learning Timed Automata from Logs" (AAAI-22).

Companion repository for the "On server-side file access pattern matching" paper, by Francieli Zanon Boito et al.

An acoustic wave model.

Repository for ADAPT project (Adaptive Dynamical Approximations via Parallel Tensor methods). Parallel tensor formats definition, construction and multi-linear solvers.

ADFG checks the scheduling feasibility of an Ultimately Cyclo-Static DataFlow (UCSDF) graph which represents a system of actors (or processes) and their dependencies (data production and consumption rates), aka channels between them.