著者

Akihiko Yokoyama Sosuke Moriguchi Takuo Watanabe

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.29, pp.685-706, 2021 (Released:2021-10-15)

参考文献数

32

被引用文献数

1

---

We introduce a new type system to Emfrp, a functional reactive programming (FRP) language designed for resource-constrained embedded systems. Functional reactive programming is a programming paradigm that allows concise descriptions of reactive systems such as GUIs by combining time-varying values that express values changing over time. Emfrp is a domain-specific language based on FRP, designed and developed for small-scale embedded systems. Because the language can statically determine the amount of runtime memory and guarantee the termination of reactive actions, a program written in Emfrp can safely continue reactive behaviors in resource-constrained environments. To ensure these properties, Emfrp disallows the use of recursive data types and functions. However, such restrictions often impose unnatural representations of data structures like lists or trees. The declarative characteristic of FRP and these restrictions impel us to write poorly maintainable redundant codes or deter us from writing certain types of programs. In this paper, we propose EmfrpBCT, an extended Emfrp with size-annotated recursive data types, to overcome this problem. The proposed system is more expressive than Emfrp, yet, it retains the aforementioned static properties. After explaining that through examples, we describe the features of EmfrpBCT, formalize the language, present an algorithm for statically computing the runtime memory bounds, and prove its soundness. Moreover, we implemented a compiler from EmfrpBCT to C, measured the translation time, and evaluated runtime overhead.

著者

Masaharu Imai Yoshinori Takeuchi Keishi Sakanushi Nagisa Ishiura

出版者

Information Processing Society of Japan

雑誌

IPSJ Transactions on System and LSI Design Methodology (ISSN:18826687)

巻号頁・発行日

vol.3, pp.161-178, 2010 (Released:2010-08-16)

参考文献数

43

被引用文献数

3 6

---

This paper introduces the concept and technology of Application-domain Specific Instruction-set Processor (ASIP). First, VLSI design trend over the decades is overviewed and processors are shown to be expected one of the main components in the System Level Design. Then, the advantage of ASIP over General Purpose Processor (GPP) and Application Specific Integrated Circuit (ASIC) is illustrated. Next, processor hardware description synthesis technology, application program development tool set generation technology, and processor architecture optimization technology are outlined. Then, as an ASIP development environment example, ASIP Meister is explained. Next, an application of ASIP to medical and healthcare is introduced. Finally, the possibility of ASIP as an important component of Multi Processor SoC (MPSoC) is discussed.

著者

Xuping Huang Shunsuke Mochizuki Akira Fujita Katsunari Yoshioka

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.31, pp.165-173, 2023 (Released:2023-03-15)

参考文献数

25

被引用文献数

1

---

In recent years, malware-infected devices, such as Mirai, have been used to conduct impactful attacks like massive DDoS attacks. Internet Service Providers (ISPs) respond by sending security notifications to infected users, instructing them to remove the malware; however, there are no approaches to quantify or simulate the performance and effectiveness of the notification activities. In this paper, we propose a model of security notification by ISPs. In the proposed model, we simulate the security notification with composite parameters, indicating the nature of malware attacks such as persistence of malware, user response ratio, and notification efforts by ISPs, and then discuss their effectiveness. Moreover, we conduct a simulation based on the actual attack.

著者

Yuma Nishizu Tetsuo Kamina

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.30, pp.505-512, 2022 (Released:2022-08-15)

参考文献数

15

被引用文献数

3

---

Micro frontends are an emerging architectural style that involves combining independently created frontend applications to develop a larger application. In JavaScript, the high modularity required for micro frontends can be achieved using the Web Components API, but passing data between components requires the use of event mechanisms and their corresponding callback functions, which make the code difficult to understand. In this paper, we propose using signals in reactive programming (RP) as an API to solve this problem and enable declarative dataflow, as well as maintain high modularity. To demonstrate the effectiveness of the proposed approach, we have developed a JavaScript extension that can express the web components themselves as signals and used it to implement a simple single-page application (SPA), which is then compared with the implementation using the Web Components API. We have also conducted a similar implementation in the existing reactive frontend application framework called React and argue that the implementation using signals has better modularity.

