Публикации

• 01.07.2013 17:39
  Варианты распределенной сети питания для многоядерных микропроцессоров

  Рассмотрены процессы в распределённой сети питания микропроцессора с общим потреблением более 100 Вт. Предложена методика учета индуктивностей развязывающих конденсаторов. Проведена сравнительная оценка падений напряжения питания ядра в распределённой сети питания для вариантов микропроцессоров в корпусе BGA и в корпусе LGA.

  
  
• 
  01.07.2013 17:19

  Применимость инcтрумента Spin к верификации протоколов когерентности памяти

  Рассматривается применимость метода model checking и инструмента Spin, в котором реализованы алгоритмы метода, к верификации протоколов когерентности памяти. Анализируются основные процедуры и оптимизации Spin.

  
  
• 
  27.06.2013 15:57

  Подходы к разработке человеко-машинного интерфейса контроля и управления прикладными программами

  Рассматриваются подходы к созданию человеко-машинного интерфейса в среде разработки Beremiz для управления прикладными программами, исполняемыми на программируемых логических контроллерах с отечественными микропроцессорами SPARC и «Эльбрус» в области АСУТП.

  
  
• 
  27.06.2013 14:10

  Разработка прикладных программ для ВК на базе отечественных микропроцессоров с архитектурой SPARC

  Особое внимание уделено использованию кросс-компилятора архитектуры SPARC из среды Windows. Рассказывается про структуру прикладной программы, отладку и управления ей с помощью элементов человеко-машинного интерфейса.

  
  
• 
  18.06.2013 16:21

  МЦСТ Коммуникационные интерфейсы межмашинных связей вычислительных средств семейства “Эльбрус”

  Рассматривается проблема выбора коммуникационных интерфейсов для реализации распределенных вычислительных систем на базе разработок эльбрусовской серии. Приводится описание спроектированного контроллера моста RDMA–RapidIO.