20 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Computerprogrammierung, Programme, DatenKlassifikationSchliessenFilter2
zu den Filteroptionen20 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Computerprogrammierung, Programme, Daten
Klassifikation
Schliessen
Filter
2
Bewertung automatisch erkannter Instanzen von Software-Mustern
Travkin, Dietrich ; Schäfer, Wilhelm ; Kindler, EkkartElektronische Ressource, Paderborn, 2018Efficient 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, TheodorElektronische Ressource, Paderborn, 2019Engineering self-adaptive systems with simulation-based performance prediction
Becker, Matthias Wilhelm ; Becker, Steffen ; Engels, Gregor ; Bodden, Eric ; Hüllermeier, Eyke ; Platenius, Marie ChristinElektronische Ressource, Paderborn, 2017Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Travkin, Dietrich ; Schäfer, Wilhelm ; Kleine Büning, HansElektronische Ressource, Paderborn, 2018Knowledge-based verification of service compositions
Walther, Sven ; Wehrheim, HeikeElektronische Ressource, Paderborn, 2018Local strategies for swarm formations on a grid
Jung, Daniel ; Meyer auf der Heide, Friedhelm ; Scheideler, ChristianElektronische Ressource, Paderborn, 2018Modellgetriebener Einsatz von Softwareentwurfsmustern
Travkin, Dietrich ; Anjorin, Anthony ; Zündorf, Albert ; Wehrheim, Heike ; Meyer, Matthias ; Sauer, StefanElektronische Ressource, Paderborn, 2018On-The-Fly safety checking - customizing program certification and program restructuring
Jakobs, Marie-Christine ; Wehrheim, Heike ; Beyer, Dirk ; Bodden, Eric ; Platzner, Marco ; Platenius, Marie ChristinElektronische Ressource, Paderborn, 2017Performance modeling and analysis in high-performance reconfigurable computing
Schumacher, Tobias2011Synchronized pushdown systems for pointer and data-flow analysis
Späth, Johannes ; Bodden, Eric ; Ali, KarimElektronische Ressource, Paderborn, 2019Systematik zur geschäftsmodellorientierten Technologiefrühaufklärung
Placzek, Markus ; Gausemeier, JürgenElektronische Ressource, Paderborn, 2017Towards automated service composition under quality constraints
Mohr, Felix ; Kleine Büning, HansElektronische Ressource, Paderborn, 2017User-centered tool design for data-flow analysis
Nguyen Quang Do, Lisa ; Bodden, Eric ; Ali, Karim ; Murphy-Hill, Emerson ; Wehrheim, Heike ; Hermann, BenElektronische Ressource, Paderborn, 2019Verifying concurrent programs under weak memory models
Travkin, Oleg ; Wehrheim, Heike ; Kleine Büning, Hans ; Ngonga Ngomo, Axel-Cyrille ; Platzner, Marco ; Simon, JensElektronische Ressource, Paderborn, 2017