Dein Suchergebnis zum Thema: quelle

MPI für Kohlenforschung | Max-Planck-Gesellschaft

https://www.mpg.de/154862/kohlenforschung?filter=mpi_news

Das Ziel der Forscher am Max-Planck-Institut für Kohlenforschung in Mülheim an der Ruhr ist die Entwicklung neuer, maßgeschneiderter Katalysatoren – Hilfsstoffe, die chemische Reaktionen beschleunigen, ohne sich selbst zu verbrauchen. Mithilfe von Katalysatoren lassen sich kompliziert gebaute Naturstoffe oder medizinische Wirkstoffe effizient synthetisieren, oder aber Biomasse in Treibstoffe und wichtige Basischemikalien umwandeln.
Materialwissenschaften Seit 60 Jahren dient Ni(COD)2 als nützliche Quelle

Verifikation Asynchroner Programme | Max-Planck-Gesellschaft

https://www.mpg.de/18043573/mpi-sws_jb_20213?c=19434836

Asynchrone Programmierung ist ein Paradigma, das häufig in Low-Level-Systemsoftware, der Web-Programmierung und in Benutzeranwendungen auf mobilen Plattformen eingesetzt wird. Allerdings ist es schwierig für Programmierer*innen sicherzustellen, dass solche Programme kein unerwartetes Verhalten aufweisen. Dies macht Software-Werkzeuge zur Verifikation notwendig, die automatisch die Korrektheit eines Programms nachweisen bzw. eine fehlerhafte Ausführung aufzeigen können.
Eine Quelle der Komplexität moderner Softwaresysteme

Verifikation Asynchroner Programme | Max-Planck-Gesellschaft

https://www.mpg.de/18043573/mpi-sws_jb_20213?c=914864

Asynchrone Programmierung ist ein Paradigma, das häufig in Low-Level-Systemsoftware, der Web-Programmierung und in Benutzeranwendungen auf mobilen Plattformen eingesetzt wird. Allerdings ist es schwierig für Programmierer*innen sicherzustellen, dass solche Programme kein unerwartetes Verhalten aufweisen. Dies macht Software-Werkzeuge zur Verifikation notwendig, die automatisch die Korrektheit eines Programms nachweisen bzw. eine fehlerhafte Ausführung aufzeigen können.
Eine Quelle der Komplexität moderner Softwaresysteme