DSpace Repository
テクニカルレポート / Technical Report
日本語
English
DSpace Home
→
学術リポジトリ naistar / NAIST Academic Repository naistar
→
テクニカルレポート / Technical Report
JavaScript is disabled for your browser. Some features of this site may not work without it.
テクニカルレポート / Technical Report
Browse by
By Issue Date
Authors
Titles
Subjects
By Submit Date
Search within this collection:
情報科学研究科の Information Science Technical Report を公開しています。
Recent Submissions
Gathering of Mobile Agents in Asynchronous Byzantine Environments with Authenticated Whiteboards
Tsuchida, Masashi
;
Ooshita, Fukuhito
;
Inoue, Michiko
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2018-04
)
Byzantine gathering in networks with authenticated whiteboards
Tsuchida, Masashi
;
Ooshita, Fukuhito
;
Inoue, Michiko
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2016-12
)
Automatic Approach to Prepare Information for Constructing an Assurance Case
Chindamaikul, Khana
;
Takai, Toshinori
;
Port, Daniel
;
Iida, Hajimu
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2014-12
)
A Silent Self-Stabilizing Algorithm for 1-Maximal Matching in Anonymous Networks
麻田優真
;
井上美智子
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2014-10
)
ソフトウェア委託開発プロジェクトの超上流工程における非機能要件評価に関する研究
齊藤, 康廣
;
門田, 暁人
;
松本, 健一
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2013-01
)
An Approach to RTL False Path Mapping Using Uniqueness of Paths
Iwata, Hiroshi
;
Ohtake, Satoshi
;
Fujiwara, Hideo
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2009-09
)
Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers
Hashimoto, Kenji
;
Sawada, Ryuta
;
Ishihara, Yasunori
;
Seki, Hiroyuki
;
Fujiwara, Toru
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2012-11
)
構成管理ツールおよびその運用手順に関するリスク分析とアシュアランスケースの記述事例
高井, 利憲
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2012-06
)
Proceedings of the International Workshop on Empirical Software Engineering in Practice 2011 (IWESEP 2011)
Kamei, Yasutaka
;
Adams, Bram
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2011-11
)
ソフトウェア開発の要求品質の向上のためのユーザ・ベンダ間のコミュニケーションの計測方法と計測例
松村, 知子
;
吉田, 誠
;
井手, 直子
;
森崎, 修司
;
戸田, 航史
;
松本, 健一
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2011-05
)
ソフトウェアエンジニアリングリポジトリを対象とした 例外ルール抽出
森崎, 修司
;
門田, 暁人
;
松本, 健一
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2011-02
)
Proceedings of the International Workshop on Empirical Software Engineering in Practice 2010 (IWESEP 2010)
Ihara, Akinori
;
Ishio, Takashi
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2010-12
)
Enhanced Functional Fault Model for Micro Operation Faults
Ooi, Chia Yee
;
Fujiwara, Hideo
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2010-08
)
Chomsky-Schutzenberger-Type Characterization of Multiple Context-Free Languages
Yoshinaka, Ryo
;
Kaji, Yuichi
;
Seki, Hiroyuki
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2010-04
)
Automatic Generation of History-Based Access Control from Information Flow Specification
Takata, Yoshiaki
;
Seki, Hiroyuki
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2010-04
)
Standardizing the Software Tag in Japan for Transparency of Development
Tsunoda, Masateru
;
Matsumura, Tomoko
;
Iida, Hajimu
;
Kubo, Kozo
;
Kusumoto, Shinji
;
Inoue, Katsuro
;
Matsumoto, Ken-ichi
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2010-01
)
実行系列差分攻撃によるプログラムの耐タンパー性評価
山内, 寛己
;
門田, 暁人
;
松本, 健一
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2009-12
)
ユーザとベンダ間の協調による要求品質確保のための定量化事例
松村, 知子
;
松本, 健一
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2009-11
)
オフショア開発におけるユーザ・ ベンダ間コミュニケーション情報の分析による仕様伝達の評価
松村, 知子
;
大平, 雅雄
;
森崎, 修司
;
松本,健一
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2009-10
)
Bypassed Alignment Graph for Learning Coordination inJapanese Sentences: Supplementary Material
Okuma, Hideharu
;
Hara, Kazuo
;
Shimbo, Masashi
;
Matsumoto, Yuji
(
奈良先端科学技術大学院大学Nara Institute of Science and Technology
,
2009-07
)
View more
Search DSpace
Search DSpace
This Collection
Advanced Search
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
By Submit Date
This Collection
By Issue Date
Authors
Titles
Subjects
By Submit Date
My Account
Login
Register
Discover
Author
Fujiwara, Hideo (36)
松本, 健一 (16)
Kasahara, Shoji (14)
Seki, Hiroyuki (14)
松村, 知子 (12)
森崎, 修司 (12)
門田, 暁人 (12)
Ohtake, Satoshi (10)
Inoue, Michiko (9)
玉田, 春昭 (8)
... View More
Subject
system-on-a-chip (2)
test access mechanism (2)
test scheduling (2)
API calls (1)
consecutive testability (1)
cooptimization (1)
copyright protection (1)
design for testability (1)
dynamic analysis (1)
pipeline processor (1)
... View More
Date Issued
2010 - 2018 (15)
2000 - 2009 (111)
1993 - 1999 (46)
Has File(s)
No (172)
RSS Feeds
RSS 1.0
RSS 2.0
Atom