Zobrazeno 1 - 10
of 111
pro vyhledávání: '"Reif, Michael"'
Current approaches combining multiple static analyses deriving different, independent properties focus either on modularity or performance. Whereas declarative approaches facilitate modularity and automated, analysis-independent optimizations, impera
Externí odkaz:
http://arxiv.org/abs/2010.04476
Autor:
Glanz, Leonid, Müller, Patrick, Baumgärtner, Lars, Reif, Michael, Amann, Sven, Anthonysamy, Pauline, Mezini, Mira
String obfuscation is an established technique used by proprietary, closed-source applications to protect intellectual property. Furthermore, it is also frequently used to hide spyware or malware in applications. In both cases, the techniques range f
Externí odkaz:
http://arxiv.org/abs/2002.04540
This paper was accepted in 2021 at the 36th IEEE/ACM International Conference on Automated Software Engineering and proposes a model for immutability analysis. Reasoning about immutability is important for preventing bugs, e.g., in multi-threaded sof
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::31dbe619e88b8c1509fdcc0754c4b635
Autor:
Reif, Michael
Whether applications or libraries, today’s software heavily reuses existing code to build more gigantic software faster. To ensure a smooth user experience for an application’s end-user and a reliable software library for the developer, the shipp
Externí odkaz:
https://tuprints.ulb.tu-darmstadt.de/19286/7/thesis.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Klemmer, Philip J *, Chalermskulrat, W, Reif, Michael S, Hogan, Susan L, Henke, David C, Falk, Ronald J
Publikováno v:
In American Journal of Kidney Diseases December 2003 42(6):1149-1153
Publikováno v:
In Clinics in Chest Medicine 2000 21(1):107-120
Autor:
Reif, Michael
Im Rahmen dieser Arbeit wurden funktionale Poly(2-oxazolin)-Lipopolymere für den Aufbau künstlicher Zellmembranen synthetisiert. Die Lipidkomponenten entstammten sowohl synthetischen als auch natürlichen Ursprungs. Es wurde eine neue Methode zur g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______518::5a37a50a0b75c0ab481a852f90fe8c89
https://mediatum.ub.tum.de/doc/818159/document.pdf
https://mediatum.ub.tum.de/doc/818159/document.pdf