Вклад участника
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)
- 22:52, 2 ноября 2016 (разн. | история) . . (0) . . Н Файл:Fpga lecture 3.pdf (текущая)
- 22:52, 2 ноября 2016 (разн. | история) . . (0) . . Н Файл:Fpga lecture 2.pdf (текущая)
- 22:51, 2 ноября 2016 (разн. | история) . . (0) . . Н Файл:Fpga lecture 1.pdf (текущая)
- 22:50, 2 ноября 2016 (разн. | история) . . (+1452) . . м Программируемые логические интегральные схемы (→Программа курса)
- 15:10, 2 ноября 2016 (разн. | история) . . (+89) . . м Программируемые логические интегральные схемы
- 00:52, 1 ноября 2016 (разн. | история) . . (+1555) . . Н Программируемые логические интегральные схемы (Новая страница: «== Общая информация о спецкурсе == *Лектор: Шуплецов Михаил Сергеевич. *Аудитория: 505. *Вре…»)
- 13:49, 23 октября 2016 (разн. | история) . . (0) . . Н Файл:Prac318 Autumn 2016 Part56.pdf (текущая)
- 13:25, 23 октября 2016 (разн. | история) . . (0) . . Файл:Prac318 Autumn 2016 Part2.pdf (ShupletsovMS загружена новая версия «Файл:Prac318 Autumn 2016 Part2.pdf») (текущая)
- 00:30, 11 октября 2016 (разн. | история) . . (0) . . Файл:Prac318 Autumn 2016 Part2.pdf (ShupletsovMS загружена новая версия «Файл:Prac318 Autumn 2016 Part2.pdf»)
- 00:29, 11 октября 2016 (разн. | история) . . (0) . . Н Файл:Prac318 Autumn 2016 Part34.pdf (текущая)
- 22:53, 21 сентября 2016 (разн. | история) . . (0) . . Н Файл:Prac318 Autumn 2016 Part2.pdf
- 18:55, 18 сентября 2016 (разн. | история) . . (0) . . Н Файл:Prac318 Autumn 2016 Part1.pdf (текущая)
- 18:55, 18 сентября 2016 (разн. | история) . . (0) . . Н Файл:Prac318 Autumn 2016 Overview.pdf (текущая)
- 18:55, 18 сентября 2016 (разн. | история) . . (0) . . Н Файл:Prac 318 Autumn 2016 rules.pdf (текущая)
- 18:54, 18 сентября 2016 (разн. | история) . . (+119) . . м Практикум (3 курс, осенний семестр 2016 года) (→Общая информация)
- 18:47, 18 сентября 2016 (разн. | история) . . (+529) . . м Практикум (3 курс, осенний семестр 2016 года) (→Первое домашнее задание. Изоморфизм графов)
- 18:18, 18 сентября 2016 (разн. | история) . . (+5656) . . Н Практикум (3 курс, осенний семестр 2016 года) (Новая страница: «== Общая информация == Занятия проходят по понедельникам с 14:35 до 16:10 в аудитории 609. Заняти…»)
- 12:40, 17 сентября 2016 (разн. | история) . . (+155) . . м Математические методы верификации схем и программ
- 23:34, 22 июня 2016 (разн. | история) . . (0) . . Н Файл:VLSI 418 graph partitioning 2016.pdf (текущая)
- 23:33, 22 июня 2016 (разн. | история) . . (0) . . Н Файл:VLSI 418 technology 2016.pdf (текущая)
- 23:32, 22 июня 2016 (разн. | история) . . (0) . . Н Файл:VLSI 418 placement 2016.pdf (текущая)
- 23:32, 22 июня 2016 (разн. | история) . . (+68) . . м Математические модели и методы синтеза СБИС (→Размещение модулей интегральной схемы)
- 23:31, 22 июня 2016 (разн. | история) . . (+77) . . м Математические модели и методы синтеза СБИС (→Разбиение интегральной схемы)
- 23:31, 22 июня 2016 (разн. | история) . . (+70) . . м Математические модели и методы синтеза СБИС (→Задача синтеза интегральных схем и основные сведения о КМОП технологии)
- 23:30, 22 июня 2016 (разн. | история) . . (0) . . Н Файл:VLSI 418 routing 2016.pdf (текущая)
- 23:30, 22 июня 2016 (разн. | история) . . (+1) . . м Математические модели и методы синтеза СБИС (→Трассировка соединений в интегральной схеме)
- 23:29, 22 июня 2016 (разн. | история) . . (+65) . . м Математические модели и методы синтеза СБИС (→Трассировка соединений в интегральной схеме)
- 23:26, 22 июня 2016 (разн. | история) . . (0) . . Н Файл:MMMSBIS 2016.pdf (текущая)
- 23:25, 22 июня 2016 (разн. | история) . . (+116) . . м Математические модели и методы синтеза СБИС (→Материалы к экзамену)
- 20:29, 17 июня 2016 (разн. | история) . . (0) . . м Boolean SAT/SMT Solvers for Software Engineering (→Week 2 Lectures)
- 20:28, 17 июня 2016 (разн. | история) . . (0) . . м Boolean SAT/SMT Solvers for Software Engineering (→Week 2 Lectures)
- 20:27, 17 июня 2016 (разн. | история) . . (+27) . . м Boolean SAT/SMT Solvers for Software Engineering (→Расписание занятий)
- 20:26, 17 июня 2016 (разн. | история) . . (0) . . м Boolean SAT/SMT Solvers for Software Engineering (→Course annotation)
- 20:22, 17 июня 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh lecture 6.pdf (текущая)
- 20:22, 17 июня 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh lecture 5.pdf (текущая)
- 20:21, 17 июня 2016 (разн. | история) . . (+157) . . м Boolean SAT/SMT Solvers for Software Engineering (→Week 2 Lectures)
- 14:34, 12 мая 2016 (разн. | история) . . (0) . . Файл:VLSI 2016 318 HW2.pdf (ShupletsovMS загружена новая версия «Файл:VLSI 2016 318 HW2.pdf») (текущая)
- 10:42, 1 мая 2016 (разн. | история) . . (+131) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 7. Аппаратная реализация алгоритмов)
- 15:33, 29 апреля 2016 (разн. | история) . . (0) . . Н Файл:VLSI 2016 318 HW2 students.pdf (текущая)
- 13:51, 29 апреля 2016 (разн. | история) . . (0) . . Н Файл:VLSI 2016 318 HW2.pdf
- 13:50, 29 апреля 2016 (разн. | история) . . (-184) . . м Математические модели и методы синтеза СБИС(семинар) (→Домашние задания)
- 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. Моделирование элементов задержки. Защелки, триггеры. Управление тактовой частотой ПЛИС)
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)