Lectures

← Previous
1
2
3
4
5
6
7
8
9
10
Next →

Prof. Gernot Heiser

Making trusted systems trustworthy

Part 1

Watch More... Event Page Details

NTASS 2013
September 12, 2013
Watched 7338 times.
Public Published
Dr. Sriram Rajamani

Correct design of asynchronous software

Part 2

Watch More... Event Page Details

NTASS 2013
September 11, 2013
Watched 7325 times.
Public Published
Dr. Sriram Rajamani

Correct design of asynchronous software

Part 1

Watch More... Event Page Details

NTASS 2013
September 11, 2013
Watched 7282 times.
Public Published
Dr. Albert Cohen

Parallelizing and Optimizing Compilation for Synchronous Languages: New Directions for High-Performance Embedded Systems

Part 2

Watch More... Event Page Details

NTASS 2013
September 11, 2013
Watched 6784 times.
Public Published
Dr. Albert Cohen

Parallelizing and Optimizing Compilation for Synchronous Languages: New Directions for High-Performance Embedded Systems

Part 1

Watch More... Event Page Details

NTASS 2013
September 11, 2013
Watched 6995 times.
Public Published
Prof. Rolf Ernst

A many-core architecture for mixed-critical systems

Part 2

Watch More... Event Page Details

NTASS 2013
September 11, 2013
Watched 7263 times.
Public Published
Prof. Wang YI

Models of Real-Time Workload: Expressiveness and Complexity

Part 1

Watch More... Event Page Details

NTASS 2013
September 09, 2013
Watched 6813 times.
Public Published
Prof. Sanjoy Baruah

Scheduling theory and real-time systems

Part 2

Watch More... Event Page Details

NTASS 2013
September 09, 2013
Watched 7440 times.
Public Published
Prof. Janos Sztipanovits

Cyber-Physical Systems Challenge for Model-based Design

Part 2

Watch More... Event Page Details

NTASS 2013
September 09, 2013
Watched 6870 times.
Public Published
Prof. Rolf Ernst

A many-core architecture for mixed-critical systems

Part 1

Watch More... Event Page Details

NTASS 2013
September 11, 2013
Watched 6926 times.
Public Published
Prof. Tarek Abdelzaher

Cyber-physical systems with humans in the loop

Part 2

Watch More... Event Page Details

NTASS 2013
September 10, 2013
Watched 7551 times.
Public Published
Prof. Tarek Abdelzaher

Cyber-physical systems with humans in the loop

Part 1

Watch More... Event Page Details

NTASS 2013
September 10, 2013
Watched 8615 times.
Public Published
Prof. Wang YI

Models of Real-Time Workload: Expressiveness and Complexity

Part 2

Watch More... Event Page Details

NTASS 2013
September 09, 2013
Watched 7271 times.
Public Published
Dr. Oded Maler

On Under-Determined Dynamical systems

Part 2

Watch More... Event Page Details

NTASS 2013
September 10, 2013
Watched 7620 times.
Public Published
Dr. Oded Maler

On Under-Determined Dynamical systems

Part 1

Watch More... Event Page Details

NTASS 2013
September 10, 2013
Watched 7637 times.
Public Published
Prof. Janos Sztipanovits

Cyber-Physical Systems Challenge for Model-based Design

Part 1

Watch More... Event Page Details

NTASS 2013
September 09, 2013
Watched 7605 times.
Public Published
Prof. Jean-Yves Le Boudec

TCP / IP Networking

Lecture 9/a

Watch More... Event Page Details

TCP/IP
November 15, 2013
Watched 7459 times.
Public Published
Prof. Jean-Yves Le Boudec

TCP / IP Networking

Lecture 9/b

Watch More... Event Page Details

TCP/IP
November 15, 2013
Watched 6786 times.
Public Published
Prof. Jean-Yves Le Boudec

TCP / IP Networking

Lecture 7/a

Watch More... Event Page Details

TCP/IP
October 31, 2013
Watched 7511 times.
Public Published
Prof. Jean-Yves Le Boudec

TCP / IP Networking

Lecture 8/b

Watch More... Event Page Details

TCP/IP
November 07, 2013
Watched 6843 times.
Public Published