Technical Reports

This is the list of technical reports from the Department of Information Science, the University of Tokyo The titles with preceding "e" in their technical report numbers (e.g., 94-06e) are available ONLY on-line.

Copyright

The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Bibfiles

Technical Reports

TR89-10 letter.ps
Satoshi Matsuoka, Ken Wakita, and Akinori Yonezawa. Synchronization constraints with inheritance: What is not possible -- so what is? Technical Report 90-10, Department of Information Science, the University of Tokyo, 1989. updated 4/22/92.
TR90-10 a4.ps
Satoshi Matsuoka, Ken Wakita, , and Akinori Yonezawa. Synchronization constraints with inheritance: what is not possible --so what is? Technical Report 90-10, Department of Information Science, Faculty of Science, University of Tokyo, 1990.
TR92-01 ps
Kazuhiko Kato, Shigekazu Inohara, Atsunobu Narita, Shigeru Chiba, and Takashi Masuda. Design of the XERO open distributed operating system. Technical Report 92-01, Department of Information Science, Faculty of Science, University of Tokyo, feb 1992.
TR92-02 README
Atsushi Ohori and Kazuhiko Kato. Higher-order remote procedure calls. Technical Report 92-02, Department of Information Science, Faculty of Science, University of Tokyo, feb 1992.
TR92-03 dvi ps
Michael E. Houle and Takeshi Tokuyama. On zones of flats in hyperplane arrangements. Technical Report 92-03, Department of Information Science, Faculty of Science, University of Tokyo, feb 1992.
TR92-05 a4.ps
Naoki Kobayashi and Akinori Yonezawa. Asynchronous communication model based on linear logic. Technical Report 92-05, Department of Information Science, the University of Tokyo, 1992.
TR92-06 a4.ps letter.ps
Masahiro Yasugi and Akinori Yonezawa. An object-oriented parallel algorithm for the Newtonian N-body problem. Technical Report 92-06, Department of Information Science, the University of Tokyo, 1992. updated 8/30/92.
TR93-01 a4.ps letter.ps
Jacques Garrigue and Hassan Aït-Kaci. Typing of selective $\lambda$-calculus. Technical Report 93-01, Department of Information Science, the University of Tokyo, 1993.
TR93-02 ps
Hiroaki Takada and Ken Sakamura. A bounded spin lock algorithm with preemption. Technical Report 93-02, Department of Information Science, Faculty of Science, University of Tokyo, jul 1993.
TR93-03 letter.ps
Shigeru Chiba. Open c++ programmer's guide. Technical Report 93-03, Department of Information Science, Faculty of Science, University of Tokyo, 1993.
TR93-04 a4.ps
Naoki Kobayashi and Akinori Yonezawa. Logical, testing, and observation equivalence for processes in a linear logic programming. Technical Report 93-04, Department of Information Science, the University of Tokyo, 1993. presented at Linear Logic Workshop, Cornell University.
TR93-06 a4.ps
S.Tani, K. Hamaguchi, and S. Yajima. The complexity of the optimal variable ordering problems of shared binary decision diagrams. Technical Report 93-06, Department of Information Science, the University of Tokyo, 1993. presented at ISAAC'93.
TR93-07 a4.ps letter.ps
Shigekazu Inohara, Keitaro Uehara, Hajime Miyazawa, and Takashi Masuda. Sharing of persistent data structures for distributed cooperative work on versioned 64-bit address spaces. Technical Report 93-07, Department of Information Science, Faculty of Science, University of Tokyo, dec 1993.
TR94-02 a4.ps letter.ps
Shigekazu Inohara and Takashi Masuda. A framework for minimizing thread management overhead based on asynchronous cooperation between user and kernel schedulers. Technical Report 94-02, Department of Information Science, Faculty of Science, University of Tokyo, jan 1994.
TR94-05e dvi ps
Daisuke Suzuki. On extensions of $\mbox\it f_\leq$: Second-order $\lambda$-calclus with subtyping. Master thesis, The Univercity of Tokyo, 1994.
TR94-06e ps
Nobotu Koshizuka. Btron2 window system: A window system facilitating cooperation among gui applications in distributed environments. Technical Report 94-06e, Department of Information Science, Faculty of Science, University of Tokyo, March 1994. Doctor Dissertation, Submitted to The Graduate School of The University of Tokyo in Partial Fulfillment of Requirements of The Doctor of Science in Information Science.
TR94-07e a4.ps letter.ps
Masahiro Yasugi. A concurrent object-oriented programming language system for highly parallel data-driven computers and its applications. Technical Report 94-7e, Department of Information Science, Faculty of Science, University of Tokyo, April 1994. (Doctoral Thesis, Mar. 1994).
TR94-09 a4.ps letter.ps
Jacques Garrigue. The transformation calculus. Technical Report 94-09, Department of Information Science, Faculty of Science, University of Tokyo, April 1994.
TR94-11 abstract a4.ps letter.ps
Kenichi Asai, Satoshi Matsuoka, and Akinori Yonezawa. Roles of a partial evaluator for the reflective language black. Technical Report 94-11, Department of Information Science, Faculty of Science, University of Tokyo, May 1994.
TR94-12 a4.ps
Naoki Kobayashi and Akinori Yonezawa. Typed higher-order concurrent linear logic programming. Technical Report 94-12, Department of Information Science, Faculty of Science, University of Tokyo, July 1994.
TR94-13 a4.ps
S. Albers and H. Koga. Direct-mapped constrained migration problem. Technical Report 94-13, Department of Information Science, Faculty of Science, University of Tokyo, July 1994. Also in Proceedings of the 4th Internatinoal Workshop on Algorithms and Data Structure (WADS'95), Lecture Notes in Computer Science, Vol.955, 1995, pp.147-158.
TR94-14 a4.ps letter.ps
Keitaro Uehara, Hajime Miyazawa, Kouhei Yamamoto, Shigekazu Inohara, and Takashi Masuda. A framework for customizing cohrence protocols of distributed file caches in lucas file system. Technical Report 94-14, Department of Information Science, Faculty of Science, University of Tokyo, December 1994.
TR95-01 a4.ps
Masami Hagiya and Yozo Toda. On implicit arguments. Technical Report 95-01, Department of Information Science, Faculty of Science, University of Tokyo, jan 1995.
TR95-02 a4.ps letter.ps
Hiroaki Takada and Ken Sakamura. Controlling priority inversion using abortions. Technical Report 95-02, Department of Information Science, Faculty of Science, University of Tokyo, jan 1995.
TR95-04 abstract a4.ps letter.ps
Naoki Kobayashi, Motoki Nakade, and Akinori Yonezawa. Static analysis on communication for asynchronous concurrent programming languages. Technical Report 95-04, Department of Information Science, Faculty of Science, University of Tokyo, April 1995.
TR95-05 a4.ps letter.ps
Hiroshi Imai, Seiichiro Tani, and Kyoko Sekine. Ordered binary decision diagrmas, graph theory and computational geometry. Technical Report 95-05, Department of Information Science, Faculty of Science, University of Tokyo, July 1995.
TR95-06 a4.ps letter.ps
Kyoko Sekine, Hiroshi Imai, and Seiichiro Tani. Computing the tutte polynomial of a graph and the jones polynomial of an alternating link of moderate size. Technical Report 95-06, Department of Information Science, Faculty of Science, University of Tokyo, July 1995.
TR95-10 abstract a4.ps
Kenichi Asai, Hidehiko Masuhara, Satoshi Matsuoka, and Akinori Yonezawa. Partial evaluator as a compiler for reflective languages. Technical Report 95-10, Department of Information Science, Faculty of Science, University of Tokyo, December 1995.
TR95-11 a4.ps
Kenjiro Taura and Akinori Yonezawa. Schematic: A concurrent object-oriented extension to scheme. Technical Report 95-11, Department of Information Science, Faculty of Science, University of Tokyo, December 1995.
TR96-02 abstract a4.ps letter.ps
Naoki Kobayashi. A partially deadlock-free typed process calculus (i) - a simple system -. Technical Report 96-02, Department of Information Science, Faculty of Science, University of Tokyo, September 1996.
TR96-04 abstract a4.ps
Kenichi Asai, Hidehiko Masuhara, and Akinori Yonezawa. Partial evaluation of call-by-value lambda-calculus with side-effects. Technical Report 96-04, Department of Information Science, Faculty of Science, University of Tokyo, November 1996.
TR97-01 abstract a4.ps letter.ps
Hiroaki Takada and Ken Sakamura. A novel approach to multiprogrammed multiprocessor synchronization for real-time kernels. Technical Report 97-01, Department of Information Science, Faculty of Science, University of Tokyo, January 1997.
TR97-02 abstract a4.ps
Naoki Kobayashi. A partially deadlock-free typed process calculus (ii). Technical Report 97-02, Department of Information Science, Faculty of Science, University of Tokyo, February 1997.
TR97-03 abstract a4.ps
Atsushi Igarashi and Naoki Kobayashi. Type-based analysis of communication for concurrent programming languages. Technical Report 97-03, Department of Information Science, Faculty of Science, University of Tokyo, June 1997.
TR97-05 a4.ps
Junpei Niwa, Tatsushi Inagaki, Takashi Matsumoto, and Kei Hiraki. Efficient implementation of software release consistency on asymmetric distributed shared memory. Technical Report 97-05, Department of Information Science, Faculty of Science, University of Tokyo, Nov 1997.
TR97-06 a4.ps
Shigeru Chiba. Implementation techniques for efficient reflective languages. Technical Report 97-06, Department of Information Science, Faculty of Science, University of Tokyo, jun 1997.
TR97-07 a4.ps
Keiichi Ooyama, Kenjiro Taura, and Akinori Yonezawa. An efficient compilation framework for languages based on a concurrent process calculus. Technical Report 97-07, Department of Information Science, Faculty of Science, University of Tokyo, jul 1997.
TR98-01 abstract a4.ps
Kenichi Kourai, Shigeru Chiba, and Takashi Masuda. Operating system support for easy development of distributed file systems. Technical Report 98-01, Department of Information Science, Faculty of Science, University of Tokyo, aug 1998.
TR98-02 abstract a4.ps
Naoki Kobayashi. Quasi-linear types. Technical Report 98-02, Department of Information Science, Faculty of Science, University of Tokyo, September 1998.
TR98-03 abstract a4.ps
Kenji Kono, Kazuhiko Kato, and Takashi Masuda. Integrating remote procedure calls with virtual memory management for cooperative autonomous systems. Technical Report 98-03, Department of Information Science, Faculty of Science, University of Tokyo, Sep 1998.
TR99-02 abstract a4.ps
Naoki Kobayashi. Type-based useless variable elimination. Technical Report 99-02, Department of Information Science, Faculty of Science, University of Tokyo, July 1999.
TR00-02 abstract a4.ps letter.ps a4.pdf
Takahiro Shinagawa, Kenji Kono, and Takashi Masuda. Exploiting Segmentation Mechanism for Protecting against Malicious Mobile Code. Technical Report 00-02, Department of Information Science, Faculty of Science, University of Tokyo, May 2000.
TR01-01 abstract a4.pdf letter.pdf
Takashi MATSUMOTO. A Study on Memory-Based Communications and Synchronization in Distributed-Memory Systems. Technical Report 01-01, Department of Computer Science, Graduate school of Information Science and Technology, University of Tokyo, October 2001.
TR04-01 abstract a4.pdf
Rei Odaira and Kei Hiraki. Partial Value Number Redundancy Elimination. Technical Report 04-01, Department of Computer Science, Graduate school of Information Science and Technology, University of Tokyo, June 2004.
TR04-02 a4.pdf
Yutaka Sugawara, and Kei Hiraki. Correctness Proof of the SBT method. Technical Report 04-02, Department of Computer Science, Graduate school of Information Science and Technology, University of Tokyo, October 2004.
TR05-01 a4.ps
Yutaka Sugawara, and Kei Hiraki. Bidirectional Scan combined with Packet Signature for TCP Stream Level Data Inspeection. Technical Report 05-01, Department of Computer Science, Graduate school of Information Science and Technology, University of Tokyo, January 2005.

  1. Department of Information Science
Last Modified
2005-01-27 15:28:57 (JST)
© IS 1996 - 2005 All Rights Reserved