Zum Inhalt springen

  1. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten; Schnor, Bettina

    Logic Programming and Nonmonotonic Reasoning: Cluster-Based ASP Solving with claspar

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2011

    Erschienen in: Logic Programming and Nonmonotonic Reasoning (2011), Seite 364-369

  2. Luckow, Andre; Jha, Shantenu; Kim, Joohyun; Merzky, Andre; Schnor, Bettina

    Adaptive Distributed Replica-Exchange Simulations

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    The Royal Society, 2009

    Erschienen in: Philosophical Transactions: Mathematical, Physical and Engineering Sciences, 367 (2009) 1897, Seite 2595-2606

  3. Luckow, Andre; Jha, Shantenu; Kim, Joohyun; Merzky, Andre; Schnor, Bettina

    Adaptive distributed replica–exchange simulations

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    The Royal Society, 2009

    Erschienen in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 367 (2009) 1897, Seite 2595-2606

  4. Gregorio, Jose A.; Schnor, Bettina; Bilas, Angelos; Lysne, Olav

    Euro-Par 2006 Parallel Processing: Topic 13: Routing and Communication in Interconnection Networks

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2006

    Erschienen in: Euro-Par 2006 Parallel Processing (2006), Seite 851-851

  5. Schneidenbach, Lars; Schnor, Bettina; Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten

    Recent Advances in Parallel Virtual Machine and Message Passing Interface: Experiences Running a Parallel Answer Set Solver on Blue Gene

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2009

    Erschienen in: Recent Advances in Parallel Virtual Machine and Message Passing Interface (2009), Seite 64-72

  6. Ellguth, Enrico; Gebser, Martin; Gusowski, Markus; Kaufmann, Benjamin; Kaminski, Roland; Liske, Stefan; Schaub, Torsten; Schneidenbach, Lars; Schnor, Bettina

    Logic Programming and Nonmonotonic Reasoning: A Simple Distributed Conflict-Driven Answer Set Solver

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2009

    Erschienen in: Logic Programming and Nonmonotonic Reasoning (2009), Seite 490-495