Aha: An agile approach to the design of coarse-grained reconfigurable accelerators and compilers

K Koul, J Melchert, K Sreedhar, L Truong… - ACM Transactions on …, 2023 - dl.acm.org
With the slowing of Moore's law, computer architects have turned to domain-specific
hardware specialization to continue improving the performance and efficiency of computing …

Generalized Optimization Modulo Theories

N Tsiskaridze, C Barrett, C Tinelli - International Joint Conference on …, 2024 - Springer
Abstract Optimization Modulo Theories (OMT) has emerged as an important extension of the
highly successful Satisfiability Modulo Theories (SMT) paradigm. The OMT problem requires …

Determining Distributions of Security Means for WSNs based on the Model of a Neighbourhood Watch

B Förster, P Langendörfer, T Hinze - IEEE Access, 2024 - ieeexplore.ieee.org
Neighbourhood watch is a concept allowing a community to distribute a complex security
task in between all members. Members carry out security tasks in a distributed and …

Explainable Product Configuration for Telecom via Constraint Reasoning

P Häusner - 2022 - diva-portal.org
Modern telecommunication technologies such as the cellular 5G networks will impact the
global economy majorly. The 5G standard creates new technological possibilities such as …