58 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Informatik, Informationswissenschaft, allgemeine Werke ClassificationCloseFilters
jump to filter-options58 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Informatik, Informationswissenschaft, allgemeine Werke
Classification
Close
Filters
Safety requirements engineering for early SIL tailoring
Fockel, Markus ; Bodden, Eric ; Greenyer, JoelElektronische Ressource, Paderborn, 2019Scaling static whole-program analysis to modern C and C++ software development
statically analyzing C and C++ software with PhASARSchubert, Philipp DominikPaderborn, 2024Scaling, placement, and routing for pliable virtualized composed services
Dräxler, Sevil ; Karl, Holger ; Bianchi, GiuseppeElektronische Ressource, Paderborn, 2019Scheduling with scarce resources
Riechers, Sören ; Meyer auf der Heide, Friedhelm ; Berenbrink, Petra ; Hüllermeier, Eyke ; Skopalik, Alexander ; Schröder, Ulf-PeterElektronische Ressource, Paderborn, 2017Schemata und Praktiken
Conradi, Tobias (Ed.) ; Ecker, Gisela (Ed.) ; Eke, Norbert Otto (Ed.) ; Muhle, Florian (Ed.)München [u.a.] : Fink, 2012Self-* Algorithms for distributed systems
programmable matter & overlay networksStrothmann, Thim Frederik ; Scheideler, Christian ; Richa, Andréa W. ; Meyer auf der Heide, FriedhelmElektronische Ressource, Paderborn, 2017Selfish network creation
on variants of network creation gamesCord-Landwehr, Andreas ; Meyer auf der Heide, Friedhelm ; Skopalik, AlexanderElektronische Ressource, Paderborn, 2016Semantic positioning
supporting knowledge work through semantic spatial arrangementsErren, Patrick2010A semantics for the integration of database modifications and transaction brackets into a logic programming language
Böttcher, StefanIn: Information systems and artificial intelligence / Workshop on Information Systems and Artificial Intelligence, Vol. 1990, page 1-10Separation algorithms for cutting planes based on mixed integer row relaxations
implementation and evaluation in the context of mixed integer programming solver softwareChristophel, Philipp M.2009Simulating binary trees on x-trees
Monien, BurkhardIn: 3rd Annual ACM Symposium on Parallel Algorithms and Architectures / Symposium on Parallel Algorithms and Architectures <3, 1991, Hilton Head Island, SC>, page 147-158Simulating probabilistic by deterministic algebraic computation trees
Meyer auf der Heide, FriedhelmIn: Theoretical Computer Science, Vol. 1985, page 325-330A simulation framework for connecting In-Body nano communication with Out-of-Body devices
Küstner, Anke ; Dressler, Falko ; Karl, Holger ; Heinz Nixdorf InstitutElektronische Ressource, Paderborn, 2020Simulation-based analysis of forecast performance evaluations for airline revenue management
Cleophas, Catherine2009Simulative performance evaluation of a provably collision free approach for managing autonomous cars on urban intersections
Artmann, Matthias ; Sommer, Christoph ; Meyer auf der Heide, FriedhelmElektronische Ressource, Paderborn, 2020