Program Optimization 2015

科技演讲·公开课
--播放 · --弹幕
-- --
http://www2.in.tum.de/hp/Main?nid=363 In the lecture, we give an overview over standard techniques for improving the quality of the generated code. In particular, we are interested in methods which guarantee that the resulting code still is equivalent to

视频选集

1/25
相关视频推荐
Virtual Machines 201526:48:00
Virtual Machines 2015
198播放 · 1弹幕
NPTEL Model Checking 201519:02:26
NPTEL Model Checking 2015
103播放 · 1弹幕
On Gradient-Based Optimization1:02:05
Programming Languages 201627:56:17
Programming Languages 2016
222播放 · 0弹幕
Functional Programming 201230:11:36
Functional Programming 2012
422播放 · 0弹幕
Formal Methods 201416:12:39
Formal Methods 2014
55播放 · 0弹幕
CSE230 Programming Languages 201723:20:22
CSEP 524 - Parallel Computation 201025:35:12
cse131 Compilers 201817:19:25
cse131 Compilers 2018
338播放 · 0弹幕
图灵机和可计算性10:38:40