-
2000
Шалфеева, Елена Арефьевна
В связи с ростом требований к качеству создаваемого программного обеспечения в последние годы возрос интерес к метрикам его качества. При этом центр внимания менеджеров качества и оценщиков перемещается с метрик, определяемых на программах, к метрикам проектов программ и даже к метрикам спецификаций требований
-
2000
Щукин, Александр Валентинович
В первой главе «Анализ разновидностей и методов трассировки БИС» описываются стандартные, полузаказные и заказные микросхемы. К стандартным БИС относятся
-
2000
Куделя, Сергей Викторович
Рассмотрим понятия срока жизни приложения и его совокупной стоимости. Эти понятия тесно взаимосвязаны. Под сроком жизни приложения понимается общее время его функционирования. За начальную точку принимается момент установки приложения заказчику. Конечной точкой считается тот момент, когда функциональная часть приложения не удовлетворяет
-
2000
Козленко, Лилия Александровна
Предоставление параллельной СУБД нескольких стратегий обработки гранзакций позволяет учитывать особенности потоков транзакций и их сонфликтность при проектировании потоков транзакций и самих транзакций. Использование техники многоверсионности позволяет избежать реакции гранзакций на потенциальный конфликт чтения и запись объекта данных (как это
-
2000
Швагерус, Сергей Евгеньевич
Особую значимость поиску новых подходов и эффективных высокотехнологичных решений в этой области придает необходимость эффективно противодействовать сложившейся неутешительной ситуации, при которой сердечнососудистые заболевания в значительной мере определяют смертность и трудовые потери в большинстве экономически развитых стран [94]. В частности
-
2000
Никифоров, Игорь Сергеевич
Первые программные средства гипертекста появились в конце шестидесятых годов, но широкое распространение получили лишь в восьмидесятых (благодаря популярности гипермедиа систем HyperCard и InterMedia). Развитие технологии в области телекоммуникаций и средств мультимедиа оказали большое влияние на развитие гипертекстовых систем. Они вышли за рамки
-
2000
Малышко, Виктор Васильевич
Процедура планирования ABALONE применяется в решателе CLAM, предназначенном для автоматического доказательства теорем (см. [Melis and Whittle, 97]). Она реализует метод доказательства теорем по аналогии, который, как считают авторы, существенно увеличивает возможности системы автоматического доказательства теорем. Основная идея метода в том, что
-
2000
Каишев, Андрей Игоревич
В первой главе мы излагаем основные определения и конструкции теории инвариантов Васильева, необходимые для понимания последующего материала. Это, в частности, введенное М. Концевичем понятие весовой системы как функции на алгебре хордовых диаграмм (см. [К], [ВШ]) и введенная С. К. Ландо ([Ьа]) конструкция алгебры графов с 4-членными
-
2000
Филатов, Вячеслав Валерьевич
Особенностью подобных систем является огромный объем постепенно накапливаемых данных, что накладывает свои ограничения как на аппаратные, так и на программные составляющие комплекса. До недавнего времени отсутствовала возможность использования подобных систем в среднем и малом бизнесе. Крупные предприятия, как показывают исследования, не способны
-
2000
Червенчук, Игорь Владимирович
Современные пакеты статистической обработки имеют большой арсенал процедур для статистического анализа, позволяющий специалисту провести более или менее полное исследование. Однако, как правило, исходные данные представляются в виде простых таблиц, т. е. пользователю необходимо осуществлять предварительную подготовку данных (или писать достаточно
-
2000
Некрестьянов, Игорь Сергеевич
Информационный поиск является одной из ключевых областей информатики. И, хотя исследования в этой области продолжаются уже более 30 лет, осталось еще много нерешенных проблем
-
2000
Некрестьянов, Игорь Сергеевич
Многие из этих результататов согласуются с результатами полученными другими исследователями [41, 24], что важно в связи с эмпирическим характером методов информационного поиска
-
2000
Белов, Виктор Викторович
В настоящее время получила широкое развитие индустрия производства программных продуктов (ПП). Каждый программный продукт по-своему интеллектуален. Особое место здесь занимают ПП, ориентированные на обработку знаний и решение задач логического вывода. В работе в качестве интеллектуального программного продукта (ИПП) рассматриваются программы
-
2000
Адигеев, Михаил Георгиевич
Одной фразой связь между коммутацией и распараллеливанием можно охарактеризовать следующим образом: чем универсальнее коммутация, тем проще и эффективнее выполняется распараллеливание программ и размещение данных для такой вычислительной системы. В работе изучены различные варианты соотношения "коммутация-распараллеливание". Основным критерием при
-
2000
Хмельнов, Алексей Евгеньевич
Следует заметить, что для описания способов кодирования бинарных данных возможностей грамматик, предназначенных для формализации описания синтаксиса языков программирования, явно недостаточно. Это объясняется тем, что в текстовых файлах не используется возможность адресации, а, значит, отсутствуют аналоги таких понятий, как "указатель" или
-
2000
Хмельнов, Алексей Евгеньевич
Методика исследования состоит в применении современных методов программирования и теории программирования, дискретной .математики, математической логики и искусственного интеллекта
-
1999
Субботин, Алексей Викторович
Общепризнанным фактом является то, что для достижения приемлемого для большинства задач качества ЕЯ-обработки необходимы специальные информационные массивы, содержащие информацию о языке
-
1999
Рагозин, Алексей Сергеевич
-
1999
Волкова, Анна Валерьевна
-
1999
Беленко, Вячеслав Сергеевич
