DSpace Repository

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

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

Sort by: Order: Results:

  • Ooi, Chia Yee; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2004-01)
    Several classes of sequential circuits with combinational test generation complexity have been introduced. However, no general notation is used to define the time complexity of test generation. In this paper, we introduce ...
  • Takata, Yoshiaki; Seki, Hiroyuki (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2008-07)
    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 ...
  • Kasami, Tadao; Koumoto, Takuya (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1998-07)
    Sufficient conditions on the optimality of a candidate codeword, which is generated in an iterative soft-decision decoding algorithm for block codes, have been derived based on (1) partial knowledge of the distance profile ...
  • Kwon, Yeon-Dae; Ishihara, Yasunori; Shimizu, Shougo; Ito, Minoru (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2000-02)
    Data mining is to analyze all the data in a huge database and to obtain useful information for database users. One of the well-studied problems in data mining is the search for meaningful association rules in a market ...
  • Nishitani, Hirokazu (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1994-07)
    Plant operation involves a high degree of interdependence between process equipment control systems and human operators. Nowadays, flexible production in the process industry is greatiy owing to the operator's control ...
  • Iida, Ryu; Miyamoto, Edoson T. (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2002-11)
  • Yokoya, Naokazu (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1994-08)
    This paper describes a method of establishing dense matching of two views with large displacements. The problem addressed is formulated as the minimization of an energy functional that combines a similarity term and a ...
  • Tamada, Haruaki; Okamoto, Keiji; Nakamura, Masahide; Monden, Akito; Matsumoto, Ken-ichi (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2007-05)
    This paper presents a technique of dynamic software birthmarks to support efficient detection of software theft. A dynamic birthmark f(p,I) is a set of unique and native characteristics of a program p, obtained by executing ...
  • Yoneda, Tomokazu; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2002-07)
    This paper presents a design-for-consecutive-transparency method that makes a core (RTL circuit) consecutively transparent using integer linear program-ming. Consecutive transparency of a core guarantees consecutive ...
  • Yoshikawa, Yuki; Ohtake, Satoshi; Inoue, Michiko; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2005-08)
    This paper introduces a new concept of hierarchical testability called Single-Port-Change (SPC) two-pattern testability. We propose a non-scan design-for-testability (DFT) method which makes each path that needs to be ...
  • Iwagaki, Tsuyoshi; Ohtake, Satoshi; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2003-09)
    This paper proposes a non-scan testing scheme to enhance delay fault testability of controllers. In this scheme, the original behavior of a given controller is used in test application, and the faults which cannot be ...
  • Tamada, Haruaki; Nakamura, Masahide; Monden, Akito; Matsumoto, Ken-ichi (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2003-11)
    To support the efficient detection of theft of Java class files, this paper presents a new method to derive birthmarks from given Java class files. The proposed method extracts from a class file a set of unique characteristics, ...
  • Kenji Hashimoto; Ryuta Sawada; Yasunori Ishihara; Hiroyuki Seki; Toru Fujiwara (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2012-11)
  • Yoneda, Tomokazu; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2001-05)
    This paper proposes a new methodology for testing a core-based systems-on-a-chip (SoC) based on a new concept of testability called consecutive testability. In the proposed method, test sequence of a core embedded deep in ...
  • Nitta, Naoya; Ikada, Satoshi; Takata, Yoshiaki; Seki, Hiroyuki (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2001-03)
    Java development kit 1.2 provides a runtime access control mechanism which inspects a control stack to examine whether the program has appropriate access permissions. For such a programming language, it is desirable to ...
  • Itaya, Natsuki; Kasahara, Shoji (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2003-04)
    With the extensive spread of the Internet and mobile terminals, the Internet access from a mobile terminal becomes more important than ever before. In the Internet, Transmission Control Protocol (TCP) is used as a standard ...
  • 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 ...

Search DSpace


Advanced Search

Browse

My Account