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

Formal Verification for Reliability and Performance on Core Coordination of MPSoC

Abstract:In order to discover MPSoC's design defect earlier, a formal method for depicting core coordination was proposed, including structural model and logical characterization. The main idea was to adopt polynomial functions to replace actions on labelled transition system to describe data change...

Fuld beskrivelse

Na minha lista:
Principais autores: zhanghui, wujinzhao, xieying, caojunyue
Format: Artigo
Sprog:Inglês
Udgivet: Editorial Department of Journal of Sichuan University (Engineering Science Edition) 2016-01-01
Serier:工程科学与技术
Fag:
multiprocessor system-on-chip
core coordination
hybrid labelled transition system
hybrid markov decision process
probabilistic computation tree logic
PRISM
data desensitization
Online adgang:http://jsuese.scu.edu.cn/thesisDetails?columnId=43924790&Fpath=home&index=0
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker