Abstrakt. Vi presenterar tekniker som gör det möjligt att minska styrkan samtidigt som partiell redundans elimineras inom ramen för SSAPRE. Genom att dela egenskaperna inneboende i SSAPRE, den resulterande hållfasthetsreduktion algoritm uppvisar många intressanta attribut. Vi jämför olika aspekter av den nya algoritmen för hållfasthetsreduktion med tidigare algoritmer för hållfasthetsminskning. Vi skisserar och diskuterar också vårt genomförande av den närbesläktade linjära funktionsprovsoptimeringen inom samma ramverk.
REF utökar SSAPRE-algoritmen för att utföra hållfasthetsreduktion och linjär funktionstestersättning.
Strength Reduction via SSAPRE
{'venue': 'CC', 'journal': None, 'mag_field_of_study': ['Computer Science']}