Zum Inhalt springen

Hecker, Martin [VerfasserIn] ; Snelting, G. [AkademischeR BetreuerIn]

Timing Sensitive Dependency Analysis and its Application to Software Security

Online ansehen
Schließen

Zugang

https://d-nb.info/1218599766/34

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karlsruhe: KIT-Bibliothek, 2020
Mohr, Manuel [VerfasserIn] ; Snelting, G. [AkademischeR BetreuerIn]

Aspects of Code Generation and Data Transfer Techniques for Modern Parallel Architectures

Online ansehen
Schließen

Zugang

https://d-nb.info/1164081187/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karlsruhe: KIT-Bibliothek, 2018
Zwinkau, Andreas [VerfasserIn] ; Snelting, G. [AkademischeR BetreuerIn]

Resource-aware Programming in a High-level Language - Improved performance with manageable effort on clustered MPSoCs

Online ansehen
Schließen

Zugang

https://d-nb.info/1161801782/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karlsruhe: KIT-Bibliothek, 2018
Graf, Jürgen [VerfasserIn] ; Snelting, G. [AkademischeR BetreuerIn]

Information Flow Control with System Dependence Graphs - Improving Modularity, Scalability and Precision for Object Oriented Languages

Online ansehen
Schließen

Zugang

https://d-nb.info/1129258866/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karlsruhe: KIT-Bibliothek, 2016
Breitner, Joachim [VerfasserIn] ; Snelting, G. [AkademischeR BetreuerIn]

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

Online ansehen
Schließen

Zugang

https://d-nb.info/1100529519/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karlsruhe: KIT-Bibliothek, 2016
Wasserrab, Daniel [VerfasserIn] ; Snelting, G. [AkademischeR BetreuerIn]

From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security

Online ansehen
Schließen

Zugang

https://d-nb.info/118549300X/34

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karlsruhe: KIT Scientific Publishing, 2011
Hammer, Christian [VerfasserIn] ; Snelting, G. [AkademischeR BetreuerIn]

Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs

Online ansehen
Schließen

Zugang

https://d-nb.info/1185493255/34

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karlsruhe: KIT Scientific Publishing, 2009
Lochbihler, Andreas [VerfasserIn] ; Snelting, G. [AkademischeR BetreuerIn]

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Online ansehen
Schließen

Zugang

https://d-nb.info/1184492581/34

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karlsruhe: KIT Scientific Publishing, 2012
Giffhorn, Dennis [VerfasserIn] ; Snelting, G. [AkademischeR BetreuerIn]

Slicing of Concurrent Programs and its Application to Information Flow Control

Online ansehen
Schließen

Zugang

https://d-nb.info/1024312798/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karlsruhe: KIT-Bibliothek, 2012
Hecker, Martin [VerfasserIn] ; Snelting, G. [MitwirkendeR]

Timing Sensitive Dependency Analysis and its Application to Software Security

Online ansehen
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000123689

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KIT-Bibliothek, Karlsruhe, 2020-01-01
Mohr, Manuel [VerfasserIn] ; Snelting, G. [MitwirkendeR]

Aspects of Code Generation and Data Transfer Techniques for Modern Parallel Architectures

Online ansehen
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000085052

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KIT-Bibliothek, Karlsruhe, 2018-01-01
Zwinkau, Andreas [VerfasserIn] ; Snelting, G. [MitwirkendeR]

Resource-aware Programming in a High-level Language - Improved performance with manageable effort on clustered MPSoCs

Online ansehen
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000083526

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KIT-Bibliothek, Karlsruhe, 2018-01-01
Graf, Jürgen [VerfasserIn] ; Snelting, G. [MitwirkendeR]

Information Flow Control with System Dependence Graphs - Improving Modularity, Scalability and Precision for Object Oriented Languages

Online ansehen
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000068211

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KIT-Bibliothek, Karlsruhe, 2016-01-01
Breitner, Joachim [VerfasserIn] ; Snelting, G. [MitwirkendeR]

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

Online ansehen
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000054251

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KIT-Bibliothek, Karlsruhe, 2016-01-01
Breitner, Joachim [VerfasserIn] ; Snelting, G. [MitwirkendeR]

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

Online ansehen
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000056002

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KIT Scientific Publishing, Karlsruhe, 2016-01-01
Lochbihler, Andreas [VerfasserIn] ; Snelting, G. [MitwirkendeR]

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Online ansehen
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000028867

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KIT Scientific Publishing, Karlsruhe, 2012-01-01
Giffhorn, Dennis [VerfasserIn] ; Snelting, G. [MitwirkendeR]

Slicing of Concurrent Programs and its Application to Information Flow Control

Online ansehen
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000028814

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KIT-Bibliothek, Karlsruhe, 2012-01-01
Wasserrab, Daniel [VerfasserIn] ; Snelting, G. [MitwirkendeR]

From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security

Online ansehen
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000020678

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KIT Scientific Publishing, Karlsruhe, 2011-01-01
Hammer, Christian [VerfasserIn] ; Snelting, G. [MitwirkendeR]

Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs

Online ansehen
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000012049

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KIT Scientific Publishing, Karlsruhe, 2009-01-01
Mohr, Martin [VerfasserIn] ; Snelting, Gregor [AkademischeR BetreuerIn]

Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

Online ansehen
Schließen

Zugang

https://d-nb.info/1261891600/34

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karlsruhe: KIT-Bibliothek, 2022

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr