« » ( 7, 4, 2013)

| |   |   (PDF-, 8,3 Mb)

.

  • ..  - , . ,  at2001@yandex.ru
  • ..   , ya.olga.work@yandex.ru

.

  • ..  Parexel International, maria-grigoryeva@yandex.ru
  • ..   . .. ; , victoryukorolev@yandex.ru
  • ..   , isokolov@ipiran.ru

 M | M | 1 | <L,H> | <H,R>   .

  • ..   , ygaidamaka@sci.pfu.edu.ru
  • ..   , apechinkin@ipiran.ru
  • ..   , rrazumchik@ieee.org
  • ..   , asam1988@gmail.com
  • ..   , ksam@sci.pfu.edu.ru
  • ..   , isokolov@ipiran.ru
  • ..   , sopin2eduard@yandex.ru
  • ..   , sshorgin@ipiran.ru

.

  • . .   , mkonovalov@ipiran.ru

LAB - .

  • ..   , arkhipov12@yandex.ru
  • ..   , zykzoya@yandex.ru

.

  • ..   , iz_ipi@a170.ipi.ac.ru
  • ..   , havanskov@a170.ipi.ac.ru
  • ..   , sergeysh50@yandex.ru

- .

  • ..  Parexel International, maria-grigoryeva@yandex.ru
  • ..   . .. ; , victoryukorolev@yandex.ru

.

  • ..   .. ., ; , oshestakov@cs.msu.su
  • ..   ... , , m.g.kuznetsova@gmail.com
  • ..   ... , , isadovoy@gmail.com

- "" .

  • ..   , mkrivenko@ipiran.ru
  • ..  - , sergeygol124@mail.ru
  • ..   , psavchenko@ipiran.ru
  • ..  - , uroinfo@yandex.ru
  • ..   , asuchkov@ipiran.ru

.

  • ..   , mkrivenko@ipiran.ru
  • ..  - , sergeygol124@mail.ru
  • ..  - , uroinfo@yandex.ru

.

  • ..   . .. , , lsa@cs.msu.ru
  • ..   . .. , , houselake@gmail.com

CONCEPTUAL DECLARATIVE PROBLEM SPECIFICATION AND SOLVING IN DATA INTENSIVE DOMAINS.

  • L. Kalinichenko  Institute of Informatics Problems, Russian Academy of Sciences,Moscow 119333, Russian Federation, leonidandk@gmail.com
  • S. Stupnikov  Institute of Informatics Problems, Russian Academy of Sciences,Moscow 119333, Russian Federation, ssa@ipi.ac.ru
  • A. Vovchenko  Institute of Informatics Problems, Russian Academy of Sciences,Moscow 119333, Russian Federation, itsnein@gmail.com
  • D. Kovalev  Institute of Informatics Problems, Russian Academy of Sciences,Moscow 119333, Russian Federation, dm.kovalev@gmail.com
.
  • .   , , , leonidandk@gmail.com
  • .   , , , ssa@ipi.ac.ru
  • .   , , , itsnein@gmail.com
  • .   , , , dm.kovalev@gmail.com

PROBABILISTIC METHODS FOR SELF - CORRECTING HARDWARE DESIGN.

  • S. Dolev  Department of Computer Science, Ben-Gurion University, Beer-Sheva 84105, Israel, dolev@cs.bgu.ac.il
  • S. Frenkel  Institute of Informatics Problems, Russian Academy of Sciences, Moscow 119333, Russian Federation, Moscow Institute of Radio, Electronics, and Automation  «MIREA», Moscow 119454, Russian Federation, fsergei@mail.ru
  • D.E. Tamir  Department of Computer Science, Texas State University, San-Marcos, TX 78666, USA, dt19@txstate.edu
.
  • .   . 2 , -, , dolev@cs.bgu.ac.il
  • .   ; , ( ), , , fsergei@mail.ru
  • ..   , . -, , dt19@txstate.edu