Articles with "sorting networks" as a keyword



Photo from archive.org

Formally Proving Size Optimality of Sorting Networks

Sign Up to like & get
recommendations!
Published in 2017 at "Journal of Automated Reasoning"

DOI: 10.1007/s10817-017-9405-9

Abstract: Recent successes in formally verifying increasingly larger computer-generated proofs have relied extensively on (a) using oracles, to find answers for recurring subproblems efficiently, and (b) extracting formally verified checkers, to perform exhaustive case analysis in… read more here.

Keywords: size optimality; sorting networks; formally proving; optimality sorting ... See more keywords
Photo from wikipedia

FPGA-Based Implementation of MMC Control Based on Sorting Networks

Sign Up to like & get
recommendations!
Published in 2018 at "Energies"

DOI: 10.3390/en11092394

Abstract: In Modular Multilevel Converter (MMC) applications, the balancing of the capacitor voltages is one of the most important issues for achieving the proper behavior of the MMC. The Capacitor Voltage Balancing (CVB) control is usually… read more here.

Keywords: implementation; control; sorting networks; execution time ... See more keywords