Year of publication
Type of material
Licence
TIB reading rooms collection
Synonyms were used for: PROGRAMMABLAUF
Search without synonyms: keywords:("PROGRAMMABLAUF")
Used synonyms:
- control flow
- kontrollfluss
- program activity sequence
- program flow
- programmlauf
-
State dependency probabilistic model for fault localization
Elsevier | 2014|Keywords: Control flow graph -
Characterization and transformation of unstructured control flow in bulk synchronous GPU applications
SAGE Publications | 2012|Keywords: unstructured control flow -
Reducing behavioural to structural properties of programs with procedures
Elsevier | 2013|Keywords: Control-flow behaviour, Control-flow structure -
Exact and approximate algorithmus for scheduling nonidentical processors
Tema Archive | 1976|Keywords: PROGRAMMABLAUF -
Search algorithm based on priority in semantic method for malicious code detection
Tema Archive | 2014|Keywords: Programmablauf -
Overview of control-flow hijacking attack and defense techniques for process
Free accessDOAJ | 2019|Keywords: control flow hijacking attacks, control flow integrity -
Exploring compiler optimization space for control flow obfuscation
Elsevier | 2024|Keywords: Control flow -
MCCFG: an MOF-based multiple condition control flow graph for automatic test case generation
Online Contents | 2016|Keywords: Control flow graph (CFG), Multiple condition control flow graph (MCCFG) -
BGCFI: Efficient Verification in Fine-Grained Control-Flow Integrity Based on Bipartite Graph
Free accessDOAJ | 2023|Keywords: Control-flow hijacking, control-flow integrity (CFI) -
Finding loop invariants for programs over arrays using a theorem prover
Tema Archive | 2009|Keywords: Programmablauf -
Timing estimation and optimization in embedded system design
TIBKAT | 2000|Keywords: Kontrollfluss -
Verification in the design process of large real-time systems: a case study
Tema Archive | 2006|Keywords: Programmablauf -
Guidelines for Implementing Control Flow Checking into Automotive Embedded Applications Developed with C Language
Free accessBASE | 2023|Keywords: control flow checking -
Die Produktionsprogrammplanung bestimmt die Qualitaet der Fertigungssteuerung
Tema Archive | 1977|Keywords: PROGRAMMLAUF -
Control-flow analysis of function calls and returns by abstract interpretation
Elsevier | 2011|Keywords: Control-flow analysis -
Capturing and Analyzing the Execution Control Flow of OpenMP Applications
Free accessOnline Contents | 2009|Keywords: Control flow visualization, Control flow recording
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.