1 |
Program Logic for Weak Memory Concurrency ...
|
|
Doko, Marko. - : Technische Universität Kaiserslautern, 2021
|
|
Abstract:
In order to improve performance or conserve energy, modern hardware implementations have adopted weak memory models; that is, models of concurrency that allow more outcomes than the classic sequentially consistent (SC) model of execution. Modern programming languages similarly provide their own language-level memory models, which strive to allow all the behaviors allowed by the various hardware-level memory models, as well as those that can occur as a result of desired compiler optimizations. As these weak memory models are often rather intricate, it can be difficult for programmers to keep track of all the possible behaviors of their programs. It is therefore very useful to have an abstraction layer over the model that can be used to ensure program correctness without reasoning about the underlying memory model. Program logics are a way of constructing such an abstraction—one can use their syntactic rules to reason about programs, without needing to understand the messy details of the memory model for which ...
|
|
Keyword:
004 Informatik
|
|
URL: https://kluedo.ub.uni-kl.de/6679 https://dx.doi.org/10.26204/kluedo/6679
|
|
BASE
|
|
Hide details
|
|
2 |
Neural Network Learning for Robust Speech Recognition
|
|
Qu, Leyuan. - : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2021
|
|
BASE
|
|
Show details
|
|
3 |
Student Performance and Collaboration in Introductory Courses to Theory of Computation ; Studierendenperformance und Kollaboration in Einführungskursen der Theoretischen Informatik
|
|
Frede, Christiane. - : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2021
|
|
BASE
|
|
Show details
|
|
4 |
Classifying user information needs in cooking dialogues – an empirical performance evaluation of transformer networks
|
|
|
|
BASE
|
|
Show details
|
|
5 |
Entwicklung und Evaluation eines Tools zur lexikonbasierten Sentiment Analysis für die Digital Humanities
|
|
|
|
BASE
|
|
Show details
|
|
7 |
Accessible digital documentary heritage : guidelines for the preparation of documentary heritage in accessible formats for persons with disabilities ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Erfahrung und Gewissheit – Orientierungen in den Wissenschaften und im Alltag. IV. Regensburger Symposium vom 24.-26. März 2011 ...
|
|
|
|
BASE
|
|
Show details
|
|
9 |
Conversational Language Learning for Human-Robot Interaction
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Natural Language Visual Grounding via Multimodal Learning ; Natürliche Sprache Visual Grounding durch multimodales Lernen
|
|
Mi, Jinpeng. - : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2020
|
|
BASE
|
|
Show details
|
|
11 |
Erfahrung und Gewissheit – Orientierungen in den Wissenschaften und im Alltag. IV. Regensburger Symposium vom 24.-26. März 2011
|
|
|
|
BASE
|
|
Show details
|
|
12 |
ANNIS: A graph-based query system for deeply annotated text corpora ...
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Generating Formal Representations of System Specification from Natural Language Requirements
|
|
|
|
BASE
|
|
Show details
|
|
14 |
ANNIS: A graph-based query system for deeply annotated text corpora
|
|
|
|
BASE
|
|
Show details
|
|
15 |
Acquiring Architecture Knowledge for Technology Design Decisions ; Erfassung von Architekturwissen für Technologieentwurfsentscheidungen
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Adaptive Approaches to Natural Language Processing in Annotation and Application ; Adaptive Ansätze zur Verarbeitung natürlicher Sprache in Annotation und Anwendung
|
|
Yimam, Seid Muhie. - : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2019
|
|
BASE
|
|
Show details
|
|
17 |
Predictive Dependency Parsing ; Vorhersagendes Dependenzparsing
|
|
Köhn, Arne. - : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2019
|
|
BASE
|
|
Show details
|
|
18 |
Automatic generation of lexical recognition tests using natural language processing
|
|
|
|
BASE
|
|
Show details
|
|
19 |
Mining and Analyzing User Rationale in Software Engineering ; Gewinnung und Analyse von Nutzerbegründungen in der Softwaretechnik
|
|
Kurtanović, Zijad. - : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2018
|
|
BASE
|
|
Show details
|
|
20 |
Operations on Graphs, Arrays and Automata ; Operationen auf Graphen, Arrays und Automaten
|
|
|
|
BASE
|
|
Show details
|
|
|
|