Jump to main content

yr 〜
yr

Search results 14

神経系組織における低分子量ストレス蛋白質蓄積の分子機構

神経系組織における低分子量ストレス蛋白質蓄積の分子機構
Paper図書
稲熊, 裕, 愛知県心身障害者コロニー発達障害研究所1997-1999<Y151-H09680785>
National Diet Library
  • Subject Headinghsp ストレス蛋白質 two-hybrid ubc9 シヨウジヨウバエ sentrin SMT SUMO

Improving Statistical Machine Translation with Target-Side Dependency Syntax

Improving Statistical Machine Translation with Target-Side Dependency Syntax
Digital博士論文障害者向け資料あり
John, Walter Richardson2016-09-23
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject Headingmachine translation dependency syntax MT SMT translation

多項式制約解消のためのSMTソルバ

多項式制約解消のためのSMTソルバ
Digital博士論文障害者向け資料あり
Vu, Tung Xuan2018-06
National Diet Library
  • Subject HeadingSMT solving non-linear arithmetic...

マルチプロセッサのためのリラックスメモリモデルに基づいたSMTソルバによるプログラム検証

マルチプロセッサのためのリラックスメモリモデルに基づいたSMTソルバによるプログラム検証
Digital博士論文障害者向け資料あり
Maleehuan, Pattaravut2018-09
National Diet Library
  • Subject Heading...m Verification SMT-based Program Verification Mu...

OSEK/VDXアプリケーションのためのモデル検査技術に関する研究

OSEK/VDXアプリケーションのためのモデル検査技術に関する研究
Digital博士論文障害者向け資料あり
Zhang, Haitao2015-09
National Diet Library
  • Subject Heading...model checking SMT sequentialization

多項式制約のためのSMTとその応用

多項式制約のためのSMTとその応用
Digital博士論文障害者向け資料あり
To, Van Khanh2013-06
National Diet Library
  • Subject Heading...ulo Theories - SMT polynomial constraints testin...

多項式制約解消のためのSMTソルバ

多項式制約解消のためのSMTソルバ
Digital博士論文
Vu, Tung Xuan2018-06
Available onlineOther Libraries in Japan
  • Subject HeadingSMT solving non-linear arithmetic...

Efficient Evolutionary Algorithm of Multi-objective Optimization for High-Confidence Cyber-Physical Systems

Efficient Evolutionary Algorithm of Multi-objective Optimization for High-Confidence Cyber-Physical Systems
Digital規格・テクニカルリポート類
Lim, Yuto2018-06-01科学研究費助成事業研究成果報告書p.1-6
Other Libraries in Japan
  • Subject HeadingCyber-Physical Systems Real-time System Internet of Things SMT Predictive Control Smart Home...

マルチプロセッサのためのリラックスメモリモデルに基づいたSMTソルバによるプログラム検証

マルチプロセッサのためのリラックスメモリモデルに基づいたSMTソルバによるプログラム検証
Digital博士論文
Maleehuan, Pattaravut2018-09
Available onlineOther Libraries in Japan
  • Subject Heading...m Verification SMT-based Program Verification Mu...

raSAT: SMT for Polynomial Inequality

raSAT: SMT for Polynomial Inequality
Digital規格・テクニカルリポート類
To, Van Khanh, Ogawa, Mizuhito北陸先端科学技術大学院大学情報科学研究科2013-05-27Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-003p.1-23
Other Libraries in Japan
  • Subject Headinginterval arithmetic affine arithmetic SMT polynomial constraints testin...
  • Note (General)...lemented as an SMT raSAT with min......enchmarks from SMT-LIB show that raSAT is compar...

OSEK/VDXアプリケーションのためのモデル検査技術に関する研究

OSEK/VDXアプリケーションのためのモデル検査技術に関する研究
Digital博士論文
Zhang, Haitao2015-09
Available onlineOther Libraries in Japan
  • Subject Heading...model checking SMT sequentialization

組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発

組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発
Digital規格・テクニカルリポート類
山根, 智, Yamane, Satoshi2021-06-18令和2(2020)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2020 Fiscal Year Final Research Report2018-04-01 - 2021-03-31p.6p.-
Other Libraries in Japan
  • Subject Headingソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT Interpolation
  • Note (General)...2)定理証明技術を基礎として，SMT述語抽象化，SMTモデル検査及びSMT Interpolationの......re by refining SMT predicate abstraction, SMT model checking, and SMT interpolation. 研究課題/領域番号:18K1...

多項式制約のためのSMTとその応用

多項式制約のためのSMTとその応用
Digital博士論文
To, Van Khanh2013-06
Available onlineOther Libraries in Japan
  • Subject Heading...ulo Theories - SMT polynomial constraints testin...

革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証

革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証
Digital規格・テクニカルリポート類
山根, 智, Yamane, Satoshi2018-04-25平成29(2017)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2017 Fiscal Year Final Research Report2015-04-01 - 2018-03-31p.4p.-
Other Libraries in Japan
  • Subject Headingソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 ＳＭＴ 定理証明
  • Note (General)...2）抽象化精錬(CEGAR)型ＳＭＴモデル検査手法を開発した．このモデル検査手法はＳＭＴによる述語抽象化、ＳＭＴ有界モデル検査、ＳＭＴによる反例解析器、ＳＭＴソルバによるInterpola......精錬述語の生成からなる．なお、ＳＭＴソルバとして、種々のInter......estimation.(2) SMT model checking......abstraction by SMT, SMT bounded model ......le analyzer by SMT, and refinemen......terpolation by SMT solver. As the SMT solver, Princess of Uppsala U...

Reached to the end of result.

RSS