FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2241443521> ?p ?o ?g. }

• W2241443521 abstract "Since the slowdown in improvement in the frequency of processors, a new tendency has arisen to allow software to take advantage of faster hardware: parallelization. However, different from increasing the frequency of processors, using parallelization requires a different kind of programming, parallel programming, which is usually harder than common sequential programming. In this context, automatic parallelization has arisen, allowing software to take advantage of parallelism without the need of parallel programming. We present here two proposals: SAT-PaDdlinG and RePaSAT. SAT-PaDdlinG is a parallel DPLL SAT Solver on GPU, which allows RePaSAT to use this environment. RePaSAT is our proposal of a parallel machine that uses the SAT Problem to automatically parallelize sequential code. Because GPU provides a cheap, massively parallel environment, SATPaDdlinG aims at providing this massive parallelism and low cost to RePaSAT, as well as to any other tool or problem that uses SAT Solvers." @default.
• W2241443521 created "2016-06-24" @default.
• W2241443521 creator A5089517921 @default.
• W2241443521 date "2014-01-01" @default.
• W2241443521 modified "2023-09-24" @default.
• W2241443521 title "Parallel SAT solvers and their application in automatic parallelization" @default.
• W2241443521 cites W1496559392 @default.
• W2241443521 cites W1518705996 @default.
• W2241443521 cites W1549880792 @default.
• W2241443521 cites W1566044003 @default.
• W2241443521 cites W1568031762 @default.
• W2241443521 cites W1587191403 @default.
• W2241443521 cites W1595946141 @default.
• W2241443521 cites W164384110 @default.
• W2241443521 cites W1950282396 @default.
• W2241443521 cites W1981726327 @default.
• W2241443521 cites W1999393621 @default.
• W2241443521 cites W2000624026 @default.
• W2241443521 cites W2013209581 @default.
• W2241443521 cites W2016618697 @default.
• W2241443521 cites W2018468045 @default.
• W2241443521 cites W2039027656 @default.
• W2241443521 cites W2045886945 @default.
• W2241443521 cites W2048051309 @default.
• W2241443521 cites W2076373700 @default.
• W2241443521 cites W2079547519 @default.
• W2241443521 cites W2089748700 @default.
• W2241443521 cites W2092775861 @default.
• W2241443521 cites W2098010876 @default.
• W2241443521 cites W2098046166 @default.
• W2241443521 cites W2103406309 @default.
• W2241443521 cites W2121341976 @default.
• W2241443521 cites W2124926712 @default.
• W2241443521 cites W2129807688 @default.
• W2241443521 cites W2142785340 @default.
• W2241443521 cites W2147148915 @default.
• W2241443521 cites W2166312568 @default.
• W2241443521 cites W2340006107 @default.
• W2241443521 cites W2399446083 @default.
• W2241443521 cites W2521976158 @default.
• W2241443521 cites W2546270252 @default.
• W2241443521 cites W2735126411 @default.
• W2241443521 cites W2913954530 @default.
• W2241443521 cites W3016793792 @default.
• W2241443521 cites W3136310872 @default.
• W2241443521 cites W574361415 @default.
• W2241443521 cites W2611145677 @default.
• W2241443521 hasPublicationYear "2014" @default.
• W2241443521 type Work @default.
• W2241443521 sameAs 2241443521 @default.
• W2241443521 citedByCount "0" @default.
• W2241443521 crossrefType "dissertation" @default.
• W2241443521 hasAuthorship W2241443521A5089517921 @default.
• W2241443521 hasConcept C12707504 @default.
• W2241443521 hasConcept C134652429 @default.
• W2241443521 hasConcept C137364921 @default.
• W2241443521 hasConcept C143936061 @default.
• W2241443521 hasConcept C151730666 @default.
• W2241443521 hasConcept C164833996 @default.
• W2241443521 hasConcept C169590947 @default.
• W2241443521 hasConcept C173608175 @default.
• W2241443521 hasConcept C190475519 @default.
• W2241443521 hasConcept C199360897 @default.
• W2241443521 hasConcept C2777904410 @default.
• W2241443521 hasConcept C2778119891 @default.
• W2241443521 hasConcept C2778770139 @default.
• W2241443521 hasConcept C2779343474 @default.
• W2241443521 hasConcept C2781172179 @default.
• W2241443521 hasConcept C34165917 @default.
• W2241443521 hasConcept C41008148 @default.
• W2241443521 hasConcept C42992933 @default.
• W2241443521 hasConcept C61483411 @default.
• W2241443521 hasConcept C76155785 @default.
• W2241443521 hasConcept C86803240 @default.
• W2241443521 hasConceptScore W2241443521C12707504 @default.
• W2241443521 hasConceptScore W2241443521C134652429 @default.
• W2241443521 hasConceptScore W2241443521C137364921 @default.
• W2241443521 hasConceptScore W2241443521C143936061 @default.
• W2241443521 hasConceptScore W2241443521C151730666 @default.
• W2241443521 hasConceptScore W2241443521C164833996 @default.
• W2241443521 hasConceptScore W2241443521C169590947 @default.
• W2241443521 hasConceptScore W2241443521C173608175 @default.
• W2241443521 hasConceptScore W2241443521C190475519 @default.
• W2241443521 hasConceptScore W2241443521C199360897 @default.
• W2241443521 hasConceptScore W2241443521C2777904410 @default.
• W2241443521 hasConceptScore W2241443521C2778119891 @default.
• W2241443521 hasConceptScore W2241443521C2778770139 @default.
• W2241443521 hasConceptScore W2241443521C2779343474 @default.
• W2241443521 hasConceptScore W2241443521C2781172179 @default.
• W2241443521 hasConceptScore W2241443521C34165917 @default.
• W2241443521 hasConceptScore W2241443521C41008148 @default.
• W2241443521 hasConceptScore W2241443521C42992933 @default.
• W2241443521 hasConceptScore W2241443521C61483411 @default.
• W2241443521 hasConceptScore W2241443521C76155785 @default.
• W2241443521 hasConceptScore W2241443521C86803240 @default.
• W2241443521 hasLocation W22414435211 @default.
• W2241443521 hasOpenAccess W2241443521 @default.
• W2241443521 hasPrimaryLocation W22414435211 @default.
• W2241443521 hasRelatedWork W1767723486 @default.
• W2241443521 hasRelatedWork W1974361763 @default.

• next