翻訳と辞書 Words near each other ・ Libby, McNeil and Libby Cannery ・ Libby, Minnesota ・ Libby, Montana ・ Libby, Montana (film) ・ Libby, Oregon ・ Libby, Perszyk, Kathman Inc. ・ Libby-MacArthur House ・ Libcaca ・ Libcanberra ・ Libchavy ・ Libchyně ・ Libcrypt ・ Libcwd ・ Libdash ・ Libdca ・ Libdmc ・ Libdvdcss ・ LIBE (disambiguation) ・ Libe Goad ・ Libe Rieber-Mohn ・ Libe Washburn ・ Libeaus Desconus ・ Libeccio ・ Libecina ・ Libeco-Lagae ・ Libehna ・ Libeisaygahun ・ Libel (admiralty law) ・ Libel (disambiguation) ・ Libel (film) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Libdmc ： ウィキペディア英語版 Libdmc Libdmc 〔(IEEE Xplore# Wrapper Result )〕〔(SpringerLink Home - Main )〕 is a library designed at the LIP6 〔(Accueil LIP6 )〕 laboratory. Its goal is to ease the distribution of existing model checkers. It has also been designed to provide the most generic interfaces, without sacrificing performance, thanks to the C++ language. Model checking offers a way to automatically prove that a modeled system behavior is correct by verifying properties. However, it suffers from the so-called state space explosion problem, caused by an intensive use of memory. Many solutions have been proposed to overcome this problem (e.g. symbolic representations with decisions diagrams - like BDD) but these methods can rapidly lead to an unacceptable time consumption. Distributed model checking is a way to overcome both memory and time consumptions by using aggregated resources of a dedicated cluster. However, re-writing an entire model checker is a difficult task, so the approach of libdmc is to give a framework in order to construct a model checker. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Libdmc」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.