Наверх
Обратно
8 800 250-06-18
Менюx
КорзинаАвторизоватьсяНаши магазиныПомощь
Моя корзина: нет товаровx
Нет товаров
Оплата и доставка
x
Ваш город: Судоверфь, вам доступны способы доставки:
  • отправка Почтой РФ (от 200 руб)
Вам доступны способы оплаты:
  • при получении заказа
  • предоплата: банковские карты, терминалы оплаты и многое другое
  • банковский перевод для физ. лиц
  • банковский перевод для юр. лиц
Авторизоваться
Судоверфь
x
Выбор города

Ваш город: Судоверфь ?

Ваш город: Судоверфьизменить )
Пункты самовывоза
Вам нравится эта книга?  
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»

Simplifying Runtime Verification of Distributed Programs
Eslam Al Maghayreh

Вы можете заказать:
Подробнее о технологии 
Экономьте до 30% с бонусными баллами! При покупке вы получите
от 392 баллов
на свой бонусный счёт. Получить баллы и скидку
Вам доступны способы доставки:
  • отправка Почтой РФ (от 200 руб)
Способы оплаты

Описание

Distributed programs are particularly hard to write and to reason about their correctness. The idea of checking an expected property in a given distributed program run (i.e. runtime verification) has recently been attracting a great deal of attention for analyzing distributed programs. Runtime verification verifies the implementation of the system directly rather than verifying a model of it as is done in model checking. It is also based on formal logics and provides formalism, which is lacked in testing. Due to concurrency, the number of global states of a distributed program run tends to grow exponentially with respect to the number of program statements executed. As a result, checking the satisfaction of a property in a given distributed program run can incur significant overhead. In this book, we investigate various ideas to reduce the cost of runtime verification. These include the use of atoms, exploiting the notion of serialization and finally proposing a methodology that exploits the concept of atoms and partial order semantics to specify and to check properties of distributed programs.
далее Читать
Свернуть
   Читать далее
Год:2010
Страниц:112
ISBN:9783639283716
Формат:22.9cm x 15.2cm x 0.6cm
Код:pod 6043108
Авторы:Eslam, Maghayreh
Тематика:Компьютерная литература

Мнения и отзывы

Авторизуйтесь или зарегистрируйтесь на сайте, чтобы оставить отзыв и получить возможность заработать 15 бонусных баллов в бонусной программе
Оставить отзыв
Спасибо
за отзыв!
Отслеживать статус можно в
«Ваших отзывах».
Оставить отзыв
Simplifying Runtime Verification of Distributed Programs
Simplifying Runtime Verification of Distributed Programs
Eslam Al Maghayreh
 
Авторизуйтесь, чтобы оставить свой отзыв о товаре
Общее впечатление
Вам нравится эта книга?  
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
Авторизуйтесь или зарегистрируйтесьна сайте, чтобы получить доступ к уникальному рекомендательному сервису «Буквоеда»
0 букв

Отзыв длиной более 500 букв, который будет принят модератором, принесет вам 15 баллов для участия в нашей бонусной программе!

Отзыв должен быть уникальным и содержательным: нельзя копировать отзывы, мнения и информацию с других сайтов.

Не содержать нецензурную брань.

Отзыв должен относиться к товару, на который он написан.

Без спойлеров.

Мы не рекомендуем пересказ аннотации или содержания.

Нельзя указывать ссылки на сторонние ресурсы и email адреса

Назад к написанию отзыва
×
x

Если Вы обнаружили ошибку в описании товара «Simplifying Runtime Verification of Distributed Programs» Eslam Al Maghayreh, выделите её мышкой и нажмите: Ctrl+Enter. Спасибо!

©2006-2018, ООО «Буквоед»
8 800 250-06-18

Спасибо за ваше обращение.
Его номер - .

Ответ будет направлен на указанную почту в ближайшее время.

x
x