DSpace Repository

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

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

Sort by: Order: Results:

  • Inoue, Michiko; Nakazato, Masato; Yokoyama, Shinya; Kambe, Kazuko; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2006-08)
    This paper presents a method of test program generation for software-based self-test of pipelined processors. We propose a model of pipelined processors and testability measures for registers. We generate a test program ...
  • Suzuki, Tsuyoshi; Inoue, Michiko; Fujiwara, Hideo (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2009-01)
    We propose an efficient mutual exclusion algorithm with respect to remote memory reference(RMR) complexity that measures remote accesses to shared memory. The worst-case RMR complexity for one access to a critical section ...
  • Chia Yee Ooi; Hideo Fujiwara (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2010-08)
  • Takada, Shingo; Scott, Louise; Brooks, Andy (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1999-02)
    This paper reports on a second pilot experiment for the CADPRO project taking into account a number of the recommendations arising from the first pilot. Three subjects produced data flow diagrams and class diagrams in a ...
  • Brooks, Andy; Scott, Louise; Takada, Shingo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1998-10)
    This paper reports an evaluation of a number of metrics proposed to measure user productivity and product quality in a usability laboratory setting. The examined metrics were found to be unsuitable indicators of productivity ...
  • Imada, Akira; Araki, Keijiro (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1997-08)
    We apply evolutionary computations to Hopfield's neural network model of associative memory. We reported elsewhere that a fully connected neural network with random synaptic weights evolves to create fixed point attractors ...
  • Kume, Izuru; Nitta, Naoya; Takemura, Yasuhiro (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2007-05)
    Project-based training is effective for practical software engineering education. Our goal is to establish a practical training method in software engineering education that is easier to be introduced by higher education ...
  • Morisaki, Shuji; Monden, Akito; Tamada, Haruaki; Matsumura, Tomoko; Matsumoto, Ken-ichi (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2006-11)
    This paper proposes a method to mine rules from software engineering data repositories that contain a number of quantitative attributes such as staff months and SLOC. The proposed method extends conventional association ...
  • Nitta, Naoya; Seki, Hiroyuki (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2003-06)
    In this paper, we present a class of infinite transition systems which is an extension of pushdown systems (PDS), and show that LTL (linear temporal logic) model checking for the class is decidable. Sincthe class is defined ...
  • Gizdarski, Emil; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2001-03)
    In this paper, we present a technique for reducing the test length of the counter-based pseudo-exhaustive built-in self-testing (BIST) using the width compression method and the divide-and-conquer strategy. More formally, ...
  • Kasami, Tadao; Seki, Hiroyuki; Kaji, Yuichi (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1993-12)
    Finite state translation systems (fsts') are a widely studied computational model in the area of tree automata theory. In this paper, the string generating capacities of fsts' and their subclasses are studied. First, it ...
  • Nakagawa, Kokoro; Takata, Yoshiaki; Seki, Hiroyuki (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2000-12)
    A method for supporting document retrieval by constructing a flexible category structure is proposed. In this method, a category structure suitable for retrieval by the user is constructed whenever a query is submitted. ...
  • Morita, Toshiyuki; Ishihara, Yasunori; Ito, Minoru (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1998-06)
    Detecting security flaws is important in order to keep the database secure. A security flaw in object-oriented databases means that a user can infer the result of an unpermitted method only from permitted methods. Although ...
  • Ueoka, Takahiro; Kawamura, Tatsuyuki; Kono, Yasuyuki; Kidode, Masatsugu (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2003-12)
    People tend to forget where they placed an object, which is necessary to achieve a certain task, in their everyday circumstances. To support a user’s object-finding tasks, we have proposed a wearable interface system named ...
  • Masashi Tsuchida; Fukuhito Ooshita; Michiko Inoue (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2018-04)
  • 松村, 知子; 森崎, 修司; 玉田, 春昭; 大杉, 直樹; 門田, 暁人; 松本, 健一 (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2007-03)
  • Nishitani, Hirokazu (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1994-07)
    Systems technology has been changing its targets to meet the needs of the times. This paper discusses human-computer interaction in plant operation from the systems engineering viewpoint. Human-centered automation in the ...
  • Yoneda, Tomokazu; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2002-02)
    This paper introduces a new concept called consecutive testability and proposes a design-for-testability method that makes a given SoC consecutively testable using integer lin-ear programming (ILP). A consecutively testable ...
  • Kawamura, Tatsuyuki; Ueoka, Takahiro; Kiuchi, Yutaka; Kono, Yasuyuki; Kidode, Masatsugu (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2003-12)
    In this paper, we present a useful histogram in order to reduce sensor noise effect and get to similar measures. This histogram is constructed in HSV color space using the probabilistic representation of color distribution. ...
  • Ishida, Yoshiteru (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1995-10)
    The self-organizing diagnosis has been studied by applying the idea of autonomous and decentralized systems extracted from the concept of immune network. The model implements network-level recognition by connecting information ...

Search DSpace


Advanced Search

Browse

My Account