| |
 |
 |
 |
| |
|
|
Представляется интересным описывать произвольные орграфы булевыми формулами. Практический аспект такой задачи заключается, например, в формульном задании графа переходов конечного автомата, позволяющем однозначно составить тестовое множество для проверки реализующей такой граф программы. |
Добавлено: 18:Oct:03 | Оценить | Битая ссылка |
Сказать другу
Переходов: 139 | Рейтинг: 0 | Голосов: 0
|
|
|
В статье рассказывается о создании модели для параллельного программирования. Чтобы программировать стало реально нужно поменять стиль программирования и научиться программировать заново. Взять трехтомник Кнута, просмотреть, закрыть и забыть... |
Добавлено: 13:Dec:03 | Оценить | Битая ссылка |
Сказать другу
Переходов: 185 | Рейтинг: 0 | Голосов: 0
|
|
|
Рассматриваются особенности внутренних структур данных Windows 2000 с точки зрения обеспечения безопасности. Показано, что после внедрения специализированной динамически загружаемой библиотеки, создания удалённого потока в целевом процессе и замены адресов в таблице импорта становится возможным получение полного контроля над приложением. |
Добавлено: 19:Mar:04 | Оценить | Битая ссылка |
Сказать другу
Переходов: 237 | Рейтинг: 0 | Голосов: 0
|
|
|
На командном чемпионате мира по программированию по версии ACM традиционно предлагается разработать программу управления роботом в некоторой виртуальной среде. При этом ежегодно изменяется как сам робот, так и «среда его обитания». После написания программы, созданные роботы соревнуются друг с другом... |
Добавлено: 17:Dec:03 | Оценить | Битая ссылка |
Сказать другу
Переходов: 121 | Рейтинг: 0 | Голосов: 0
|
|
|
Было бы преувеличением сказать, что никто не использует функциональные языки. Телефонные вызовы в Европейском парламенте коммутируются программами, написанными на функциональном языке Erlang фирмы Ericsson. Виртуальные компакт-диски распределяются по сети Cornell через систему Ensemble, написанную на CAML... |
Добавлено: 31:Oct:03 | Оценить | Битая ссылка |
Сказать другу
Переходов: 168 | Рейтинг: 0 | Голосов: 0
|
|
|
При помощи алгоритма выявления ассоциативных правил можно решать достаточно большой спектр практических задач. В этой статье Вашему вниманию будет представлена типичная задача, решаемая при помощи нахождения ассоциативных зависимостей. Речь идет о механизмах стимулирования продаж, базирующихся на знаниях о наиболее типичном поведении покупателей при оформлении заказов. |
Добавлено: 07:Nov:03 | Оценить | Битая ссылка |
Сказать другу
Переходов: 118 | Рейтинг: 0 | Голосов: 0
|
|
|
Данное руководство описывает основные принципы работы с программой автоматизированного тестирования SilkTest. Цель данного пособия: дать толчок начинающему изучать SilkTest, поэтому не надейтесь найти здесь исчерпывающее руководство. Все примеры делались на SilkTest версий 6.5, 7.1 и 7.5. |
Добавлено: 29:Jan:07 | Оценить | Битая ссылка |
Сказать другу
Переходов: 300 | Рейтинг: 0 | Голосов: 0
|
|
|
Объектно-ориентированное программирование сегодня изучено достаточно глубоко и существует множество поддерживающих эту парадигму языков, однако так называемая проблема обеспечения неизменности (immutability) везде решается уникальным образом, причем большинству реализаций присущи те или иные недостатки. Статья представляет обзор имеющихся решений и предлагает вариант реализации, свободный от ряда недостатков. |
Добавлено: 08:Feb:03 | Оценить | Битая ссылка |
Сказать другу
Переходов: 135 | Рейтинг: 0 | Голосов: 0
|
|
|
|
1
2
3
4
5
6
|
|
|
|
 |
|
 |
|
|
|