著者

Hiromichi Kanaoka Takuya Yoshihiro

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.23, no.2, pp.221-228, 2015 (Released:2015-03-15)

参考文献数

16

---

WMNs (Wireless Mesh Networks) using IEEE 802.11 have been deeply studied to extend the area of coverage of the Internet. A typical approach to implement this kind of WMNs is to use dynamic metrics (e.g., ETX) over link-state routing protocols (e.g., OLSR). Although studies have demonstrated clarified that the approach performs well, there is still room for improve. In this paper, we first point out that the dynamic metrics by nature cannot pursuit rapid change in link quality, which prevents routing protocols to choose the best forwarding paths at every moment. To complement this drawback of the dynamic metric, we propose a local switching mechanism of forwarding channels for multi-radio, multi-channel WMNs, which works in combination with dynamic metrics. Our evaluation showed that the proposed method improves throughput and stability of communications when it works with dynamic metrics.

著者

Kosei Masumura Takashi Hoshino Hideyuki Kawashima

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.30, pp.552-561, 2022 (Released:2022-08-15)

参考文献数

50

被引用文献数

2

---

We attempted to improve the performance of Silo, a concurrency control protocol for in-memory database management system that does not perform efficiently under high-contention workloads. Adaptive backoff is known as an effective optimization method under high-contention workloads. As a result of analysis, we found that its efficacy lies in the elimination of unknown conflicting events rather than in the reduction of re-conflicting events already known, which has been considered so far. On the basis of this analysis, we propose a new method, the thread activity management method (TAM). We conducted experiments comparing Cicada, the state of the art concurrency control protocol, and Silo with our proposed method. The results demonstrated that the proposed method enabled Silo to significantly outperform Cicada. We found that cache misses are vitally relevant to performance.

著者

Takato Hideshima Shigeyuki Sato Kenjiro Taura

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.30, pp.464-475, 2022 (Released:2022-06-15)

参考文献数

31

---

Page-based distributed shared memory (PDSM) is a programming environment on distributed-memory computers that allows to freely allocate shared regions in the virtual address space accessible from any computer. It hides distributed physical memory from programmers and enables shared-memory programming over the uniform virtual address space. PDSM systems are typically equipped with coherent cache to improve performance while hiding communication, but the management cost is considered implementation details and is complex and implicit. Consequently, it is easy to fail in gaining speedup, and it is difficult to perform cost-aware programming to solve it. In this study, we explore cost-aware programming for ArgoDSM, a state-of-the-art PDSM. Particularly, based on the observation that there are three effective measures for reducing PDSM-derived costs: 1) informing PDSM of changes in access patterns to shared regions, 2) inspecting the data to be placed in shared regions, and 3) performing writes with an awareness of the original owner of the shared region, we extend the ArgoDSM with APIs to help in these measures. We performed cost-aware programming on the extended ArgoDSM for benchmark programs, and experimentally showed that PDSM-derived costs can be significantly reduced. The proposed programming measures significantly improve the situation, where the performance is below the sequential performance, and allows to benefit from the scalability of distributed-memory computers under the high-level abstraction of PDSM.

著者

Hiroki Nishino Ryohei Nakatsu

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.24, no.3, pp.483-491, 2016 (Released:2016-05-15)

参考文献数

20

---

This paper describes how the short-term Fourier transform (STFT) and inverse short-term Fourier transform (ISTFT) are integrated within the sound synthesis framework of LC, a new computer music programming language, which the authors prototyped, and discusses its benefits for computer music programming. In addition to the traditional unit-generator-based sound synthesis framework, LC provides a framework for microsound synthesis, which is highly independent from the unit-generator concept, and STFT and ISTFT can be also performed within the same framework. While the unit-analyzer concept in the ChucK audio programming language shows a certain degree of similarity to LC's programming model for STFT and ISTFT, in that both languages allow direct access to low-level spectral data from user programs, due to the dependence on the unit-generator-based sound synthesis framework, a ChucK program that utilizes unit analyzers can exhibit unnecessary complexity in its implementation, when the hop sizes differ among the STFT frames in the program. On the other hand, thanks to the high independence from the unit-generator concept, LC's microsound synthesis framework can provide a simpler and terser programming model and avoid such unnecessary complications. As other unit-generator languages can also exhibit similar problems as seen in ChucK's unit analyzers, depending on its sound synthesis framework design, such a language design of LC would be beneficial, not just as a design exemplar for next generation computer music languages, but also to reconsider the design of existing unit-generator languages on such issues regarding how STFT should be integrated in a unit-generator language and whether unit-generators should fully synchronize the audio computation with the advance of global system time.

