Communications of the ACM

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
IEEE

Integrating Viterbi-Like Algorithms with Neural Networks for Resynchronizing Permutation Codes

Abstract: Permutation codes are extensively studied because of applications such as frequency-shift keying modulation for power line communication (PLC). In PLC ...
GitHub

A addon to generate Chromium-style QR codes featuring the iconic Firefox logo.

You can install the extension directly from the Firefox Add-ons Store. Note: If the shortcut does not work in Firefox, go to about:addons → Click the gear icon in ...
IEEE

Improved Free-of-CPP ADMM-Based Iterative Decoding Algorithm of Binary LDPC Codes

Abstract: Iterative decoding algorithms based on the alternating direction method of multipliers (ADMM) decoding of low density parity check (LDPC) codes has emerged as an alternating decoding method ...