DSpace Repository

Browsing テクニカルレポート / Technical Report by Title

Browsing テクニカルレポート / Technical Report by Title

Sort by: Order: Results:

  • Oh, Seiwoong; Kado, Daisuke; Taira, Tomohiro; Fujikawa, Kazutoshi; Shimojo, Shinji; Arikawa, Masatoshi; Miyahara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1997-06)
    Currently, most of networked virtual reality systems do not consider the scalability of the system in terms of the network. They assume high speed network among rather small number of distributed users. However, as high ...
  • Amemori, Kenichi; Ishii, Shin (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1998-04)
    In this article, we report a simulation result of unsupervised learning characterized as temporally and spatially local. After the learning, the network preserves an input sequence whose intervals vary in sub-millisecond ...
  • Ohtake, Satoshi; Inoue, Tomoo; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1997-07)
    The test generation problem for a sequential circuit capable of generating tests with combinational test generation complexity can be reduced to that for the combinalional circuit formed by replacing each FF in the sequenlial ...
  • Yamashina, Takanobu; Uwano, Hidetake; Fushida, Kyohei; Kamei, Yasutaka; Nagura, Masataka; Kawaguchi, Shinji; Iida, Hajimu (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2008-03)
    This paper compares the expressive power of five languagebased access control models. We show that the expressive powers are incomparable between any pair of history-based access control, regular stack inspection and shallow ...
  • Sakurai, Yasushi; Yoshikawa, Masatoshi; Kataoka, Ryoji; Uemura, Shunsuke (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2002-05)
    Similarity retrieval mechanisms should utilize generalized quadratic form distance functions as well as the Euclidean distance function since ellipsoid queries parameters may vary with the user and situation. In this paper, ...
  • Adachi, Naotoshi; Kasahara, Shoji; Takahashi, Yutaka (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1998-04)
    The project of interconnecting CATV in Hyogo Prefecture, Japan has started since March, 1998. In this project, there are three CATV companies in Hanshin area; Kobe, Nishinomiya and Amagasaki. An ATM switch is equipped in ...
  • Yoneda, Tomokazu; Imanishi, Masahiro; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2006-09)
    This paper presents a reconfigurable union wrapper that can wrap multiple cores into a single wrapper design. Moreover, we present a test scheduling algorithm to minimize a test application time using the proposed ...
  • Monden, Akito; Nakae, Daikai; Kamiya, Toshihito; Sato, Shin-ichi; Matsumoto, Ken-ichi (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2001-09)
    Existing researches suggest that the code clone (duplicated code) is one of the factors that degrades the design and structure of software and lowers the software quality such as readability and maintainability. However, ...
  • Singh, Virendra; Inoue, Michiko; Saluja, Kewal K.; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2004-09)
    This paper proposes a graph theoretic model based systematic approach for the delay fault testing of pipelined processor cores using their instruction sets. The proposed methodology generates the test vectorsunder the ...
  • Singh, Virendra; Inoue, Michiko; Saluja, Kewal K.; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2003-05)
    Software-based self-testing is a promising approach for the testing of processor cores which are embedded inside a System-on-a-Chip (SoC), as it can apply test vectors in functional mode using its instruction set. This ...
  • Ooi, Chia Yee; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2004-06)
    Based on τk notation, the test generation complexity of several existing classes of sequential circuits has been reconsidered. Some classes of easily testable sequential circuits that cover some cyclic sequential circuits ...
  • Takeda, Hideaki; Nishida, Toyoaki (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1998-04)
    In this paper, we discuss integration of multiple ontologies in a formal way. First, we formalize ontology as combination of logical theories with modality. We introduce two types of integration. Combination aspect connects ...
  • Gizdarski, Emil; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2000-10)
    In this paper we present an efficient and robust test generation algorithm for combinational circuits based on the Boolean satisfiability method called SPIRIT. We elaborate some well-known techniques as well as present ...
  • Gizdarski, Emil; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2000-04)
    In this paper an efficient test pattern generation (TPG) algorithm for combinational circuits is presented. It is based on the Boolean satisfiability (SAT) and single path oriented propagation methods as well as static and ...
  • Tsunoda, Masateru; Matsumura, Tomoko; Iida, Hajimu; Kubo, Kozo; Kusumoto, Shinji; Inoue, Katsuro; Matsumoto, Ken-ichi (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2010-01)
  • Kato, Yuki; Seki, Hiroyuki (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2006-03)
    Several formal grammars have been proposed for modeling RNA secondary structure including substructure called pseudoknot. In this paper, we focus on multiple context-free grammars (MCFGs), which are natural extension of ...
  • Ishida, Yoshiteru (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1995-10)
    We present some results that show the information of sign structure of matrices characterized by signed digraph can reduce computations in interval matrices. With the sign structure of the matrices, vertices of interval ...
  • Ishida, Yoshiteru (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1995-10)
    This note deals with linear interval systems whose parameters in system matrix are expressed by intervals. We formalize the system reasoning about structures of interval systems by the structural perturbation principle: ...
  • Takai, Toshinori; Kaji, Yuichi; Seki, Hiroyuki (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1999-08)
    The authors have proposed a procedure for solving an order-sorted unification problem in an equational theory which is defined by a confluent TRS. The procedure requires an instance of the problem to satisfy that the TRS ...
  • Yokoya, Naokazu (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1994-01)
    This paper describes a method of surface reconstruction from binocular stereo images. The problem addressed is formulated as the minimization of an energy functional that integrates a similarity term and a smoothness term ...

Search DSpace


Advanced Search

Browse

My Account