著者

Takafumi Okukubo Yoshiaki Bando Masaki Onishi

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.30, pp.42-51, 2022 (Released:2022-01-15)

参考文献数

36

被引用文献数

1

---

This paper presents a statistical method combined with a neural network for efficient traffic prediction from a limited amount of training data. The traffic prediction during a large-scale event is essential to maintain the safety of event participants. The conventional methods for predicting traffic time series, however, cannot be utilized because the rare nature of the large-scale events prevents us from preparing a sufficient amount of training data. To efficiently train traffic prediction from a limited amount of training data, we propose a pattern-aware regression method that reduces the number of model parameters by interpreting traffic data as a weighted sum of latent behavior patterns. The proposed method trains a neural regression model to predict the weights of these patterns from the event information instead of directly predicting the traffic time series. The behavior patterns are jointly estimated during the training in a Bayesian manner to avoid overfitting. We performed experiments with foot traffic data recorded at a real soccer stadium and show that the proposed method outperforms the conventional direct regression methods. We also demonstrate an application of our method for predicting travel time from the stadium to the nearest highway interchange, which outperforms a popular commercial service.

著者

Susumu Yamazaki Takayuki Kando Michihiro Matsumoto Tsuneo Nakanishi Teruaki Kitasuka Akira Fukuda

出版者

Information Processing Society of Japan

雑誌

IPSJ Digital Courier (ISSN:13497456)

巻号頁・発行日

vol.1, pp.128-140, 2005 (Released:2005-01-26)

参考文献数

17

被引用文献数

1

---

A recent trend in program development is the employment of generic software components such as libraries and frameworks. Typically, however, it is difficult to achieve both genericity and runtime execution efficiency simultaneously. Therefore, many researchers have studied program specialization, which is one technique to translate a generic program automatically into an efficient program specialized for a specific runtime environment. However, it is very difficult to implement a system that can specialize practical applications. Although some possible reasons exist for the problem, this paper focuses on the problems of instruction-dependent processes. Each necessary analysis for existing program specializer systems must include instruction-dependent processes. Therefore, not only does the code size of the specializer get larger, but maintainability and reliability are also degraded. Then, we propose a new algorithm of logic-based binding time analysis using reaching definitions analysis, which is widely used among many other analyses. We also evaluate how this technique improves the implementation simplicity of binding time analyzer: the code size is reduced by about 10%. Especially, instruction-dependent processes are almost entirely eliminated.

著者

Hiroshi Ishii Qiang Ma Masatoshi Yoshikawa

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.20, no.1, pp.207-215, 2012 (Released:2012-01-15)

参考文献数

20

被引用文献数

1 7

---

We propose a novel method for the incremental construction of causal networks to clarify the relationships among news events. We propose the Topic-Event Causal (TEC) model as a causal network model and an incremental constructing method based on it. In the TEC model, a causal relation is expressed using a directed graph and a vertex representing an event. A vertex contains structured keywords consisting of topic keywords and an SVO tuple. An SVO tuple, which consists of a tuple of subject, verb and object keywords represent the details of the event. To obtain a chain of causal relations, vertices representing a similar event need to be detected. We reduce the time taken to detect them by restricting the calculation to topics using topic keywords. We detect them on a concept level. We propose an identification method that identifies the sense of the keywords and introduce three semantic distance methods to compare keywords. Our method detects vertices representing similar events more precisely than conventional methods. We carried out experiments to validate the proposed methods.

著者

Nor Athiyah Abdullah Dai Nishioka Yuko Tanaka Yuko Murayama

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.23, no.1, pp.31-40, 2015 (Released:2015-01-15)

参考文献数

39

被引用文献数

14 28

---

