Полный текст новости

Microsoft создаст "терминатора"

Специалисты исследовательской лаборатории корпорации Microsoft работают над новым проектом Terminator, основная цель которого заключается в решении так называемой "проблемы зависания".

Проблема зависания может быть сформулирована следующим образом. Имеются описание программного алгоритма и начальные входные данные. Необходимо определить, завершится ли когда-либо выполнение алгоритма с этими данными или же программа зависнет. Ещё в 1936 году Алан Тьюринг доказал, что не существует общего решения проблемы для всех возможных программ и всех возможных входных данных. Однако в корпорации Microsoft всё же рассчитывают создать систему, которая будет работоспособна в большинстве случаев.

Проектом Terminator руководит исследователь Microsoft Байрон Кук. По словам Кука, многие пользователи считают, что зависшие программы полностью перестают работать. На самом же деле такие приложения, как правило, входят в бесконечный цикл и не реагируют на команды.

Проект Terminator предполагает создание системы, которая сможет автоматически проверять программные модули и приложения, моделируя различные входные параметры. Компонент, прошедший такую проверку, должен будет гарантированно работать без зависаний в подавляющем большинстве практических случаев. Существующая сейчас предварительная версия комплекса Terminator v0.1 поддерживает вложенные циклы, рекурсивные функции, указатели, побочные эффекты и пр. Система уже прошла успешные испытания при проверке драйверов Windows, содержащих до 35000 строк программного кода.

Источник: compulenta.ru

Новости партнеров:


Другие мировые новости за 29.08.2006:

Производители мобильников: новая расстановка сил
HUSQVARNA доминирует в Чемпионате Мира
Они способны чувствовать
Fujitsu Siemens выпустит футбольные ноутбуки
Microsoft готовит ответ Google Pack
Сотрудников Philips обвинили в коррупции
Новый DVD Walkman от Sony
Ваш Pantech узнает вас из тысячи
VMagi X1 - очки-телевизор
Microsoft создаст "терминатора"
ШОКоладный сейф
Тесты, обзоры, статьи, аналитика
Инновации в медицине
Тема инноваций в области медицинских товаров является актуальной и касается каждого. Сегодня использование больших данных, искусственного интеллекта и других технологий стимулирует внедрение медицинских новшеств по всему миру. Новые методы профилактики, диагностики и контроля заболеваний, а также инновационные препараты и техники для мониторинга и лечения обещают значительно улучшить качество жизни людей.
CRM системы для повышения B2B продаж
CRM – оченеь эффективный инструмент для повышения продаж в сегменте B2B. Платформа удобна менеджерам для фиксации каждого шага работы с клиентом, руководителю – для контроля работы сотрудников и получения оперативной аналитики.
Обзор лучших QLED телевизоров, которые есть в наличии в 2023 году
Любите посмотреть кино или поиграть? Для этого созданы QLED-телевизоры. В его основе – технология квантовых точек, которая позволяет достичь максимально точной цветопередачи и делает цвета более яркими, насыщенными и живыми. В результате вы получаете невероятное изображение, которое намного превосходит возможности других ТВ.
Гиперконвергентные инфраструктуры
С постоянным развитием информационных технологий и расширением объемов данных компании сталкиваются с необходимостью улучшить свои IT-инфраструктуры, чтобы обеспечить эффективное хранение, управление и обработку данных.
Бесплатные мероприятия в Москве Cоветы Путешественникам —
как мы переехали
в Мексику
Свежий номер газеты Телеком

«ТелеКом» уходит в интернет!

Как вернуть исчезнувшие контакты на iPhone после обновления iOS?

Мобильный телефон в отпуске – особенности использования и вероятные поломки

Brosco - модные аксессуары для вашего телефона

EmailMarket – онлайн платформа для поиска лучших специалистов в email маркетинге

Большие возможности при разумной цене смартфона Lenovo A Plus

Квадрокоптеры – история вдохновения

Больше возможностей для email-рассылок за умеренную стоимость с SendPulse

Mestel MO900 – семейная микроволновка

Сколько стоит ремонт ноутбуков и куда стоит обращаться в первую очередь?

Заряд бодрости и оптимизма

Внешние зарядные устройства для мобильных телефонов и девайсов

Аккумуляторы для фотоаппаратов и видеокамер

Как выбрать недорогой китайский смартфон

Возврат обеспечения заявки на участие в тендере

Оптические делители

Восстанавливаем потерянные данные программой EaseUS Data Recovery Wizard

Бронебойный высокопроизводительный смартфон Blackview BV 8000 PRO

Autodesk Vault – компоновка и возможности

Как защитить сайт от вирусов

SSL сертификат – зачем он нужен и какой тип выбрать

Как выбрать проектор для домашнего кинотеатра

Коротко о электрогриле Wollmer S807

Керамика в электротехнике и энергетике

Ремонт планшета Леново

В чем преимущество серверной стойки перед шкафом

Прочный деловой смартфон с неплохими характеристиками и стильным дизайном - Doogee T5S

Запчасти для ноутбуков: плюсы оригинальных комплектующих

Такие разные чехлы и аксессуары от Apple

От яичницы с беконом до шокера. Какими бывают чехлы для смартфона

Причины для замены дисплея на iPad Air 2

Картриджи для ленточной библиотеки – выход для хранения данных

Спидтест интернета с инструкцией устранения проблем представлен на новом ресурсе

Выбираем портативное зарядное устройство

Лучшие смартфоны от производителя Homtom

Выбор мастерских по ремонту гаджетов

Сопровождение 1С: быстрый способ избавиться от проблем

Риски использования одноразовых номеров

Как правильно построить и организовать техническую поддержку ИТ инфраструктуры компании?

Можно ли заправить картридж принтера самостоятельно?

Обмен Perfect Money: возможности собственного обменника и альтернатива порталов мониторинга – что выбрать?

Аренда звука – правильное решение при организации мероприятий

VK70604N: продуманная фильтрация и максимальная практичность

Winter is coming: как выбрать снегоуборочную машину для дома

Особенности выбора сервера 1С

Как ускорить старый ноутбук

Продвигаете сайт? Загляните в соцсети. 5 причин важности маркетинга в социальных сетях

Феноменальная история эволюции WordPress. Путь самой используемой системы управления контентом

ТОПовые игровые ноутбуки

Подписка на новости


Информация

Copyright © 2005-2017
technograd.com


Разработка проекта: Издательский дом RMG

E-mail:
[email protected]

Редактор:
[email protected]

Реклама:
[email protected]

Тел. +7 (863) 272-66-06

о проекте>>

Рейтинг@Mail.ru