Computer Software
Print ISSN : 0289-6540
Search
OR
Browse
Search
Volume 30 , Issue 1
Showing 1-22 articles out of 22 articles from the selected issue
    • |<
    • <
    • 1
    • >
    • >|
  • [in Japanese]
    Volume 30 (2013) Issue 1 Pages 1_1
    Released: March 25, 2013
    JOURNALS FREE ACCESS
    Download PDF (19K)
  • Munehiro TAKIMOTO
    Volume 30 (2013) Issue 1 Pages 1_2
    Released: March 25, 2013
    JOURNALS FREE ACCESS
    Download PDF (20K)
  • Fumio TERAOKA
    Volume 30 (2013) Issue 1 Pages 1_3-1_8
    Released: March 25, 2013
    JOURNALS FREE ACCESS
    Download PDF (74K)
  • Yu SUZUKI
    Volume 30 (2013) Issue 1 Pages 1_9-1_15
    Released: March 25, 2013
    JOURNALS FREE ACCESS
    Download PDF (189K)
  • Naoyuki TAMURA, Mutsunori BANBARA, Katsutoshi HIRAYAMA, Takehide SOH
    Volume 30 (2013) Issue 1 Pages 1_16-1_19
    Released: March 25, 2013
    JOURNALS FREE ACCESS
    Download PDF (132K)
  • Satoshi NAKAMURA
    Volume 30 (2013) Issue 1 Pages 1_20-1_25
    Released: March 25, 2013
    JOURNALS FREE ACCESS
    Download PDF (243K)
  • Norihisa DOI
    Volume 30 (2013) Issue 1 Pages 1_26-1_33
    Released: March 25, 2013
    JOURNALS FREE ACCESS
    Download PDF (79K)
  • Makoto YOKOO, Atsushi IWASAKI, Yuko SAKURAI, Yoshio OKAMOTO
    Volume 30 (2013) Issue 1 Pages 1_34-1_52
    Released: March 25, 2013
    JOURNALS FREE ACCESS
    This tutorial focuses on designing a mechanism that achieves a socially desirable outcome or a goal of the designer that arises from some practical demands, as several advanced topics on mechanism design theory. We first briefly explains the theory of combinatorial auctions via the most well-known Vickrey-Clarke-Groves mechanism. Second, as an example that designs a new mechanism for a practical demand, we introduce false-name bids and illustrate how we improve a trivial robust mechanism against false-name bids. Furthermore, we explore models and several theoretical results on mechanisms of a keyword auction and a two-sided matching as other well-known topics of mechanism design theory.
    View full abstract
    Download PDF (357K)
  • Hironori TAKEUCHI, Taiga NAKAMURA, Shiho OGINO, Ken MIZUNO, Futoshi IW ...
    Volume 30 (2013) Issue 1 Pages 1_53-1_64
    Released: March 25, 2013
    JOURNALS FREE ACCESS
    In software development projects, document artifacts have an important role as a form of communication. As a result, many documents are prepared and updated frequently in a large software system development project. In such a situation, it is difficult to analyze and review many documents manually. Recently, there are many researches for analyzing document artifacts by applying technologies such as document structure analysis, string analysis and natural language processing. In this paper, we review the works on document artifact analyisis technologies and their applications.
    View full abstract
    Download PDF (537K)
  • Hiromi NAKAMURA, Homei MIYASHITA
    Volume 30 (2013) Issue 1 Pages 1_65-1_75
    Released: March 25, 2013
    JOURNALS FREE ACCESS
    Research area of eating and cooking activities include sharing, analysis, helping about cooking, health assistance of eating, analysis of communication about eating with other people and measuring and outputting information of taste. Among them, various technologies of outputting about information of taste are proposed. In this thesis, we surveyed outputting information of taste utilizing information technology and computer science. We classified these output system of taste information according type of direct output to our sensor organ and indirectness output. In addition, we discussed about the wave of the future of these system and research and contribution of these methodology for eating and cooking activities.
    View full abstract
    Download PDF (1103K)
  • [in Japanese]
    Volume 30 (2013) Issue 1 Pages 1_76-1_84
    Released: March 25, 2013
    JOURNALS FREE ACCESS
    Due to available of large FPGAs, FPGAs are used for implementing not only simple hardware logics, but also complicated algorithms. By the reason, FPGAs are pointed out as execution platforms of program. Although RLT design is widely used for development hardware logic on FPGA, the RTL design for a complicated algorithm is an inconvenient and time-consuming approach. Therefore, high-level synthesis languages (HLSLs) are desired to design hardware in a higher abstraction level than RTL. HLSLs are needed to ease hardware design, to decrease verification, and to exploit the performance of the FPGA. This paper surveys HLSLs and high-level synthesizers.
    View full abstract
    Download PDF (107K)
  • Kiyoshi AGUSA
    Volume 30 (2013) Issue 1 Pages 1_93
    Released: March 25, 2013
    JOURNALS FREE ACCESS
    Download PDF (19K)
  • Masaki MATSUBARA, Satoru FUKAYAMA, Kenta OKUMURA, Keiko TERAMURA, Hide ...
    Volume 30 (2013) Issue 1 Pages 1_101-1_118
    Released: March 05, 2013
    JOURNALS FREE ACCESS
    In this paper, we present a survey of automatic music generation systems from the viewpoint of creative process framework. According to Shneiderman's framework, a creative process consists of four phases: Collect, Relate, Create, and Donate. Regarding a system, a user, and a system designer as a total system, we investigate which of them achieves each of the four phases and how in existing music generation systems, especially music composition, arrangement, and performance rendering systems. Our investigation shows common and different parts in the four phases among the systems, which implied a direction to future music generation studies.
    View full abstract
    Download PDF (270K)
  • Yutaka MATSUBARA, Hiroaki TAKADA
    Volume 30 (2013) Issue 1 Pages 1_119-1_129
    Released: March 05, 2013
    JOURNALS FREE ACCESS
    For ensuring safety of an embedded system, it is required to demonstrate that the system has sufficient safety measures to mitigate hazardous failures identified by safety analysis. Developers of safety-critical embedded systems need a guideline and criterion to appropriately choice safety measures for products certification based on international functional safety standards. Although many safety measures for software faults have been researched, definitions of terminology and its taxonomy have not been established because each measure has been developed separately. Based on the automotive functional safety standard ISO 26262, this paper presents a guideline for safety design and choice of safety measures for software faults, and taxonomy of safety mechanisms.
    View full abstract
    Download PDF (296K)
  • Hidekaki FUJII, Hiroshi HARAGUCHI, Makoto HIJIYA, Takahiro IWASE, Mich ...
    Volume 30 (2013) Issue 1 Pages 1_130-1_151
    Released: March 05, 2013
    JOURNALS FREE ACCESS
    Expectations for and interests in making strategic use of large-scale dataset called big data have been increasing in recent years. This paper provides a comprehensive review of studies on basic software technologies for storing and parallel processing big data. We also try to give a big picture of big data technologies and discuss technical and social trends in the future.
    View full abstract
    Download PDF (1065K)
  • Takashi KOGA, Katsuhiko SANO, Satoshi TOJO
    Volume 30 (2013) Issue 1 Pages 1_152-1_163
    Released: March 05, 2013
    JOURNALS FREE ACCESS
    In this paper, we present an interval tense logic with the inclusion modality, together with the precedence modality. We show that our interval tense logics are decidable. We also investigate the fundamental features of logic to represent realistic temporal intervals, and among them we propose the notion of embeddability of a frame into the time axis, by which all the intervals are mapped into the time axis. Although the class of embeddable frames is not modally definable, we show a decision procedure whether given finite frames are embeddable.
    View full abstract
    Download PDF (229K)
  • Chihiro HAYASHI, Masataka NAGURA, Shingo TAKADA
    Volume 30 (2013) Issue 1 Pages 1_164-1_179
    Released: March 05, 2013
    JOURNALS FREE ACCESS
    Roundtrip engineering is an approach where models and source code are refined by iteratively conducting forward and reverse engineering. It enables more efficient development of software, e.g. through reducing development time, and is especially said to be effective for applications that have frequent changes in requirements, such as Web applications. Imazeki, et al., have proposed an approach for realizing roundtrip engineering for Web applications. However, current roundtrip engineering approaches and tools cannot handle Ajax applications. The main reason for this is the main characteristic of Ajax, which is the asynchronous processing between clients and server. We propose an approach that realizes roundtrip engineering for Ajax applications. Our approach is implemented on top of a roundtrip engineering tool for Web applications proposed by Imazeki. We show a case study as well as an experimental result to show the effectiveness of our tool. The experimental result showed that our tool was able to reduce the time to conduct a maintenance task by 25%.
    View full abstract
    Download PDF (2266K)
  • Kanae TSUSHIMA, Kenichi ASAI
    Volume 30 (2013) Issue 1 Pages 1_180-1_186
    Released: March 05, 2013
    JOURNALS FREE ACCESS
    This paper presents how to build a type debugger without reimplementing a type inference engine. Previous type debuggers required their own type inference engines apart from the compiler's built-in engine. The advantage of our approach is threefold. First, by not reimplementing it, it is guaranteed that the debugger's type inference never disagree with the compiler's type inference. Secondly, we can avoid the pointless reproduction of a type inference engine that should work precisely as the compiler's type inference engine. Such a reproduction would be a cumbersome and error-prone task for a full-fledged language. Thirdly, our approach is robust to updates of the underlying language. In this article, we will describe how our technique is applied to the simply-typed lambda calculus and let-polymorphism, and report on the prototype type debugger for OCaml.
    View full abstract
    Download PDF (123K)
  • Masaki MATOBA, Takahito AOTO, Yoshihito TOYAMA
    Volume 30 (2013) Issue 1 Pages 1_187-1_202
    Released: March 05, 2013
    JOURNALS FREE ACCESS
    Commutativity is a generalization of confluence. Furthermore, decompositions of term rewriting systems based on the commutativity is useful to prove confluence of term rewriting systems. Several methods for showing commutativity of term rewriting systems are known, where all of them are based on conditions imposed from critical pairs analysis. Apart from this, a sufficient condition of commutativity based on decreasing diagrams has been studied in the framework of abstract rewriting. Decreasing diagrams, however, have not been applied for proving commutativity of term rewriting systems. In this paper, we introduce one side decreasing diagrams, and give a method to prove commutativity of term rewriting systems based on one side decreasing diagrams.
    View full abstract
    Download PDF (225K)
  • Ryo KAWAHARA, Hirotsugu OKABAYASHI, Kenji HISAZUMI, Kouichi ONO, Takeo ...
    Volume 30 (2013) Issue 1 Pages 1_203-1_210
    Released: March 05, 2013
    JOURNALS FREE ACCESS
    We propose a modeling method used in design space exploration of architectures of embedded systems. Modeling cost for performance evaluation tends to be too high for an architect to evaluate many architecture alternatives. Our method exploits a UML-based model transformation from an architecture expression to a simulation model to reduce the cost. A case study reveals that our method reduces the cost by more than a factor of 1/3 from that of manual modeling.
    View full abstract
    Download PDF (343K)
  • Tomoya TANJO, Naoyuki TAMURA, Mutsunori BANBARA
    Volume 30 (2013) Issue 1 Pages 1_211-1_230
    Released: March 05, 2013
    JOURNALS FREE ACCESS
    This paper proposes a new SAT encoding method, named compact order encoding, which encodes arithmetic constraints used in Constraint Satisfaction Problems on finite integer domains. The basic idea of the compact order encoding is the use of a numeral system of some base B ≥ 2 to represent integer variables, and each digit of variables is encoded by using the order encoding. It is equivalent the log encoding when B = 2, and it is equivalent to the order encoding when B is larger than the domain size of integer variables. Therefore, it can be seen as a generalization of the log and order encodings. We confirmed that the compact order encoding is applicable to wide range of problems from small-scale (where domain size of variables is less than 102) to large-scale (where domain size of variables is about 107), and shows better performance than log encoding, order encoding, and existing constraint solvers through experimental comparisons on Open- Shop Scheduling and Graph Coloring which are typical constraint satisfaction problems. From those results, although further comprehensive experiments will be necessary for selecting base B, it can be said that the compact order encoding is one of the effective SAT encodings at the current moment applicable to wide range of problems in various scales.
    View full abstract
    Download PDF (268K)
  • Tomoyuki HAYASHI, Seiji UMATANI, Masahiro YASUGI, Taiichi YUASA
    Volume 30 (2013) Issue 1 Pages 1_231-1_256
    Released: March 05, 2013
    JOURNALS FREE ACCESS
    We designed and implemented a Lisp environment called LESA for interactive development of distributed applications. LESA is based on Safe Ambients, a process algebra that has the notion of locations called ambients. By introducing ambients, LESA makes it easy to construct distributed applications hierarchically and view their structures. Furthermore, we enhanced the interactive environment of Lisp to fit the computation model of Safe Ambients. Using this, for instance, multiple users can develop distributed applications cooperatively by connecting their environments with each other. Users can also develop applications progressively and interactively by representing their functions as processes and then adding them into the initial ambient (home ambient) in a series of small steps. Moreover, LESA has GUI that displays the hierarchical structure of the whole ambient at runtime.
    View full abstract
    Download PDF (480K)
    • |<
    • <
    • 1
    • >
    • >|
feedback
Top