The online social media such as Facebook, Twitter and YouTube has been used extensively during disaster and emergency situation. Despite the advantages offered by these services on supplying information in vague situation by citizen, we raised the issue of spreading misinformation on Twitter by using retweets. Accordingly, in this study, we conduct a user survey (n=133) to investigate what is the user's action towards spread message in Twitter, and why user decide to perform retweet on the spread message. As the result of the factor analyses, we extracted 3 factors on user's action towards spread message which are: 1) Desire to spread the retweet messages as it is considered important, 2) Mark the retweet messages as favorite using Twitter “Favorite” function, and 3) Search for further information about the content of the retweet messages. Then, we further analyze why user decides to perform retweet. The results reveal that user has desire to spread the message which they think is important and the reason why they retweet it is because of the need to retweet, interesting tweet content and the tweet user. The results presented in this paper provide an understanding on user behavior of information diffusion, with the aim to reduce the spread of misinformation using Twitter during emergency situation.

著者

Tomoya Michinaka Hideyuki Kawabata Tetsuo Hironaka

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.29, pp.676-684, 2021 (Released:2021-10-15)

参考文献数

15

---

The GNU MPFR library for arbitrary-precision floating-point arithmetic is widely used, and its Foreign Function Interface bindings to various languages have been developed. For the Rust programming language, existing bindings to the MPFR library include gmp-mpfr-sys (a low-level binding) and Rug (a binding that utilizes gmp-mpfr-sys to provide a more user-friendly interface). However, neither has sufficient descriptiveness and performance as bindings for general users of Rust, which is a programming language featuring high memory safety and high speed. We have developed a Rust binding, Rumpfr, to the MPFR library, that offers an easy way to write programs that perform high-speed multiple-precision floating-point computation. Rumpfr provides an interface that follows that of the MPFR library but hides the complexity of managing the mantissa area of floating-point numbers from the user. Rumpfr uses Rust's variable-length arrays to allocate mantissa areas, making it easy to handle without compromising Rust's high memory safety. In this paper, we describe the design and implementation of Rumpfr and present the results of numerical experiments demonstrating that Rumpfr can be used to write programs with low overhead.

著者

Hiroki Watanabe Kazuki Hayashi Tomonori Sato Takao Kondo Fumio Teraoka

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.29, pp.640-648, 2021 (Released:2021-10-15)

参考文献数

25

被引用文献数

2

---

In the age of edge/fog computing, it is important to consider not only computing resources but also network resources when hosting services. Since service is composed of multiple small functions in the microservice architecture, we treat a service as a set of BFs (basic functions) that fulfill a single task. It is required to place BFs at edge/fog nodes considering the computing resources and network requirements within a practical time. This paper proposes a MANO (Management and Network Orchestration) for deploying services composed of multiple BFs with requirements to computing and network resources of distributed nodes. The proposed MANO considers the computing resources of edge/fog/cloud as well as the network delay and the bandwidth between them. This paper proposes an optimal method and a heuristic method for calculating the placement of BFs. The evaluation results show that the placement calculation time for a service composed of four BFs is about 10 seconds with the optimal method and about 20 seconds with the heuristic method. The calculation time is within the practical range.

著者

Sebastian Eresheim Robert Luh Sebastian Schrittwieser

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.25, pp.866-874, 2017 (Released:2017-09-15)

参考文献数

60

被引用文献数

1 9

---

Rootkits constitute a significant threat to modern computing and information systems. Since their first appearance in the early 1990's they have steadily evolved, adapting to ever-improving security measures. The main feature rootkits have in common is the ability to hide their malicious presence and activities from the operating system and its legitimate users. In this paper we systematically analyze process hiding techniques routinely used by rootkit malware. We summarize the characteristics of different approaches and discuss their advantages and limitations. Furthermore, we assess detection and prevention techniques introduced in operating systems in response to the threat of hidden malware. The results of our assessments show that defenders still struggle to keep up with rootkit authors. At the same time we see a shift towards powerful VM-based techniques that will continue to evolve over the coming years.

著者

Akira Kanaoka

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.28, pp.1008-1009, 2020 (Released:2020-12-15)

著者

