Вклад участника
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)
- 13:43, 29 апреля 2016 (разн. | история) . . (0) . . Н Файл:VLSI FPGA algorithm hardware implimentation 2016.pdf (текущая)
- 13:43, 29 апреля 2016 (разн. | история) . . (+1010) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 7.)
- 11:26, 16 апреля 2016 (разн. | история) . . (+301) . . м Шаблон:Important Announcements (→Объявления)
- 11:23, 16 апреля 2016 (разн. | история) . . (0) . . м Просеминар для 2-го курса (→Общая встреча с кафедрой математической кибернетики)
- 20:10, 13 апреля 2016 (разн. | история) . . (+1395) . . м Просеминар для 2-го курса
- 20:07, 13 апреля 2016 (разн. | история) . . (+306) . . м Просеминар для 2-го курса
- 18:18, 10 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh cav2002.pdf (текущая)
- 18:18, 10 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh projects.pdf (текущая)
- 18:18, 10 апреля 2016 (разн. | история) . . (+92) . . м Boolean SAT/SMT Solvers for Software Engineering
- 18:16, 10 апреля 2016 (разн. | история) . . (+102) . . м Boolean SAT/SMT Solvers for Software Engineering (→Course structure)
- 18:10, 10 апреля 2016 (разн. | история) . . (0) . . Н Файл:Proseminar 2016 Marchenko.pdf (текущая)
- 18:10, 10 апреля 2016 (разн. | история) . . (+1) . . м Просеминар для 2-го курса (→Математические задачи автоматизации проектирования интегральных схем)
- 18:10, 10 апреля 2016 (разн. | история) . . (+203) . . м Просеминар для 2-го курса (→Математические задачи автоматизации проектирования интегральных схем)
- 10:45, 8 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh vg2014.pdf (текущая)
- 10:44, 8 апреля 2016 (разн. | история) . . (+102) . . м Boolean SAT/SMT Solvers for Software Engineering (→Week 1 Lectures)
- 15:23, 7 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh ICCAd96.pdf (текущая)
- 15:23, 7 апреля 2016 (разн. | история) . . (+109) . . м Boolean SAT/SMT Solvers for Software Engineering (→Week 1 Lectures)
- 11:11, 6 апреля 2016 (разн. | история) . . (-1) . . м Boolean SAT/SMT Solvers for Software Engineering
- 10:53, 6 апреля 2016 (разн. | история) . . (+969) . . м Просеминар для 2-го курса (→Математические задачи автоматизации проектирования интегральных схем)
- 09:16, 6 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh AAAI2016.pdf (текущая)
- 09:16, 6 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh LRB2016.pdf (текущая)
- 09:15, 6 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh HVC2015.pdf (текущая)
- 09:15, 6 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh lecture 2 ML.pdf (текущая)
- 09:14, 6 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh lecture 2 VSIDS.pdf (текущая)
- 09:14, 6 апреля 2016 (разн. | история) . . (+600) . . м Boolean SAT/SMT Solvers for Software Engineering (→Week 1 Lectures)
- 11:08, 5 апреля 2016 (разн. | история) . . (+3) . . м Boolean SAT/SMT Solvers for Software Engineering (→Расписание занятий)
- 11:08, 5 апреля 2016 (разн. | история) . . (+2) . . м Шаблон:Important Announcements
- 11:07, 5 апреля 2016 (разн. | история) . . (+413) . . м Шаблон:Important Announcements (→Объявления)
- 11:04, 5 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh lecture 1.pdf (текущая)
- 11:04, 5 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh intro.pdf (текущая)
- 11:03, 5 апреля 2016 (разн. | история) . . (+135) . . м Boolean SAT/SMT Solvers for Software Engineering
- 11:00, 5 апреля 2016 (разн. | история) . . (+1197) . . м Boolean SAT/SMT Solvers for Software Engineering
- 10:57, 5 апреля 2016 (разн. | история) . . (+2486) . . Н Boolean SAT/SMT Solvers for Software Engineering (Новая страница: «Спецкурс на английском языке для студентов магистратуры. Лектор курса - профессор униве…»)
- 08:03, 28 марта 2016 (разн. | история) . . (0) . . Н Файл:2016 Proseminar FPGA.pdf (текущая)
- 08:03, 28 марта 2016 (разн. | история) . . (+75) . . м Просеминар для 2-го курса (→Проблемы сложности булевых функций. Задачи синтеза, надежности и контроля дискретных управляющих систем.)
- 13:02, 22 марта 2016 (разн. | история) . . (+1269) . . м Просеминар для 2-го курса (→Проблемы сложности булевых функций. Задачи синтеза, надежности и контроля дискретных управляющих систем.)
- 10:30, 18 марта 2016 (разн. | история) . . (+25) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 4. Синхронные логические схемы, временной анализ схем)
- 10:28, 18 марта 2016 (разн. | история) . . (0) . . Н Файл:VLSI FPGA Timequest 2016.pdf (текущая)
- 10:28, 18 марта 2016 (разн. | история) . . (0) . . Н Файл:VLSI Class Lab 4 2016.pdf (текущая)
- 10:22, 18 марта 2016 (разн. | история) . . (0) . . Н Файл:VLSI FPGA sync circuits 2016.pdf (текущая)
- 10:21, 18 марта 2016 (разн. | история) . . (+499) . . м Математические модели и методы синтеза СБИС(семинар) (→Предварительный план семинарских занятий)
- 10:17, 18 марта 2016 (разн. | история) . . (+263) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 4. Синхронные логические схемы, временной анализ схем)
- 16:46, 14 марта 2016 (разн. | история) . . (0) . . Н Файл:Discrete Control Systems and Applications.pdf (текущая)
- 16:45, 14 марта 2016 (разн. | история) . . (+295) . . м Просеминар для 2-го курса
- 10:09, 14 марта 2016 (разн. | история) . . (0) . . Н Файл:VLSI 2016 318 HW1 students.pdf (текущая)
- 01:13, 14 марта 2016 (разн. | история) . . (+68) . . м Просеминар для 2-го курса (→Программа просеминара)
- 00:52, 14 марта 2016 (разн. | история) . . (+1282) . . м Просеминар для 2-го курса
- 13:49, 10 марта 2016 (разн. | история) . . (+2) . . м Математические модели и методы синтеза СБИС(семинар) (→Домашняя работа №3. Аппаратная реализация алгоритмов на пример ПЛИС)
- 13:46, 10 марта 2016 (разн. | история) . . (+27) . . м Математические модели и методы синтеза СБИС(семинар) (→Домашняя работа №3. Аппаратная реализация алгоритмов)
- 13:46, 10 марта 2016 (разн. | история) . . (+271) . . м Математические модели и методы синтеза СБИС(семинар) (→Домашние задания)
- 13:41, 10 марта 2016 (разн. | история) . . (+63) . . м Математические модели и методы синтеза СБИС(семинар) (→Домашняя работа №1. Моделирование простых дискретных устройств на языке Verilog.)
- 13:38, 10 марта 2016 (разн. | история) . . (0) . . Н Файл:VLSI 2016 318 HW1.pdf (текущая)
- 13:38, 10 марта 2016 (разн. | история) . . (-203) . . м Математические модели и методы синтеза СБИС(семинар) (→Домашние задания)
- 17:01, 4 марта 2016 (разн. | история) . . (+41) . . м Математические модели и методы синтеза СБИС(семинар) (→Предварительный план семинарских занятий)
- 16:59, 4 марта 2016 (разн. | история) . . (+227) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 3. Логические схемы с памятью (защелки, триггеры).)
- 13:25, 4 марта 2016 (разн. | история) . . (0) . . Н Файл:VLSI Class Lab 3 2016.pdf (текущая)
- 13:24, 4 марта 2016 (разн. | история) . . (0) . . Н Файл:VLSI FPGA latches triggers 2016.pdf (текущая)
- 13:24, 4 марта 2016 (разн. | история) . . (+66) . . м Математические модели и методы синтеза СБИС(семинар) (→Предварительный план семинарских занятий)
- 11:36, 26 февраля 2016 (разн. | история) . . (+2) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 3. Моделирование элементов задержки. Защелки, триггеры. Управление тактовой частотой ПЛИС)
- 11:35, 26 февраля 2016 (разн. | история) . . (+371) . . м Математические модели и методы синтеза СБИС(семинар) (→Предварительный план семинарских занятий)
- 11:28, 26 февраля 2016 (разн. | история) . . (+268) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 2. Программируемые логические интегральные схемы (ПЛИС).)
- 11:24, 26 февраля 2016 (разн. | история) . . (0) . . Н Файл:DE0 Nano.txt (текущая)
- 11:24, 26 февраля 2016 (разн. | история) . . (0) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 2. Программируемые логические интегральные схемы (ПЛИС).)
- 11:23, 26 февраля 2016 (разн. | история) . . (0) . . Н Файл:DE0-Nano User manual.pdf (текущая)
- 11:22, 26 февраля 2016 (разн. | история) . . (0) . . Н Файл:VLSI Class Lab 2 2016.pdf (текущая)
- 11:22, 26 февраля 2016 (разн. | история) . . (-2) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 2. Программируемые логические интегральные схемы (ПЛИС).)
- 11:22, 26 февраля 2016 (разн. | история) . . (0) . . Н Файл:VLSI FPGA intro 2016.pdf (текущая)
- 11:21, 26 февраля 2016 (разн. | история) . . (+385) . . м Математические модели и методы синтеза СБИС(семинар) (→Предварительный план семинарских занятий)
- 14:14, 21 февраля 2016 (разн. | история) . . (0) . . м Математические модели и методы синтеза СБИС(семинар)
- 14:14, 21 февраля 2016 (разн. | история) . . (+310) . . м Математические модели и методы синтеза СБИС
- 14:12, 21 февраля 2016 (разн. | история) . . (0) . . м Математические модели и методы синтеза СБИС(семинар)
- 14:00, 21 февраля 2016 (разн. | история) . . (0) . . Н Файл:VLSI 318 BDD 2016.pdf (текущая)
- 13:59, 21 февраля 2016 (разн. | история) . . (+125) . . м Математические модели и методы синтеза СБИС (→Представление логических схем)
- 22:31, 11 февраля 2016 (разн. | история) . . (+186) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 2. Программируемые логические интегральные схемы (ПЛИС).)
- 22:14, 11 февраля 2016 (разн. | история) . . (-7) . . м Математические модели и методы синтеза СБИС(семинар)
- 22:12, 11 февраля 2016 (разн. | история) . . (0) . . Н Файл:VLSI Class Lab 1 2016.pdf (текущая)
- 22:12, 11 февраля 2016 (разн. | история) . . (0) . . Н Файл:VLSI Verilog 2016.pdf (текущая)
- 18:53, 11 февраля 2016 (разн. | история) . . (+63) . . м Математические модели и методы синтеза СБИС(семинар) (→Домашние лабораторные задания)
- 18:51, 11 февраля 2016 (разн. | история) . . (-165) . . м Математические модели и методы синтеза СБИС(семинар) (→Предварительный план семинарских занятий)
- 14:10, 6 января 2016 (разн. | история) . . (0) . . Н Файл:Logic synthesis structural matching.pdf
- 14:09, 6 января 2016 (разн. | история) . . (0) . . Н Файл:Logic synthesis sequential.pdf (текущая)
- 14:09, 6 января 2016 (разн. | история) . . (0) . . Н Файл:Logic synthesis depth.pdf (текущая)
- 14:08, 6 января 2016 (разн. | история) . . (0) . . Н Файл:Logic synthesis CLS.pdf
- 14:08, 6 января 2016 (разн. | история) . . (0) . . Н Файл:Logic synthesis CMOS memory.pdf
- 14:07, 6 января 2016 (разн. | история) . . (0) . . Н Файл:Logic synthesis CMOS.pdf
- 14:06, 6 января 2016 (разн. | история) . . (0) . . Н Файл:Logic synthesis intro.pdf
- 14:05, 6 января 2016 (разн. | история) . . (0) . . Н Файл:Logic synthesis 2015 exam questions.pdf (текущая)
- 14:05, 6 января 2016 (разн. | история) . . (0) . . Н Файл:Logic synthesis 2015 exam rules.pdf (текущая)
- 14:04, 6 января 2016 (разн. | история) . . (+349) . . м Математические модели и методы логического синтеза сверхбольших интегральных схем
- 13:24, 6 января 2016 (разн. | история) . . (+655) . . м Математические модели и методы логического синтеза сверхбольших интегральных схем (→Литература)
- 23:24, 28 декабря 2015 (разн. | история) . . (0) . . Н Файл:Prac 318 Graph intro.pdf (текущая)
- 23:24, 28 декабря 2015 (разн. | история) . . (0) . . Н Файл:Prac 318 DSDS.pdf (текущая)
- 23:22, 28 декабря 2015 (разн. | история) . . (0) . . Н Файл:Prac 318 Git.pdf (текущая)
- 23:22, 28 декабря 2015 (разн. | история) . . (0) . . Н Файл:Survey 318 2015.pdf (текущая)
- 23:10, 28 декабря 2015 (разн. | история) . . (+858) . . м Практикум (3 курс, осенний семестр 2015 года) (→Программа семинаров)
- 19:59, 28 декабря 2015 (разн. | история) . . (+247) . . м Практикум (3 курс, осенний семестр 2015 года) (→Программа семинаров)
- 13:54, 12 декабря 2015 (разн. | история) . . (-59) . . м Практикум (3 курс, осенний семестр 2015 года) (→Домашние задания)
- 13:54, 12 декабря 2015 (разн. | история) . . (+102) . . м Практикум (3 курс, осенний семестр 2015 года) (→Программа семинаров)
- 13:50, 12 декабря 2015 (разн. | история) . . (-473) . . м Практикум (3 курс, осенний семестр 2015 года) (→Программа семинаров)
- 13:47, 12 декабря 2015 (разн. | история) . . (0) . . Н Файл:Prac Autumn 2015 318 HW2.pdf (текущая)
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)