Sign Up to like & get
recommendations!
0
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
Sign Up to like & get
recommendations!
1
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