DSpace Repository

Browsing Труды сотрудников ФИТ by Author "A. P. Ershov Institute of Informatics Systems SB RAS"

Browsing Труды сотрудников ФИТ by Author "A. P. Ershov Institute of Informatics Systems SB RAS"

Sort by: Order: Results:

  • Боженкова, Елена Николаевна; Иртегов, Дмитрий Валентинович; Киров, Александр Владимирович; Нестеренко, Татьяна Викторовна; Чурина, Татьяна Геннадьевна (Новосибирский государственный университет, 2013-03-02)
    В статье рассматриваются требования к построению автоматизированной системы тестирования, описывается прототип такой системы, предназначенной для проведения олимпиад по программированию и обеспечению процесса подготовки ...
  • Непомнящий, Валерий Александрович; Попова, Наталья Сергеевна; Чурина, Татьяна Геннадьевна (Новосибирский государственный университет, 2013-03-02)
    Рассматриваются спецификации распределенных систем на языке Dynamic-REAL (dREAL) с динамическим по-рождением и уничтожением экземпляров процессов. В качестве сетевой модели выбраны модифицированные рас-крашенные сети Петри ...

Search DSpace


Advanced Search

Browse

My Account