Low-trust architectures work on, from the viewpoint of software,
always-...
Specialized accelerators are increasingly used to meet the power-perform...
Accelerators for sparse matrix multiplication are important components i...
Modern Systems-on-Chip (SoC) designs are increasingly heterogeneous and
...
Constrained sampling and counting are two fundamental problems in artifi...