{"id":"https://openalex.org/W3131083367","doi":"https://doi.org/10.1109/vlsi-soc46417.2020.9344093","title":"SAT-Based Data-Flow Mapping Onto Array Processor","display_name":"SAT-Based Data-Flow Mapping Onto Array Processor","publication_year":2020,"publication_date":"2020-10-05","ids":{"openalex":"https://openalex.org/W3131083367","doi":"https://doi.org/10.1109/vlsi-soc46417.2020.9344093","mag":"3131083367"},"language":"en","primary_location":{"id":"doi:10.1109/vlsi-soc46417.2020.9344093","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlsi-soc46417.2020.9344093","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IFIP/IEEE 28th International Conference on Very Large Scale Integration (VLSI-SOC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079108909","display_name":"Yukio Miyasaka","orcid":"https://orcid.org/0000-0002-7960-9913"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yukio Miyasaka","raw_affiliation_strings":["The University of Tokyo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Tokyo","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027837299","display_name":"Masahiro Fujita","orcid":"https://orcid.org/0000-0002-6516-4175"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masahiro Fujita","raw_affiliation_strings":["The University of Tokyo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Tokyo","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"22","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8113681077957153},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.8071526885032654},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.7576684951782227},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6790134906768799},{"id":"https://openalex.org/keywords/vector-processor","display_name":"Vector processor","score":0.6161489486694336},{"id":"https://openalex.org/keywords/matrix-multiplication","display_name":"Matrix multiplication","score":0.6072385907173157},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.591282844543457},{"id":"https://openalex.org/keywords/multiplication","display_name":"Multiplication (music)","score":0.5866396427154541},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5591245293617249},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.5048783421516418},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5038854479789734},{"id":"https://openalex.org/keywords/sparse-matrix","display_name":"Sparse matrix","score":0.49058857560157776},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.425974577665329},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.4249740242958069},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.41714441776275635},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3837137222290039},{"id":"https://openalex.org/keywords/computational-science","display_name":"Computational science","score":0.37560516595840454},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.3322657644748688},{"id":"https://openalex.org/keywords/gaussian","display_name":"Gaussian","score":0.15009811520576477},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08880606293678284}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8113681077957153},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.8071526885032654},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.7576684951782227},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6790134906768799},{"id":"https://openalex.org/C161824985","wikidata":"https://www.wikidata.org/wiki/Q919509","display_name":"Vector processor","level":2,"score":0.6161489486694336},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.6072385907173157},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.591282844543457},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.5866396427154541},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5591245293617249},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.5048783421516418},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5038854479789734},{"id":"https://openalex.org/C56372850","wikidata":"https://www.wikidata.org/wiki/Q1050404","display_name":"Sparse matrix","level":3,"score":0.49058857560157776},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.425974577665329},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.4249740242958069},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.41714441776275635},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3837137222290039},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.37560516595840454},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3322657644748688},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.15009811520576477},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08880606293678284},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/vlsi-soc46417.2020.9344093","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlsi-soc46417.2020.9344093","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IFIP/IEEE 28th International Conference on Very Large Scale Integration (VLSI-SOC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W2016954873","https://openalex.org/W2100609826","https://openalex.org/W2112136590","https://openalex.org/W2116304229","https://openalex.org/W2139794974","https://openalex.org/W2163605009","https://openalex.org/W2172233839","https://openalex.org/W2246401527","https://openalex.org/W2295846064","https://openalex.org/W2606722458","https://openalex.org/W2618530766","https://openalex.org/W2741661236","https://openalex.org/W2766447205","https://openalex.org/W2809276277","https://openalex.org/W2953212265","https://openalex.org/W2980612421","https://openalex.org/W4252370083","https://openalex.org/W4301429805","https://openalex.org/W6675047247","https://openalex.org/W6697392258","https://openalex.org/W6752362162"],"related_works":["https://openalex.org/W2355267286","https://openalex.org/W4318347836","https://openalex.org/W4320067870","https://openalex.org/W4377693460","https://openalex.org/W2366499652","https://openalex.org/W2670084885","https://openalex.org/W2052664195","https://openalex.org/W2278140505","https://openalex.org/W1596119602","https://openalex.org/W3089727897"],"abstract_inverted_index":{"Recently,":[0],"it":[1],"has":[2],"been":[3],"common":[4],"to":[5,31,59],"perform":[6],"parallel":[7],"processing":[8],"in":[9,18],"machine":[10],"learning.":[11],"Reconfigurable":[12],"array":[13,37],"processor":[14,38],"is":[15,46,110],"drawing":[16],"attention":[17],"terms":[19],"of":[20,57,71,92],"easy":[21],"custom":[22],"adjustment":[23],"and":[24,107,128,130],"high":[25],"performance.":[26],"We":[27,66,118],"propose":[28],"a":[29,33,40,61,77,90,95],"method":[30,45,88],"map":[32],"data-flow":[34],"onto":[35],"an":[36,49,84],"using":[39,98],"SAT":[41,78],"solver.":[42,86],"The":[43,101],"proposed":[44],"combined":[47],"with":[48,125],"automatic":[50,102],"transformation":[51,103],"method,":[52],"which":[53],"changes":[54],"the":[55,105,135],"order":[56],"calculations,":[58],"generate":[60],"more":[62,81,93],"efficient":[63],"computation":[64],"scheme.":[65],"have":[67,119],"solved":[68],"mapping":[69],"problems":[70],"matrix-vector":[72],"multiplication.":[73],"In":[74],"our":[75],"experiment,":[76],"solver":[79],"was":[80],"scalable":[82,112],"than":[83,94],"ILP":[85],"Our":[87],"handled":[89],"dataflow":[91],"hundred":[96],"nodes":[97],"MAC":[99],"operation.":[100],"under":[104],"associative":[106],"commutative":[108],"laws":[109],"less":[111],"but":[113],"successfully":[114],"reduced":[115],"calculation":[116],"time.":[117],"also":[120],"mapped":[121],"sparse":[122],"matrix":[123],"multiplication":[124],"varying":[126],"latency":[127],"throughput":[129],"generated":[131],"faster":[132],"schedules":[133],"utilizing":[134],"sparsity.":[136]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}