Zobrazeno 1 - 10
of 54
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
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
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.