Форма поиска публикаций

Элементы 601—630 из 15874.

№	название публикации	Год	РИНЦ	Авторы
1085	ИСТОРИЯ РЕАЛИЗАЦИИ ПРОЕКТОВ ПО СОЗДАНИЮ ОТКАЗОУСТОЙЧИВОЙ ВС И ОТЕЧЕСТВЕННОЙ ПЭВМ-32.1 / THE HISTORY OF PROJECTS REALIZATION ON DEVELOPMENT OF FAIL-SAFE COMPUTATION SYSTEMS AND HOME MADE PERSONAL COMPUTER PEVM-32.1	2008	2	(1)
1086	СУПЕРКОМПЬЮТЕРЫ И СУПЕРКОМПЬЮТИНГ: СОСТОЯНИЕ ПРОБЛЕМЫ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ / SUPERCOMPUTERS AND SUPERCOMPUTING: THE STATUS OF PARALLEL CALCULATIONS PROBLEM	2007	3	(1)
1087	СУПЕРКОМПЬЮТИНГ И КЛАССИЧЕСКИЕ КОМПЬЮТЕРЫ / SUPERCOMPUTING AND CLASSICAL COMPUTERS	2007	1	(1)
1088	ФОРМИРОВАНИЕ ОБЛИКА БУДУЩЕЙ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ ПОДГОТОВКИ ЗАДАЧ ДЛЯ РЕКУРРЕНТНОГО КОМПЬЮТЕРА	2005	1	(1)
1089	ФУНКЦИОНАЛЬНЫЕ ВОЗМОЖНОСТИ И СТРУКТУРА АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ ПОДГОТОВКИ ЗАДАЧ ДЛЯ РЕКУРРЕНТНОГО КОМПЬЮТЕРА	2005	1	(1)
1090	ТЕХНОЛОГИЧЕСКИЕ ОСОБЕННОСТИ ПОДГОТОВКИ ЗАДАЧ К РЕШЕНИЮ НА НЕЙМАНОВСКОМ И РЕКУРРЕНТНОМ КОМПЬЮТЕРАХ	2004	1	(1)
1091	УЧЁТ ПОЖЕЛАНИЙ АВТОРА ЗАДАЧИ В АРХИТЕКТУРЕ «ВИЗУАЛЬНОГО КОНСТРУКТОРА РЕКУРРЕНТНЫХ КАПСУЛ»	2004	2	(1)
1092	ДИНАМИЧЕСКИЙ ПОДХОД К ВЫБОРУ АРХИТЕКТУРЫ ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ ОБРАБОТКИ СИГНАЛОВ	2001	6	(1)
1093	ОСОБЕННОСТИ ОБРАБОТКИ СИГНАЛОВ НА ПРОЦЕССОРЕ С РЕКУРРЕНТНО-ДИНАМИЧЕСКОЙ ПАРАДИГМОЙ ВЫЧИСЛЕНИЙ	2001	3	(1)
1094	НАПРАВЛЕНИЯ РАЗВИТИЯ ИНТЕГРАЛЬНОЙ ЭЛЕМЕНТНОЙ БАЗЫ ДЛЯ КОМПЬЮТЕРОВ СЛЕДУЮЩЕГО ПОКОЛЕНИЯ	2000	1	(1)
1095	САМОСИНХРОНИЗАЦИЯ -ЕСТЕСТВЕННАЯ ОСНОВА ПАРАЛЛЕЛЬНЫХ КОМПЬЮТЕРОВ	1999	1	(2)
1096	САМОСИНХРОНИЗАЦИЯ -ЕСТЕСТВЕННЫЙ ПУТЬ ОБЕСПЕЧЕНИЯ ДОЛГОЖИВУЧЕСТИ ИНТЕГРАЛЬНЫХ СХЕМ	1999	3	(1)
1098	САМОСИНХРОННЫЕ МИКРОСХЕМЫ -КЛЮЧ К СОЗДАНИЮ ЭЛЕКТРОННОЙ ТАППАРАТУРЫ ДОЛГОВРЕМЕННОГО ДЕЙСТВИЯ	1999	1	(1)
1099	ПРИНЦИПИАЛЬНАЯ БАЗА АРХИТЕКТУРЫ ЕСТЕСТВЕННО-НАДЕЖНЫХ КОМПЬЮТЕРОВ	1995	1	(2)
1102	ПОЛУФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ ЦИФРОВОГО УСТРОЙСТВА С КОНВЕЙЕРОМ, ОСНОВАННАЯ НА ИСПОЛЬЗОВАНИИ АЛГОРИТМИЧЕСКИХ МАШИН СОСТОЯНИЯ / SEMIFORMAL VERIFICATION FOR PIPELINED DIGITAL DESIGNS BASED ON ALGORITHMIC STATEMACHINES	2010	1	(3)
1103	ТРАНСЛЯТОР ТАБЛИЧНЫХ ПРЕДСТАВЛЕНИЙ АВТОМАТОВ МИЛИ В ПРОГРАММЫ НА ЯЗЫКЕ SMV ДЛЯ АВТОМАТИЗАЦИИ ВЕРИФИКАЦИИ ПРОЕКТОВ ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ НА ОСНОВЕ ПРОВЕРКИ МОДЕЛЕЙ / THE COMPILER OF TABULAR REPRESENTATIONS OF MEALY MACHINES INTO PROGRAMS IN THE SMV LANGUAGE THAT AUTOMATES VERIFICATION OF COMPUTER PROJECTS USING THE MODEL VERIFICATION	2010	0	(5)
1105	CHARACTERIZATION OF PROBABILISTIC FAULTS DIAGNOSTIC MODELS	2006	1	(3)
1106	ORGANIZATIONAL TRUSTWORTHINESS AND WORKPLACE LABOR PRODUCTIVITY: TESTING A NEW THEORY	2005	0	(2)
1107	ИНФОРМАЦИОННО-СТАТИСТИЧЕСКИЙ МОНИТОРИНГ ИЗОБРЕТАТЕЛЬСКОЙ АКТИВНОСТИ РАН НА ОСНОВЕ ПАТЕНТНЫХ ИНФОРМАЦИОННЫХ РЕСУРСОВ	2012	7	(2)
1109	ИННОВАЦИОНЫЕ УЧЕБНО-МЕТОДИЧЕСКИЕ КОМПЛЕКСЫ. (ВЫСТУПЛЕНИЯ ПРЕДСТАВИТЕЛЕЙ ЭКСПЕРТНОГО СОВЕТА НА СОВЕЩАНИИ АВТОРОВ КОНЦЕПЦИЙ ИУМК)	2006	0	(2)
1110	ЭЛЕКТРОННЫЕ МУЛЬТИМЕДИЙНЫЕ УЧЕБНИКИ И ЭНЦИКЛОПЕДИИ	2000	26	(1)
1111	МУЛЬТИМЕДИА В ОБРАЗОВАНИИ	1996	1	(1)
1112	ПРИМЕНЕНИЕ СРЕДСТВ WPF ПРИ РЕАЛИЗАЦИИ ИНСТРУМЕНТАРИЯ ДЛЯ СОЗДАНИЯ И ПУБЛИКАЦИИ ЭЛЕКТРОННЫХ КОЛЛЕКЦИЙ / USING WPF IN DIGITAL COLLECTIONS CREATING AND PUBLISHING TOOLS IMPLEMENTATION	2010	0	(2)
1113	УПРАВЛЕНИЕ ИНФОРМАЦИОННЫМИ КОМПОНЕНТАМИ WEB-ПОРТАЛА РАН	2003	6	(2)
1114	ИНФОРМАЦИОННО-КОНТРОЛИРУЮЩАЯ СИСТЕМА ЗНАНИЙ ДИСЦИПЛИН ЦИКЛА СТАТИСТИЧЕСКОЙ ИНФОРМАТИКИ	2001	1	(4)
1115	A MULTISERVER QUEUEING SYSTEM WITH A FINITE BUFFER, BLOCKING OF A SEMI-MARKOVIAN INPUT FLOW OF CUSTOMERS, AND REMOVAL OF ALL CUSTOMERS FROM THE SYSTEM	2011	0	(1)
1116	МНОГОЛИНЕЙНАЯ СИСТЕМА МАССОВОГО ОБСЛУЖИВАНИЯ С КОНЕЧНЫМ НАКОПИТЕЛЕМ, БЛОКИРОВКОЙ ПОЛУМАРКОВСКОГО ПОТОКА ЗАЯВОК И ВЫБИВАНИЕМ ВСЕХ ЗАЯВОК ИЗ СИСТЕМЫ	2010	1	(1)
1120	МНОГОЛИНЕЙНАЯ СИСТЕМА МАССОВОГО ОБСЛУЖИВАНИЯ С ПРЕРЫВАЮЩИМСЯ ПОЛУМАРКОВСКИМ ПОТОКОМ ЗАЯВОК	2007	0	(1)
1121	СТАЦИОНАРНЫЕ ХАРАКТЕРИСТИКИ СИСТЕМЫ МАССОВОГО ОБСЛУЖИВАНИЯ G[X]/MSP/1/INFINITY С ПОСТУПЛЕНИЕМ ЗАЯВОК ГРУППАМИ ОГРАНИЧЕННОГО ОБЪЕМА / STATIONARY CHARACTERISTICS OF THE G[X]/MSP/1/INFINITY QUEUEING SYSTEM WITH THE ARRIVAL OF BATCHES OF LIMITED VOLUME	2006	2	(1)
1122	МАТЕМАТИЧЕСКИЕ МЕТОДЫ И АЛГОРИТМЫ РАСЧЕТА НЕКОТОРЫХ НЕМАРКОВСКИХ МОДЕЛЕЙ МАССОВОГО ОБСЛУЖИВАНИЯ	2005	0	(1)