M. Yasugi

An MR-complete extension of extension of TRDB and its functional interpretation (2007)

Osamu Takaki, Mariko Yasugi, O Takaki, M Yasugi

In this paper, we extend a functional interpretation to transfinite types. To be more precise, we define a modified realizability interpretation of a constructive arithmetic with a certain inductive...

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques Held 24-26 August 1994 in Montreal, Canada (2006)

Sato, Mitsuhisa, Vasell, Jesper, Albonesi, David H., Roh, Lucas, Sur, S., Yasugi, M., ...

Contents: Part I-High Performance Architectures; Part II-Code Generation for Multithreaded and Dataflow Architectures; Part III-Memory and Cache Issues; Part IV-Distributed Memory Machines; Part...

The Plan-Do Style Compilation Technique for Eager Data Transfer in Thread-Based Execution (1994)

Yasugi Matsuoka And, M. Yasugi, S. Matsuoka, A. Yonezawa

: Plan-do compilation technique is a new, advanced compilation framework for eager data transfer on distributed-memory parallel architectures. The technique is especially effective for a recent breed...

The Plan-Do Style Compilation Technique for Eager Data Transfer in Thread-Based Execution (1994)

Yasugi Matsuoka And, M. Yasugi, S. Matsuoka, A. Yonezawa

: Plan-do compilation technique is a new, advanced compilation framework for eager data transfer on distributed-memory parallel architectures. The technique is especially effective for a recent breed...