Новости игр и программ. Исследователи Microsoft создадут "терминатора"
 Специалисты исследовательской лаборатории корпорации Microsoft работают над новым проектом Terminator, основная цель которого заключается в решении так называемой "проблемы зависания". Проблема зависания может быть сформулирована следующим образом. Имеются описание программного алгоритма и начальные входные данные. Необходимо определить, завершится ли когда-либо выполнение алгоритма с этими данными или же программа зависнет. Ещё в 1936 году Алан Тьюринг доказал, что не существует общего решения проблемы для всех возможных программ и всех возможных входных данных. Однако в корпорации Microsoft всё же рассчитывают создать систему, которая будет работоспособна в большинстве случаев. Как сообщает Internet News, проектом Terminator руководит исследователь Microsoft Байрон Кук. По словам Кука, многие пользователи считают, что зависшие программы полностью перестают работать. На самом же деле такие приложения, как правило, входят в бесконечный цикл и не реагируют на команды. Проект Terminator предполагает создание системы, которая сможет автоматически проверять программные модули и приложения, моделируя различные входные параметры. Компонент, прошедший такую проверку, должен будет гарантированно работать без зависаний в подавляющем большинстве практических случаев. Существующая сейчас предварительная версия комплекса Terminator v0.1 поддерживает вложенные циклы, рекурсивные функции, указатели, побочные эффекты и пр. Система уже прошла успешные испытания при проверке драйверов Windows, содержащих до 35000 строк программного кода. <a href="https://emuplanet.ru/gamenews/pqi.html" target="_blank">Исследователи Microsoft создадут терминатора </a>Откроется ссылка в новом окне. Внимание! Приглашаем к сотрудничеству все сайты нашей тематики, для обмена новостями и интересной информацией, готовы предложить за полезную и интересную информацию денежное вознаграждение (если новость или статья действительно стоящая). Ссылку на Ваш проект, как первоисточник, гарантируем! |
Выбранная Вами статья "Исследователи Microsoft создадут "терминатора"" рекомендует также ознакомиться со следующими новостями:
Как выгодно продать аккаунты социальных сетей: Telegram, TikTok, Instagram
Продажа аккаунтов в популярных социальных сетях стала прибыльным бизнесом. Владельцы прокачанных профилей могут заработать на своих страницах, но для этого важно знать, как выгодно и безопасно продать аккаунт. |
|
Актеры и модели в игре "Инстинкт"
Компания "Новый Диск" объявила имена актеров, которые примут участие в игре "Инстинкт". |
|
Frontlines: Fuel of War. Скриншоты
Компания THQ представила новые скриншоты из проекта Frontlines: Fuel of War. Разработкой игры занята недавно открытая под крылом издателя студия Kaos Studios. |
|
Windows установлена на 97% компьютеров в мире
Компания OneStat.com подвела итоги исследования распространённости операционных систем для персональных компьютеров. |
|
Онлайновый редактор Writely стал доступен всем желающим
На прошлой неделе компания Google открыла доступ для всех желающих к онлайновому текстовому редактору Writely. Поисковый гигант приобрёл онлайнового конкурента Word в марте этого года. |
|
Chrome 2: Скриншоты
Польская студия Techland представила новые скриншоты из фантастического шутера Chrome 2, выход которого состоится в середине следующего года на PC и консолях следующего поколения. |
|
Анонсирована Silent Hunter 4: Wolves of the Pacific
Компания Ubisoft анонсировала четвертую часть симулятора подводной лодки с рабочим названием Silent Hunter 4: Wolves of the Pacific, разработка которого идет в румынском отделении компании Ubisoft Romania. |
|
"Танита или Морское Приключение" в печати
Компания "Акелла" отправляет в печать пластилиновый квест "Танита или Морское Приключение", разработанный студией Trickster Games. В продажу игра поступит 29 августа. |
|
ABBYY открыла кафедру в МФТИ
Российская компания ABBYY, производитель ПО в области лингвистики, организовала в Московском физико-техническом институте на факультете инноваций и высоких технологий базовую кафедру "Распознавание изображений и обработка текста". |
|
"Адреналин 2: Час Пик": Видео
1C и Gaijin Entertainment представили видеоролик из игры "Адреналин 2: Час Пик". Напомним, что "Адреналин 2: Час Пик" - продолжение автосимулятора "Адреналин". |