<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
         xmlns:dc="http://purl.org/dc/terms/"
         xmlns:foaf="http://xmlns.com/foaf/0.1/"
         xmlns:bibo="http://purl.org/ontology/bibo/"
         xmlns:fabio="http://purl.org/spar/fabio/"
         xmlns:owl="http://www.w3.org/2002/07/owl#"
         xmlns:event="http://purl.org/NET/c4dm/event.owl#"
         xmlns:ore="http://www.openarchives.org/ore/terms/">

    <rdf:Description rdf:about="https://ris.uni-paderborn.de/record/2420">
        <ore:isDescribedBy rdf:resource="https://ris.uni-paderborn.de/record/2420"/>
        <dc:title>Instance-Specific Accelerators for Minimum Covering</dc:title>
        <bibo:authorList rdf:parseType="Collection">
            <foaf:Person>
                <foaf:name></foaf:name>
                <foaf:surname></foaf:surname>
                <foaf:givenname></foaf:givenname>
            </foaf:Person>
            <foaf:Person>
                <foaf:name></foaf:name>
                <foaf:surname></foaf:surname>
                <foaf:givenname></foaf:givenname>
            </foaf:Person>
        </bibo:authorList>
        <bibo:abstract> This paper presents the acceleration of minimum-cost covering problems by instance-specific hardware. First, we formulate the minimum-cost covering problem and discuss a branch \&amp; bound algorithm to solve it. Then we describe instance-specific hardware architectures that implement branch \&amp; bound in 3-valued logic and use reduction techniques similar to those found in software solvers. We further present prototypical accelerator implementations and a corresponding design tool flow. Our experiments reveal significant raw speedups up to five orders of magnitude for a set of smaller unate covering problems. Provided that hardware compilation times can be reduced, we conclude that instance-specific acceleration of hard minimum-cost covering problems will lead to substantial overall speedups. </bibo:abstract>
        <bibo:volume>26</bibo:volume>
        <bibo:issue>2</bibo:issue>
        <bibo:startPage>109-129</bibo:startPage>
        <bibo:endPage>109-129</bibo:endPage>
        <dc:publisher>Kluwer Academic Publishers</dc:publisher>
        <bibo:doi rdf:resource="10.1023/a:1024443416592" />
        <ore:similarTo rdf:resource="info:doi/10.1023/a:1024443416592"/>
    </rdf:Description>
</rdf:RDF>
