ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

48,968 results

GNU Tools Cauldron
Moving BPF verifier towards classic data flow analysis techniques

The BPF verifier has troubles when verifying loops. This talk will cover: historical evolution of loops handling by verifier; problems ...

20:54
Moving BPF verifier towards classic data flow analysis techniques

69 views

3 months ago

Genetic Improvement Workshop
Applying Automated Program Repair to Dataflow Programming Languages

Dataflow programming languages are used in a variety of settings, and defects in their programs can have serious consequences.

2:42
Applying Automated Program Repair to Dataflow Programming Languages

200 views

4 years ago

Michael Pradel
Lecture "Data Flow Analysis (Part 1, Available Expressions)" of "Program Analysis"

Lecture in the "Program Analysis" course by Prof. Dr. Michael Pradel at University of Stuttgart in winter semester 2020/21 See ...

37:23
Lecture "Data Flow Analysis (Part 1, Available Expressions)" of "Program Analysis"

10,434 views

5 years ago

Nitin Chandrachoodan
EE5332 L6.2 - Control DataFlow Graph

Control Dataflow graphs and their use in scheduling.

9:57
EE5332 L6.2 - Control DataFlow Graph

645 views

3 years ago

Apache Beam
Beam Summit 2023 | How to balance power and control when using Dataflow with an OLTP SQL Database

We created a Python SDK-based Dataflow streaming pipeline for a major French retail company. When notified, the pipeline ...

18:57
Beam Summit 2023 | How to balance power and control when using Dataflow with an OLTP SQL Database

323 views

2 years ago

Roel Van de Paar
What makes data flow analysis higher level than control flow analysis?

What makes data flow analysis higher level than control flow analysis? Helpful? Please support me on Patreon: ...

2:32
What makes data flow analysis higher level than control flow analysis?

0 views

4 years ago

Michael Pradel
Lecture "Data Flow Analysis (Part 2, Basic Principles)" of "Program Analysis"

Lecture in the "Program Analysis" course by Prof. Dr. Michael Pradel at University of Stuttgart in winter semester 2020/21 See ...

13:10
Lecture "Data Flow Analysis (Part 2, Basic Principles)" of "Program Analysis"

3,187 views

5 years ago

UCLA VAST
Dataflow Hardware Acceleration of DNNs with High-Level Synthesis | Guest Lecture at Yale University

Dataflow Hardware Acceleration of DNNs with High-Level Synthesis — Guest Lecture at Yale University (Fall 2025) This guest ...

1:03:12
Dataflow Hardware Acceleration of DNNs with High-Level Synthesis | Guest Lecture at Yale University

184 views

2 months ago

programmingconf
‹Programming› 2021 - P28 - Transparent Synchronous Dataflow

... of control in the pure data flow graph the computation is inherently parallel which is very good for modeling parallel computation ...

15:29
‹Programming› 2021 - P28 - Transparent Synchronous Dataflow

247 views

4 years ago

Splash Conference 2017
FlowSpec: Declarative Dataflow Analysis Specification

Jeff Smits, Eelco Visser We present FlowSpec, a declarative specification language for the domain of dataflow analysis. FlowSpec ...

14:16
FlowSpec: Declarative Dataflow Analysis Specification

120 views

8 years ago

TDT4205
TDT4205 Compiler Construction lecture 19-1: Data flow analysis overview

Introduction to bit-vector data-flow analysis approaches.

21:02
TDT4205 Compiler Construction lecture 19-1: Data flow analysis overview

384 views

5 years ago

zmeeshejka
Exercise in dataflow animation programming

A demo of animation generated by a dataflow graph written in Processing (source code at https://github.com/anhinga/fluid).

0:30
Exercise in dataflow animation programming

594 views

10 years ago

Genetic Improvement Workshop
Q&A: Applying Automated Program Repair to Dataflow Programming Languages

Dataflow programming languages are used in a variety of settings, and defects in their programs can have serious consequences.

7:02
Q&A: Applying Automated Program Repair to Dataflow Programming Languages

41 views

4 years ago

Fernand G. Bernardez
9.1 Flow Models Part 1

This video talks about Flow-based modeling and the tools more specifically Data Flow Diagram.

17:34
9.1 Flow Models Part 1

102 views

5 years ago

Michael Pradel
Lecture "Data Flow Analysis (Part 6, Sensitivities)" of "Program Analysis"

Lecture in the "Program Analysis" course by Prof. Dr. Michael Pradel at University of Stuttgart in winter semester 2020/21 See ...

12:20
Lecture "Data Flow Analysis (Part 6, Sensitivities)" of "Program Analysis"

1,227 views

5 years ago

IJCAR-FSCD 2020
Andrej Ivaskovic: Data-flow analyses as effects and graded monads (FSCD B)

Authors: Andrej Ivaskovic, Alan Mycroft, and Dominic Orchard Aired: 2020-02-04 13:30:00 CEST (UTC+2)

29:26
Andrej Ivaskovic: Data-flow analyses as effects and graded monads (FSCD B)

96 views

5 years ago

Roel Van de Paar
Computer Science: Backward vs Forward Data-flow Analysis

Computer Science: Backward vs Forward Data-flow Analysis Helpful? Please support me on Patreon: ...

1:25
Computer Science: Backward vs Forward Data-flow Analysis

109 views

4 years ago

Michael Pradel
Lecture "Data Flow Analysis (Part 3, More Examples)" of "Program Analysis"

Lecture in the "Program Analysis" course by Prof. Dr. Michael Pradel at University of Stuttgart in winter semester 2020/21 See ...

51:20
Lecture "Data Flow Analysis (Part 3, More Examples)" of "Program Analysis"

3,893 views

5 years ago

Michael Pradel
Lecture "Data Flow Analysis (Part 5, Inter-procedural)" of "Program Analysis"

Lecture in the "Program Analysis" course by Prof. Dr. Michael Pradel at University of Stuttgart in winter semester 2020/21 See ...

10:24
Lecture "Data Flow Analysis (Part 5, Inter-procedural)" of "Program Analysis"

2,276 views

5 years ago

Steven Gordon
Updating a Sliding Window for Flow Control

Answer to a quiz question about the state parameters in a sliding window flow control protocol. Part of ITS323 Introduction to Data ...

8:36
Updating a Sliding Window for Flow Control

15,575 views

11 years ago