2 Titel in Alle Kollektionen
Klassifikation
Schliessen
Filter
1

zu den Filteroptionen

Efficient parallel branch-and-bound search on FPGAs using work stealing and instance-specific designs
Riebler, Heinrich ; Plessl, Christian ; Platzner, Marco ; Meyer auf der Heide, Friedhelm ; Tierney, Kevin ; Lettmann, Theodor
Elektronische Ressource, Paderborn, 2019
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015