Ikuo Nakagawa Masahiro Hiji Hiroshi Esaki

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.23, no.4, pp.458-464, 2015 (Released:2015-07-15)

参考文献数

18

被引用文献数

1 8

---

We propose “Dripcast,” a new server-less Java programming framework for billions of IoT (Internet of Things) devices. The framework makes it easy to develop device applications working with a cloud, that is, scalable computing resources on the Internet. The framework consists of two key technologies; (1) transparent remote procedure call (2) mechanism to read, write and process Java objects with scale-out style distributed datastore. A great benefit of the framework is that there is no need to write a server-side program nor a database code. A very simple client-side program is enough to work with the framework, to read, write or process Java objects on a cloud. The mechanism is infinitely scalable since it works with scale-out technologies. In this paper, we describe the concept and the architecture of the Dripcast framework. We also implement the framework and evaluate from two points of views, 1) from the view point of scalability about cloud resources, 2) from the view point of method call encapsulation overhead in client IoT devices.

著者

Masato Yamashita Minoru Nakazawa Yukinobu Nishikawa Noriyuki Abe

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.28, pp.239-246, 2020 (Released:2020-03-15)

参考文献数

19

---

Recently, the technology of BMI that communicates with humans and operates a robot using human brain information has been actively studied. The authentification function using BMI has been studied by previous research. Although many studies focus on feature extraction and learning model creation, there are few studies that discuss the effectiveness of preprocessing. In this study, we implemented an EEG biometric function using image stimulation method. In this paper, we proposed biometric authentication system system using EEG at time of image stimulus. At the same time, we evaluated the change in authentication accuracy in order to verify the preprocessing (digital filter, artifact countermeasure, epoch) method in the authentication system. As a result, authentication accuracy is improved by performing the proposed preprocessing. In addition, it was shown that convenience and security were improved when using the system.

著者

水田 貴将 高島 健太郎 西本 一志

出版者

Information Processing Society of Japan

雑誌

情報処理学会研究報告. HCI, 研究報告ヒューマンコンピュータインタラクション (ISSN:21888760)

巻号頁・発行日

vol.2018, no.1, pp.1-7, 2018-03-09

---

バンド活動などにおけるドラム演奏は,主にパターン演奏とフィルインという演奏技法で構成されている.フィルインとは,パターンとパターンの間やパターンの最後などに差し込まれる即興的な演奏のことで,うまく活用することで楽曲に変化をつけることができる.しかし,フィルインでは自由な演奏が可能にも関わらず,毎回どこか同じような演奏してしまいうといった問題を抱えているドラム奏者も少なくない.これは,ドラム演奏における自己表現機会の損失と言える.我々は,この問題を解消すべく,「ExHabitter」を開発した.このシステムは,行き詰りの原因の一つと想定される「奏者の癖」をシーケンシャルパターンマイニングによって抽出し,GUI上で奏者の演奏に対するフィードバックを行うことで,行き詰まりからの脱却を支援する.本稿では,ExHabitterの構成について述べるとともに,ExHabitterを用いたユーザスタディの結果を示し,それに基づき提案手法の有効性について検証する. : A drum performance can be classified into two parts: "Pattern" and "Fill-in". Fill-in is an improvised performance, commonly performed at the end of a pattern or between patterns. A drummer can express his / her own creative idea in the fill-in performances. However, there is a problem that many drummers often unconsciously perform similar fill-ins. To solve this problem, we developed a system named "ExHabitter," which supports the drummers to get rid of the habitual fill-in performances. This system extracts "habits of the player" from his / her performances by using a sequential pattern mining technique, and provides feedback to him / her so that he / she consciously grasp his/her habitual performances to get out of the deadlock situations. This paper describes the setup of ExHabitter, and investigates its effectiveness based on results of user studies.

著者

Elena Arseneva Stefan Langerman Boris Zolotov

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.28, pp.791-799, 2020 (Released:2020-12-15)

参考文献数

10

---

We give a complete description of all convex polyhedra whose surface can be constructed from several congruent regular pentagons by folding and gluing them edge to edge. Our method of determining the graph structure of the polyhedra from a gluing is of independent interest and can be used in other similar settings.