-
A formal model of a system for automated program parallelization
Online Contents | 2007|Schlagwörter: Program Language Design -
Sparse Dataflow Analysis with Pointers and Reachability
Springer Verlag | 2014|Schlagwörter: Program Language Design -
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
Springer Verlag | 2007|Schlagwörter: Program Language Design -
The Future of Aliasing in Parallel Programming
Springer Verlag | 2013|Schlagwörter: Program Language Design -
The Challenge of Programming Language Design
Springer Verlag | 1983|Schlagwörter: Program Language Design -
The Challenge of Programming Language Design
Springer Verlag | 1984|Schlagwörter: Program Language Design -
Static Analysis versus Software Model Checking for Bug Finding
Springer Verlag | 2004|Schlagwörter: Program Language Design -
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models
Freier ZugriffSpringer Verlag | 2011|Schlagwörter: Program Language Design -
Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation
Springer Verlag | 2004|Schlagwörter: Program Language Design -
Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates
Springer Verlag | 2012|Schlagwörter: Program Language Design -
A Model of Dynamic Separation for Transactional Memory
Springer Verlag | 2008|Schlagwörter: Program Language Design -
Marco: Safe, Expressive Macros for Any Language
Springer Verlag | 2012|Schlagwörter: Program Language Design -
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis
Springer Verlag | 2009|Schlagwörter: Program Language Design -
Automatic Atomicity Verification for Clients of Concurrent Data Structures
Freier ZugriffSpringer Verlag | 2014|Schlagwörter: Program Language Design -
Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method
Freier ZugriffSpringer Verlag | 2008|Schlagwörter: Program Language Design -
Automating Software Analysis at Large Scale
Springer Verlag | 2015|Schlagwörter: Program Language Design
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.