Código QR (código de barras bidimensional)

Checking Parameterized Promela Models of Cache Coherence Protocols

This paper introduces a method for scalable verification of cache coherence protocols described in the Promela language. Scalability means that resources spent on verification (first of all, machine time and memory) do not depend on the number of processors in the system under verification. The meth...

Fuld beskrivelse

Na minha lista:
Principais autores: V. S. Burenkov, A. S. Kamkin
Format: Artigo
Sprog:Inglês
Udgivet: Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Serier:Труды Института системного программирования РАН
Fag:
многоядерные микропроцессоры, мультипроцессоры с разделяемой памятью, протоколы когерентности памяти, проверка моделей, spin, promela
Online adgang:https://ispranproceedings.elpub.ru/jour/article/view/139
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker