Automatic Device Driver Synthesis
189
Microsoft Research324 тыс
Следующее
22.06.16 – 99025:44Популярные
11.01.23 – 3 5791:22:54
Опубликовано 22 июня 2016, 0:48
Automatic device driver synthesis is a radical approach to creating drivers faster and with fewer defects by generating them automatically based on hardware device specifications. I will present the design and implementation of a new driver synthesis toolkit, called Termite-2. Termite-2 is the first tool to combine the power of automation with the flexibility of conventional development. It is also the first practical synthesis tool based on abstraction refinement. Finally, it is the first synthesis tool to support automated debugging of input specifications. I will explain the main principles behind the tool and give a brief demo of its capabilities.
Свежие видео
11 дней – 6095:00
14 дней – 5 2630:07
14 дней – 124 28712:02
Случайные видео
28.04.23 – 2205:11
22.10.22 – 60 87910:05
07.06.22 – 6 4861:00
24.02.21 – 2 2012:37
03.06.20 – 57 24832:52
23 дня – 3071:22
9 дней – 3222:57
10 дней – 5 7701:18
10 дней – 1274:08
11 дней – 45 96714:07
11 дней – 44 29818:07
14 дней – 75 53226:05
14 дней – 8010:52
10 дней – 1618:03