Erscheinungsjahr
Datenquelle
Fach
Format
Lizenz
Sprache
-
On abstraction refinement for program analyses in Datalog
British Library Online Contents | 2014|Verlag: ACM -
Hybrid top-down and bottom-up interprocedural analysis
British Library Online Contents | 2014|Verlag: ACM -
Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores
British Library Online Contents | 2014|Verlag: ACM -
EnCore: Exploiting System Environment and Correlation Information for Misconfiguration Detection
British Library Online Contents | 2014|Verlag: ACM -
Power Containers: An OS Facility for Fine-Grained Power and Energy Management on Multicore Servers
British Library Online Contents | 2013|Verlag: ACM -
On-tThe-fly Detection of Instability Problems in Floating-Point Program Execution
British Library Online Contents | 2013|Verlag: ACM -
Finding Optimum Abstractions in Parametric Dataflow Analysis
British Library Online Contents | 2013|Verlag: ACM -
Demo: Runtime MAC Reconfiguration Using a Meta-compiler Assisted Toolchain
British Library Conference Proceedings | 2012|Verlag: ACM -
White Box Sampling in Uncertain Data Processing Enabled by Program Analysis
British Library Online Contents | 2012|Verlag: ACM -
Accentuating the Positive: Atomicity Inference and Enforcement Using Correct Executions
British Library Online Contents | 2011|Verlag: ACM -
ULCC: A User-Level Facility for Optimizing Shared Cache Performance on Multicores
British Library Conference Proceedings | 2011|Verlag: ACM -
Accentuating the Positive: Atomicity Inference and Enforcement Using Correct Executions
British Library Conference Proceedings | 2011|Verlag: ACM -
Analyzing Multicore Dumps to Facilitate Concurrency Bug Reproduction
British Library Online Contents | 2010|Verlag: ACM -
ULCC: A User-Level Facility for Optimizing Shared Cache Performance on Multicores
British Library Online Contents | 2011|Verlag: ACM -
Achieving O(1) IP Lookup on GPU-Based Software Routers
British Library Conference Proceedings | 2010|Verlag: ACM -
Analyzing Multicore Dumps to Facilitate Concurrency Bug Reproduction
British Library Conference Proceedings | 2010|Verlag: ACM -
An Automated Refactoring Tool for Dataflow Visual Programming Language
British Library Online Contents | 2008|Verlag: ACM
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.