 |
 | ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR92-01.ps.Z, 19921127
Design of the XERO Open Distributed Operating System Kazuhiko KATO Shigekazu INOHARA Atsunobu NARITA Shigeru CHIBA Takashi MASUDA Technical Report 92-1 Department of Information Science Faculty of Science, University of Tokyo 7-3-1 Hongo, Bunkyo-Ku Tokyo, 113 JAPAN E-mail: kato@is.s.u-tokyo.ac.jp |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR93-02.ps.Z, 19930930
A Bounded Spin Lock Algorithm with Preemption Hiroaki Takada and Ken Sakamura Department of Information Science, Faculty of Science, University of Tokyo |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR94-02-a4.ps.Z, 19940120
TECHNICAL REPORT 94-02 A Framework for Minimizing Thread Management Overhead Based on Asynchronous Cooperation between User and Kernel Schedulers Shigekazu Inohara and Takashi Masuda January 19, 1994 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR94-02-letter.ps.Z, 19940120
TECHNICAL REPORT 94-02 A Framework for Minimizing Thread Management Overhead Based on Asynchronous Cooperation between User and Kernel Schedulers Shigekazu Inohara and Takashi Masuda January 19, 1994 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR93-07-letter.ps.Z, 19940301
TECHNICAL REPORT 93-07 Sharing of Persistent Data Structures for Distributed Cooperative Work on Versioned 64-bit Address Spaces Shigekazu Inohara, Keitaro Uehara, Hajime Miyazawa, and Takashi Masuda Dec 22, 1993 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR93-07-a4.ps.Z, 19940301
TECHNICAL REPORT 93-07 Sharing of Persistent Data Structures for Distributed Cooperative Work on Versioned 64-bit Address Spaces Shigekazu Inohara, Keitaro Uehara, Hajime Miyazawa, and Takashi Masuda Dec 22, 1993 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR94-06e.ps.Z, 19940325
TECHNICAL REPORT 94-6e BTRON2 Window System: A Window System Facilitating Cooperation among GUI Applications in Distributed Environments Noboru Koshizuka March 1994 T Department of Information Science Faculty of Science, University of Tokyo 7-3-1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 94-6e |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR92-05-a4.ps.Z, 19940401
Asynchronous Communication Model Based on Linear Logic Naoki Kobayashi Akinori Yonezawa Department of Information Science the University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan fkoba, yonezawag@is.s.u-tokyo.ac.jp TEL +81-3-5800-6913 FAX +81-3-5689-4365 July 1992 |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR94-05e.ps.Z, 19940401
TECHNICAL REPORT 94-5e On Extensions of F<= : Second-Order Lambda-Calculus with Subtyping Daisuke Suzuki March 1, 1994 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 94-5e TITLE On Extensions of F<= : Second-Order |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR89-10-letter.ps.Z, 19940401
Synchronization Constraints With Inheritance: What Is Not Possible | So What Is Satoshi Matsuoka, Ken Wakita, and Akinori Yonezawa Department of Information Sciencey The University of Tokyo Keywords and Phrases Concurrency, Synchronization Constraints Inheritance, Encapsulation |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR93-01-letter.ps.Z, 19940401
Typing of Selective >=-Calculus Jacques Garrigue The University of Tokyo Department of Information Science 7-3-1 Hongo, Bunkyo-ku Tokyo 113, Japan garrigue@is.s.u-tokyo.ac.jp Hassan Ait Kaci Digital Equipment Corporation Paris Research Laboratory 85, avenue Victor Hugo 92500 Rueil-Malmaison, France |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR94-07e-letter.ps.Z, 19940406
TECHNICAL REPORT 94-7e A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications Masahiro Yasugi April 5, 1994 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR94-07e-a4.ps.Z, 19940406
TECHNICAL REPORT 94-7e A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications Masahiro Yasugi April 5, 1994 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR92-03.ps.Z, 19940704
On Zones of Flats in Hyperplane Arrangements Michael E. Houle* and Takeshi Tokuyama** *Department of Information Science, University of Tokyo Bunkyo-ku, Tokyo 113, Japan **IBM Research, Tokyo Research Laboratory, Chiyoda-ku, Tokyo 102, Japan |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR94-14-a4.ps.Z, 19941219
TECHNICAL REPORT 94{14 A Framework for Customizing Coherence Protocols of Distrbuted File Caches in Lucas File System Keitaro Uehara, Hajime Miyazawa, Kouhei Yamamoto, Shigekazu Inohara, and Takashi Masuda December 9, 1994 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR94-14-letter.ps.Z, 19941219
TECHNICAL REPORT 94{14 A Framework for Customizing Coherence Protocols of Distrbuted File Caches in Lucas File System Keitaro Uehara, Hajime Miyazawa, Kouhei Yamamoto, Shigekazu Inohara, and Takashi Masuda December 9, 1994 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR94-11-a4.ps.Z, 19941220
TECHNICAL REPORT 94-11 Roles of a Partial Evaluator for the Reflective Language Black Kenichi Asai Satoshi Matsuoka Akinori Yonezawa May 25, 1994 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 94-11 TITLE Roles of a |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR94-11-letter.ps.Z, 19941220
TECHNICAL REPORT 94-11 Roles of a Partial Evaluator for the Reflective Language Black Kenichi Asai Satoshi Matsuoka Akinori Yonezawa May 25, 1994 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 94-11 TITLE Roles of a |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR95-02-a4.ps.Z, 19950112
TECHNICAL REPORT 95-02 Controlling Priority Inversion using Abortions Hiroaki Takada and Ken Sakamura January 11, 1995 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 95-02 TITLE Controlling Priority Inversion using |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR95-02-letter.ps.Z, 19950112
TECHNICAL REPORT 95-02 Controlling Priority Inversion using Abortions Hiroaki Takada and Ken Sakamura January 11, 1995 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 95-02 TITLE Controlling Priority Inversion using |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR95-04-letter.ps.Z, 19950419
TECHNICAL REPORT 95-04 Static Analysis on Communication for Asynchronous Concurrent Programming Languages Naoki Kobayashi, Motoki Nakade and Akinori Yonezawa April 1995 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR95-04-a4.ps.Z, 19950419
TECHNICAL REPORT 95-04 Static Analysis on Communication for Asynchronous Concurrent Programming Languages Naoki Kobayashi, Motoki Nakade and Akinori Yonezawa April 1995 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR93-03-letter.ps.Z, 19950721
Open C++ Release 1.2 Programmer's Guide Shigeru Chiba Department of Information Science University of Tokyo E-mail: chiba@is.s.u-tokyo.ac.jp 1 Introduction Open C++ is a variant of the C++ language, in which method calls and variable access are made open-ended. The implementation of method calls and |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR95-06-letter.ps.Z, 19950810
TECHNICAL REPORT 95-06 Computing the Tutte Polynomial of a Graph and the Jones Polynomial of an Alternating Link of Moderate Size Kyoko Sekine, Hiroshi Imai, Seiichiro Tani July 5, 1995 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR95-05-a4.ps.Z, 19950810
TECHNICAL REPORT 95-05 Ordered Binary Decision Diagrams, Graph Theory and Computational Geometry Hiroshi Imai, Seiichiro Tani and Kyoko Sekine July 5, 1995 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 95-05 TITLE |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR95-05-letter.ps.Z, 19950810
TECHNICAL REPORT 95-05 Ordered Binary Decision Diagrams, Graph Theory and Computational Geometry Hiroshi Imai, Seiichiro Tani and Kyoko Sekine July 5, 1995 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 95-05 TITLE |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR95-06-a4.ps.Z, 19950810
TECHNICAL REPORT 95-06 Computing the Tutte Polynomial of a Graph and the Jones Polynomial of an Alternating Link of Moderate Size Kyoko Sekine, Hiroshi Imai, Seiichiro Tani July 5, 1995 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR96-02-letter.ps.Z, 19960904
TECHNICAL REPORT 96-02 A Partially Deadlock-free Typed Process Calculus (I) { A Simple System { Naoki Kobayashi September 1996 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 96-02 TITLE A Partially Deadlock-free Typed |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR96-02-a4.ps.Z, 19960904
TECHNICAL REPORT 96-02 A Partially Deadlock-free Typed Process Calculus (I) { A Simple System { Naoki Kobayashi September 1996 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 96-02 TITLE A Partially Deadlock-free Typed |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR97-01-a4.ps.Z, 19970129
TECHNICAL REPORT 97-01 A Novel Approach to Multiprogrammed Multiprocessor Synchronization for Real-Time Kernels Hiroaki Takada and Ken Sakamura January 29, 1997 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku, Tokyo, 113 Japan TECHNICAL REPORT 97-01 |
| ftp://ftp.is.s.u-tokyo.ac.jp/pub/tech-reports/TR97-01-letter.ps.Z, 19970129
TECHNICAL REPORT 97-01 A Novel Approach to Multiprogrammed Multiprocessor Synchronization for Real-Time Kernels Hiroaki Takada and Ken Sakamura January 29, 1997 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku, Tokyo, 113 Japan TECHNICAL REPORT 97-01 |
|
