Jump to main content

yr 〜
yr

Search results 446

北陸先端科学技術大学院大学　共有計算サーバ使用成果報告2014

北陸先端科学技術大学院大学　共有計算サーバ使用成果報告2014
Digital文書・図像類
宮下, 夏苗, 井口, 寧北陸先端科学技術大学院大学情報科学研究科2015-08-26Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2015-001p.1-47
Other Libraries in Japan

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering
Digital文書・図像類
Defago, Xavier, Potop-Butucaru, Maria Gradinariu, Stephane Messika, Julien Clement, Raipin-Parvedy, Philippe北陸先端科学技術大学院大学情報科学研究科2015-02-20Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2015-003p.1-24
Other Libraries in Japan

Generic Proof Scores for Generate & Check Method in CafeOBJ

Generic Proof Scores for Generate & Check Method in CafeOBJ
Digital文書・図像類
Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2015-02-18Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2015-002p.1-32
Other Libraries in Japan

Formal Semantics of Core SQL Language based on the K Framework

Formal Semantics of Core SQL Language based on the K Framework
Digital文書・図像類
Sitthisak, Pakakorn北陸先端科学技術大学院大学情報科学研究科2015-02-17Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2015-001p.1-71
Other Libraries in Japan

Sufficient completeness of parameterized specifications in CafeOBJ

Sufficient completeness of parameterized specifications in CafeOBJ
Digital文書・図像類
Nakamura, Masaki, Gaina, Daniel, Ogata, Kazuhiro, Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2014-12-15Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-005p.1-4
Other Libraries in Japan

北陸先端科学技術大学院大学　共有計算サーバ使用成果報告2013

北陸先端科学技術大学院大学　共有計算サーバ使用成果報告2013
Digital文書・図像類
佐藤, 幸紀, 宮下, 夏苗, 尾崎, 泰助北陸先端科学技術大学院大学情報科学研究科2014-07-24Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2014-001p.1-58
Other Libraries in Japan

Tight Bound on Mobile Byzantine Agreement

Tight Bound on Mobile Byzantine Agreement
Digital文書・図像類
Nguyen, Thanh Dang, Bonnet, Francois, Defago, Xavier, Potop-Butucaru, Maria北陸先端科学技術大学院大学情報科学研究科2014-07-29Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-004p.1-19
Other Libraries in Japan

Pushdown Model Generation of Malware

Pushdown Model Generation of Malware
Digital文書・図像類
Nguyen, Minh Hai, Ogawa, Mizuhito, Quan, Thanh Tho北陸先端科学技術大学院大学情報科学研究科2014-06-24Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-003p.1-18
Other Libraries in Japan

Analyzing the Impact of Mitigation Strategies on the Spread of a Virus

Analyzing the Impact of Mitigation Strategies on the Spread of a Virus
Digital文書・図像類
Nguyen, Thanh Dang, Bonnet, Francois, Defago, Xavier北陸先端科学技術大学院大学情報科学研究科2014-05-19Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-002p.1-16
Other Libraries in Japan

Model Checking Conformance of Design Model to Its Formal Specification

Model Checking Conformance of Design Model to Its Formal Specification
Digital文書・図像類
Vu, Dieu-Huong, Chiba, Yuki, Yatake, Kenro, Aoki, Toshiaki北陸先端科学技術大学院大学情報科学研究科2014-04-18Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-001p.1-18
Other Libraries in Japan

Generate & Check Methods for Invariant Verification in CafeOBJ

Generate & Check Methods for Invariant Verification in CafeOBJ
Digital文書・図像類
Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2013-11-27Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-006p.1-31
Other Libraries in Japan

Well-Structured Pushdown Systems, Part 2: On Reachability of Dense Timed Pushdown Automata

Well-Structured Pushdown Systems, Part 2: On Reachability of Dense Timed Pushdown Automata
Digital文書・図像類
Ogawa, Mizuhito, Cai, Xiaojuan北陸先端科学技術大学院大学情報科学研究科2013-08-19Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-005p.1-18
Other Libraries in Japan

北陸先端科学技術大学院大学　共有計算サーバ使用成果報告2012

北陸先端科学技術大学院大学　共有計算サーバ使用成果報告2012
Digital文書・図像類
佐藤, 幸紀, 尾崎, 泰助北陸先端科学技術大学院大学情報科学研究科2013-07-25Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2013-001p.1-58
Other Libraries in Japan

Nested Timed Automata

Nested Timed Automata
Digital文書・図像類
Li, Guoqiang, Cai, Xiaojuan, Ogawa, Mizuhito, Yuen, Shoji北陸先端科学技術大学院大学情報科学研究科2013-06-11Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-004p.1-20
Other Libraries in Japan

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

Using Shallow Semantic Parsing and Relation Extraction for Finding Contradiction in Text

Using Shallow Semantic Parsing and Relation Extraction for Finding Contradiction in Text
Digital文書・図像類
Pham, Minh Quang Nhat, Nguyen, Minh Le, Shimazu, Akira北陸先端科学技術大学院大学情報科学研究科2013-01-18Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-002p.1-10
Other Libraries in Japan

Modeling and Analyzing the Impact of Software Fault Tolerance Techniques on the Reliability of Component-based Systems

Modeling and Analyzing the Impact of Software Fault Tolerance Techniques on the Reliability of Component-based Systems
Digital文書・図像類
Pham, Thanh-Trung, Defago, Xavier北陸先端科学技術大学院大学情報科学研究科2013-01-25Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-003p.1-12
Other Libraries in Japan

Well-Structured Pushdown Systems, Part 1: Decidable Classes for Coverability

Well-Structured Pushdown Systems, Part 1: Decidable Classes for Coverability
Digital文書・図像類
Cai, Xiaojuan, Ogawa, Mizuhito北陸先端科学技術大学院大学情報科学研究科2013-01-08Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-001p.1-19
Other Libraries in Japan

A Formal Framework for Access Rights Analysis

A Formal Framework for Access Rights Analysis
Digital文書・図像類
Li, Xin, Hua, Vy Le Thanh北陸先端科学技術大学院大学情報科学研究科2012-09-11Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2012-001p.1-17
Other Libraries in Japan

北陸先端科学技術大学院大学　共有計算サーバ使用成果報告2011

北陸先端科学技術大学院大学　共有計算サーバ使用成果報告2011
Digital文書・図像類
佐藤, 幸紀, 尾崎, 泰助北陸先端科学技術大学院大学情報科学研究科2012-07-03Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2012-001p.1-73
Other Libraries in Japan
RSS