FRINK Linked Data Fragments server

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

• W98200858 abstract "The main topic of this dissertation involves cluster-based computing, specifically relating to computations performed on Beowulf clusters. I have developed a light-weight library for dynamic interoperable message passing, called the InterCluster Interface (ICI). This library not only supports computations performed over multiple clusters that are running different Message Passing Interface (MPI) implementations, but also can be used independently of MPI. In addition I developed the Backtracking Framework (BkFr) that simplifies implementations of the parallel backtracking paradigm in the single cluster environment, and supports the extension of computations over multiple clusters. BkFr uses MPI for the intra-cluster communication and ICI for the inter-cluster communication. I have also developed a template-based library of programming modules that facilitate the introduction of the rapidly emerging message passing parallel computing paradigm in upper-division undergraduate courses. An important application of ICI and the backtracking framework discussed in this dissertation is the computation of Van der Waerden numbers, which involve the existence of arithmetic progressions in arbitrary partitions of {1, 2, ..., n} for sufficiently large n. The computations of these numbers utilized a special SAT solver that I developed. For example, I almost doubled the previously known lower bound for the Van der Waerden number W(2, 6), and I am running a calculation whether the lower bound is actually the exact value. Among other reductions, I was able to drastically reduce the search for potential solutions with the aid of a tunneling technique based on an aggressive addition of uninferred constraints. The tunneling technique has the likely potential to be used in a number of other satisfiability settings. I also developed an FPGA version of my SAT solver for Van der Waerden numbers that improved the search speed up to 230 times or more compared to its sequential equivalent. Utilizing this special SAT solver has resulted in significant progress in the search to determine bounds or exact values for Van der Waerden numbers and, more generally, for Van der Waerden subnumbers. I have found the exact values for several of these subnumbers, specifically W(2; 5,6)=206, W(2; 4,8)=146, W(2; 3,16)=238 and W(3; 2,4,7)=119." @default.
• W98200858 created "2016-06-24" @default.
• W98200858 creator A5023161900 @default.
• W98200858 creator A5013061606 @default.
• W98200858 date "2006-01-01" @default.
• W98200858 modified "2023-09-26" @default.
• W98200858 title "A backtracking framework for beowulf clusters with an extension to multi-cluster computation and sat benchmark problem implementation" @default.
• W98200858 cites W118580665 @default.
• W98200858 cites W139325465 @default.
• W98200858 cites W1484174053 @default.
• W98200858 cites W1509342228 @default.
• W98200858 cites W1513578908 @default.
• W98200858 cites W1524798462 @default.
• W98200858 cites W1525885020 @default.
• W98200858 cites W1532296632 @default.
• W98200858 cites W1549419587 @default.
• W98200858 cites W1558996746 @default.
• W98200858 cites W1572917604 @default.
• W98200858 cites W1579775238 @default.
• W98200858 cites W1583051211 @default.
• W98200858 cites W1597515330 @default.
• W98200858 cites W170032574 @default.
• W98200858 cites W1900663752 @default.
• W98200858 cites W190123652 @default.
• W98200858 cites W1964510775 @default.
• W98200858 cites W1967691242 @default.
• W98200858 cites W1968411163 @default.
• W98200858 cites W1996254287 @default.
• W98200858 cites W2012223233 @default.
• W98200858 cites W2025399946 @default.
• W98200858 cites W2029544340 @default.
• W98200858 cites W2036265926 @default.
• W98200858 cites W2038476585 @default.
• W98200858 cites W2057361103 @default.
• W98200858 cites W2063247670 @default.
• W98200858 cites W2063856844 @default.
• W98200858 cites W2067642391 @default.
• W98200858 cites W2069767473 @default.
• W98200858 cites W2077783617 @default.
• W98200858 cites W2081612620 @default.
• W98200858 cites W2084384424 @default.
• W98200858 cites W2088616860 @default.
• W98200858 cites W2097113315 @default.
• W98200858 cites W2098022011 @default.
• W98200858 cites W2100738443 @default.
• W98200858 cites W2106440199 @default.
• W98200858 cites W2126420408 @default.
• W98200858 cites W2127046702 @default.
• W98200858 cites W2132536544 @default.
• W98200858 cites W2133994512 @default.
• W98200858 cites W2136071061 @default.
• W98200858 cites W2142785340 @default.
• W98200858 cites W2148317584 @default.
• W98200858 cites W2160130091 @default.
• W98200858 cites W2160947053 @default.
• W98200858 cites W2165372647 @default.
• W98200858 cites W2167913911 @default.
• W98200858 cites W2314197246 @default.
• W98200858 cites W2949188192 @default.
• W98200858 cites W51846254 @default.
• W98200858 cites W1586980588 @default.
• W98200858 cites W2183431820 @default.
• W98200858 hasPublicationYear "2006" @default.
• W98200858 type Work @default.
• W98200858 sameAs 98200858 @default.
• W98200858 citedByCount "5" @default.
• W98200858 countsByYear W982008582013 @default.
• W98200858 countsByYear W982008582015 @default.
• W98200858 countsByYear W982008582018 @default.
• W98200858 crossrefType "journal-article" @default.
• W98200858 hasAuthorship W98200858A5013061606 @default.
• W98200858 hasAuthorship W98200858A5023161900 @default.
• W98200858 hasConcept C11413529 @default.
• W98200858 hasConcept C13280743 @default.
• W98200858 hasConcept C134306372 @default.
• W98200858 hasConcept C156884757 @default.
• W98200858 hasConcept C164866538 @default.
• W98200858 hasConcept C166782233 @default.
• W98200858 hasConcept C173608175 @default.
• W98200858 hasConcept C185798385 @default.
• W98200858 hasConcept C199360897 @default.
• W98200858 hasConcept C205649164 @default.
• W98200858 hasConcept C33923547 @default.
• W98200858 hasConcept C41008148 @default.
• W98200858 hasConcept C45374587 @default.
• W98200858 hasConcept C77553402 @default.
• W98200858 hasConcept C80444323 @default.
• W98200858 hasConcept C854659 @default.
• W98200858 hasConceptScore W98200858C11413529 @default.
• W98200858 hasConceptScore W98200858C13280743 @default.
• W98200858 hasConceptScore W98200858C134306372 @default.
• W98200858 hasConceptScore W98200858C156884757 @default.
• W98200858 hasConceptScore W98200858C164866538 @default.
• W98200858 hasConceptScore W98200858C166782233 @default.
• W98200858 hasConceptScore W98200858C173608175 @default.
• W98200858 hasConceptScore W98200858C185798385 @default.
• W98200858 hasConceptScore W98200858C199360897 @default.
• W98200858 hasConceptScore W98200858C205649164 @default.
• W98200858 hasConceptScore W98200858C33923547 @default.
• W98200858 hasConceptScore W98200858C41008148 @default.

• next