@string{is.s.u-tokyo={Department of Information Science, Faculty of
Science, University of Tokyo}}
Estimation of errors in the numerical quadrature of analytic functions, Hidetosi Takahasi and Masatake Mori
@TechReport{is-74-01,
author = "Hidetosi Takahasi and Masatake Mori",
title = "Estimation of errors in the numerical quadrature
of analytic functions",
institution = "Information Science Laboratories, Faculty of
Science, University of Tokyo",
year = 1974,
number = "Technical Report 74-01",
note = "Error estimation in the numerical integration of
analytic functions, Report of the Computer Centre,
University of Tokyo, Vol.3 (1970)
Estimation of errors in the numerical quadrature of
analytic functions, Applicable Analysis, Vol.1 (1971)
Quadrature formulas obtained by variable
transformation, Numerische Mathematik, Bd.21 (1973)
Double exponential formulas for numerical
integration, Publications of the Research Institute
for Mathematical Science, Kyoto University, Vol.9 (1974)
"
}
Transformations of periodic sequences by cellular automata, Masatosi Imori and Hisao Yamada
@TechReport{is-74-02,
author = "Masatosi Imori and Hisao Yamada",
title = "Transformations of periodic sequences
by cellular automata",
institution = "Information Science Laboratories, Faculty of
Science, University of Tokyo",
year = 1974,
number = "Technical Report 74-02"
}
Monocopy and associative algorithms in an extended LISP, Eiichi Goto
@TechReport{is-74-03,
author = "Eiichi Goto",
title = "Monocopy and associative algorithms in an extended LISP",
institution = "Information Science Laboratories, Faculty of
Science, University of Tokyo",
year = 1974,
number = "Technical Report 74-03"
}
A new type of cathode ray tube suitable for bubble chamber film measurements, Shinkichi Shibata et.al.
@TechReport{is-74-04,
author = "Shinkichi Shibata et.al.",
title = "A new type of cathode ray tube suitable for bubble
chamber film measurements",
institution = "Information Science Laboratories, Faculty of
Science, University of Tokyo",
year = 1974,
number = "Technical Report 74-04"
}
Minimization of a sum of squares using the singular value decomposition, Hajime Ohiwa
@TechReport{is-74-05,
author = "Hajime Ohiwa",
title = "Minimization of a sum of squares using the singular
value decomposition",
institution = "Information Science Laboratories, Faculty of
Science, University of Tokyo",
year = 1974,
number = "Technical Report 74-05"
}
Implementation of HLISP and algebraic manipulation language REDUCE-2, Yasumasa Kanada
@TechReport{is-75-01,
author = "Yasumasa Kanada",
title = "Implementation of HLISP and algebraic manipulation
language REDUCE-2",
institution = "Information Science Laboratories, Faculty of
Science, University of Tokyo",
year = 1975,
number = "Technical Report 75-01"
}
A proposal for virtual multihead multitape processor, Lachezar Antonov Mateev
@TechReport{is-75-02,
author = "Lachezar Antonov Mateev",
title = "A proposal for virtual multihead multitape processor",
institution = "Information Science Laboratories, Faculty of
Science, University of Tokyo",
year = 1975,
number = "Technical Report 75-02"
}
Algorithms used in an implementation of HLISP, Motoaki Terashima
@TechReport{is-75-03,
author = "Motoaki Terashima",
title = "Algorithms used in an implementation of HLISP",
institution = "Information Science Laboratories, Faculty of
Science, University of Tokyo",
year = 1975,
number = "Technical Report 75-03"
}
On backtrack programming and some results on combinatorial puzzles, Satoru Kawai and Kohei Noshita and Ikuo Takeuchi
@TechReport{is-75-04,
author = "Satoru Kawai and Kohei Noshita and Ikuo Takeuchi",
title = "On backtrack programming and some results on
combinatorial puzzles",
institution = "Information Science Laboratories, Faculty of
Science, University of Tokyo",
year = 1975,
number = "Technical Report 75-04"
}
LIP-40 reference manual, Version 1, Satoru Kawai
@TechReport{is-76-01,
author = "Satoru Kawai",
title = "LIP-40 reference manual, Version 1",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-01"
}
PASCAL 8000 reference manual, Version 1.0, Teruo Hikita and Kiyoshi Ishihata
@TechReport{is-76-02,
author = "Teruo Hikita and Kiyoshi Ishihata",
title = "PASCAL 8000 reference manual, Version 1.0",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-02"
}
Analysis of hash addressing methods, Takao Gunji
@TechReport{is-76-03,
author = "Takao Gunji",
title = "Analysis of hash addressing methods",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-03"
}
Bootstrapping PASCAL using a trunk, Kiyoshi Ishihata and Teruo Hikita
@TechReport{is-76-04,
author = "Kiyoshi Ishihata and Teruo Hikita",
title = "Bootstrapping PASCAL using a trunk",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-04"
}
A portable LISP compiler on a hypothetical LISP machine, Fumio Motoyoshi
@TechReport{is-76-05,
author = "Fumio Motoyoshi",
title = "A portable LISP compiler on a hypothetical LISP machine",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-05"
}
Development of an intelligent remote station based on a minicomputer network, Yoshihiko Ono
@TechReport{is-76-06,
author = "Yoshihiko Ono",
title = "Development of an intelligent remote station
based on a minicomputer network",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-06"
}
Elementary methods for formal language theory and matrix languages, Hidetaka Tanaka
@TechReport{is-76-07,
author = "Hidetaka Tanaka",
title = "Elementary methods for formal language theory
and matrix languages",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-07"
}
Reference manual for STOP: structure oriented processor, Kaoru Kotoh and Hisao M. Yamada
@TechReport{is-76-08,
author = "Kaoru Kotoh and Hisao M. Yamada",
title = "Reference manual for STOP: structure oriented processor",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-08",
note = "Second Edition (March, 1979)"
}
String controlled grammar and its applications in formal language theory, Takashi Yokomori
@TechReport{is-76-09,
author = "Takashi Yokomori",
title = "String controlled grammar and its applications
in formal language theory",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-09"
}
Hashing lemmas on time complexities with applications to formula manipulation, Eiichi Goto and Yasumasa Kanada
@TechReport{is-76-10,
author = "Eiichi Goto and Yasumasa Kanada",
title = "Hashing lemmas on time complexities with
applications to formula manipulation",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-10",
note = "SYMSAC 1976 paper and its two manuscripts"
}
A hashing method for fast set operations, Masataka Sassa and Eiichi Goto
@TechReport{is-76-11,
author = "Masataka Sassa and Eiichi Goto",
title = "A hashing method for fast set operations",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-11"
}
An O(N) algorithm for finding periodicity of a sequence using hash coding, Teruo Hikita and Eiichi Goto
@TechReport{is-76-12,
author = "Teruo Hikita and Eiichi Goto",
title = "An O(N) algorithm for finding periodicity of
a sequence using hash coding",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-12"
}
A new algorithm for nonlinear simultaneous equations, Hajime Ohiwa
@TechReport{is-76-13,
author = "Hajime Ohiwa",
title = "A new algorithm for nonlinear simultaneous equations",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-13"
}
The design of deflection coils, Hajime Ohiwa
@TechReport{is-76-14,
author = "Hajime Ohiwa",
title = "The design of deflection coils",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-14"
}
A comparison of hashing algorithms with key deletion, Takao Gunji and Eiichi Goto
@TechReport{is-76-15,
author = "Takao Gunji and Eiichi Goto",
title = "A comparison of hashing algorithms with key deletion",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-15"
}
Parallel hashing algorithms, Eiichi Goto and Tetsuo Ida and Takao Gunji
@TechReport{is-76-16,
author = "Eiichi Goto and Tetsuo Ida and Takao Gunji",
title = "Parallel hashing algorithms",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-16"
}
A graph theoretic formulation of bit pattern algorithms for graphics, Satoru Kawai
@TechReport{is-76-17,
author = "Satoru Kawai",
title = "A graph theoretic formulation of bit pattern
algorithms for graphics",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-17"
}
Performance of a parallel hash hardware with key deletion, Tetsuo Ida and Eiichi Goto
@TechReport{is-76-18,
author = "Tetsuo Ida and Eiichi Goto",
title = "Performance of a parallel hash hardware with key
deletion",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-18"
}
MOL (Moving objective lens): Formulation of deflective aberration free systems, Eiichi Goto and Takashi Soma
@TechReport{is-76-19,
author = "Eiichi Goto and Takashi Soma",
title = "MOL (Moving objective lens): Formulation of
deflective aberration free systems",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-19"
}
'V-tape', a virtual memory oriented data type, and its resource requirements, Masataka Sassa and Eiichi Goto
@TechReport{is-76-20,
author = "Masataka Sassa and Eiichi Goto",
title = "'V-tape', a virtual memory oriented data type, and
its resource requirements",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-20"
}
Implementation of an array bound checker, Norihisa Suzuki and Kiyoshi Ishihata
@TechReport{is-76-21,
author = "Norihisa Suzuki and Kiyoshi Ishihata",
title = "Implementation of an array bound checker",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1976,
number = "Technical Report 76-21"
}
Enumeration of multivalued switching functions realizable by cascades, Teruo Hikita and Hikoe Enomoto
@TechReport{is-77-01,
author = "Teruo Hikita and Hikoe Enomoto",
title = "Enumeration of multivalued switching functions
realizable by cascades",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1977,
number = "Technical Report 77-01"
}
Genetic order and compactifying garbage collectors, Eiichi Goto and Motoaki Terashima
@TechReport{is-77-02,
author = "Eiichi Goto and Motoaki Terashima",
title = "Genetic order and compactifying garbage collectors",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1977,
number = "Technical Report 77-01"
}
MTAC - mathematical tabulative automatic computing, Eiichi Goto and Motoaki Terashima
@TechReport{is-77-03,
author = "Eiichi Goto and Motoaki Terashima",
title = "MTAC - mathematical tabulative automatic computing",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1977,
number = "Technical Report 77-03"
}
A characterization for maximal incomplete sets of multivalued switching functions with delay, Teruo Hikita
@TechReport{is-77-04,
author = "Teruo Hikita",
title = "A characterization for maximal incomplete sets of
multivalued switching functions with delay",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1977,
number = "Technical Report 77-04"
}
A human factors study of input keyboard for Japanese text, Yamada-Hisao and Jiro Tanaka
@TechReport{is-77-05,
author = "Yamada-Hisao and Jiro Tanaka",
title = "A human factors study of input keyboard for
Japanese text",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1977,
number = "Technical Report 77-05"
}
Practical rules for optimizing large multivariate polynomials, Tateaki Sasaki and Yasumasa Kanada
@TechReport{is-77-06,
author = "Tateaki Sasaki and Yasumasa Kanada",
title = "Practical rules for optimizing large multivariate
polynomials",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1977,
number = "Technical Report 77-06"
}
Electron beam lithography for advanced LSI fabrication, Eiichi Goto et. al.
@TechReport{is-77-07,
author = "Eiichi Goto et. al.",
title = "Electron beam lithography for advanced LSI fabrication",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1977,
number = "Technical Report 77-07"
}
$B%?%C%ABG80K!$K$h$kF|K\J8F~NOK!$N8&5f(B, $BEDCfFsO:(B and $B;3ED>0M&(B
@TechReport{is-78-01,
author = "$BEDCfFsO:(B and $B;3ED>0M&(B",
title = "$B%?%C%ABG80K!$K$h$kF|K\J8F~NOK!$N8&5f(B",
institution = "$BEl5~Bg3XM}3XIt>pJs2J3X2J(B",
year = 1978,
key = "A study of touch typing input method for Japanese
text / Jiro Tanaka and Hisao M. Yamada",
number = "Technical Report 78-01"
}
Overflow free and variable precision computing in FLATS, Tetsuo Ida and Eiichi Goto
@TechReport{is-78-02,
author = "Tetsuo Ida and Eiichi Goto",
title = "Overflow free and variable precision computing
in FLATS",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1978,
number = "Technical Report 78-02"
}
Analysis of parallel hashing algorithms with key deletion, Tetsuo Ida and Eiichi Goto
@TechReport{is-78-03,
author = "Tetsuo Ida and Eiichi Goto",
title = "Analysis of parallel hashing algorithms with key
deletion",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1978,
number = "Technical Report 78-03",
note = "Reprinted from Journal of Information Processing,
Vol.1, No.1, pp.25-32, April, 1978"
}
Combinatorially homogeneous graphs, Hikoe Enomoto
@TechReport{is-78-04,
author = "Hikoe Enomoto",
title = "Combinatorially homogeneous graphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1978,
number = "Technical Report 78-04"
}
Algorithms and programming with CAMs (Content addressable associative memories, Eiichi Goto and Masataka Sassa and Yasumasa Kanada
@TechReport{is-78-05,
author = "Eiichi Goto and Masataka Sassa and Yasumasa Kanada",
title = "Algorithms and programming with CAMs (Content
addressable associative memories",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1978,
number = "Technical Report 78-05"
}
$BF|K\8l%F%-%9%HF~NOK!$N?M4V9)3XE*Hf3S(B, $B;3ED>0M&(B
@TechReport{is-78-06,
author = "$B;3ED>0M&(B",
title = "$BF|K\8l%F%-%9%HF~NOK!$N?M4V9)3XE*Hf3S(B",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1978,
key = "An ergonomic comparison of input methods for
Japanese text ",
number = "Technical Report 78-06",
note = "Information Processing of Japanese Language,
Proceedings of the Summer Symposium 1978, July
17-20, Ito, Sizuoka; Information Processing Society
of Japan"
}
An architecture for evolutionary database system design, Tosiyasu L. Kunii and C.J. Browne and Hideko S. Kunii
@TechReport{is-78-07,
author = "Tosiyasu L. Kunii and C.J. Browne and Hideko S. Kunii",
title = "An architecture for evolutionary database system
design",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1978,
number = "Technical Report 78-07",
note = "Invited paper, The IEEE Computer Society's Second
International Conference, Chicago, Nov. 13-16, 1978"
}
A definition of neighborhood of a region for picture processing, Kanji Yokokawa and Tosiyasu L. Kunii
@TechReport{is-78-08,
author = "Kanji Yokokawa and Tosiyasu L. Kunii",
title = "A definition of neighborhood of a region for picture
processing",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1978,
number = "Technical Report 78-08",
note = "Second Version in December, 1979"
}
On classes of equivalent switching functions, Hikoe Enomoto
@TechReport{is-78-09,
author = "Hikoe Enomoto",
title = "On classes of equivalent switching functions",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1978,
number = "Technical Report 78-09"
}
Lattice structure segmentation of Algol-like programs, Satoru Kawai
@TechReport{is-78-10,
author = "Satoru Kawai",
title = "Lattice structure segmentation of Algol-like
programs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1978,
number = "Technical Report 78-10"
}
FLATS, a machine for numerical, symbolic and associative computing, Eiichi Goto and Tetsuo Ida and Kei Hiraki
@TechReport{is-78-11,
author = "Eiichi Goto and Tetsuo Ida and Kei Hiraki ",
title = "FLATS, a machine for numerical, symbolic and
associative computing",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1978,
number = "Technical Report 78-11"
}
On maximal weights of Hadamard matrices, Hikoe Enomoto and Masahiko Miyamoto
@TechReport{is-78-12,
author = "Hikoe Enomoto and Masahiko Miyamoto",
title = "On maximal weights of Hadamard matrices",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1978,
number = "Technical Report 78-12",
note = "Submitted to the Journal of Combinatorial Theory
(Series A)"
}
RGT: the recursive graph theory as a theoretical basis of a system design tool 'DESIGN-TOOL'-- with an application to medical information system design, Minoru Harada and Tosiyasu L. Kunii and Masao Saito
@TechReport{is-78-13,
author = "Minoru Harada and Tosiyasu L. Kunii and Masao Saito",
title = "RGT: the recursive graph theory as a theoretical
basis of a system design tool 'DESIGN-TOOL'-- with
an application to medical information system design",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1978,
number = "Technical Report 78-13",
note = "An earlier version of this paper is to appear in
Proceedings of International Symposium on Medical
Information System, (1978, Osaka)"
}
Parallel hash Algorithms for virtual key index tables, Tetsuo Ida and Eiichi Goto
@TechReport{is-78-14,
author = "Tetsuo Ida and Eiichi Goto",
title = "Parallel hash Algorithms for virtual key index tables",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1978,
number = "Technical Report 78-14",
note = "Reprinted from Journal of Information Processing,
Vol.1, No.3, p.130-137, October, 1978"
}
Overflow free and variable precision computing in FLATS, Tetsuo Ida and Eiichi Goto
@TechReport{is-78-15,
author = "Tetsuo Ida and Eiichi Goto",
title = "Overflow free and variable precision computing in FLATS",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1978,
number = "Technical Report 78-15",
note = "Reprinted from Journal of Information Processing,
Vol.1, No.3, p.140-142"
}
A characterization of boundary curves, Satoru Kawai
@TechReport{is-78-16,
author = "Satoru Kawai",
title = "A characterization of boundary curves",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1978,
number = "Technical Report 78-16"
}
A simulation of a minicomputer-controlled system and its use as a debugging tool, Yukoh Kobayashi and Tosiyasu L. Kunii
@TechReport{is-79-01,
author = "Yukoh Kobayashi and Tosiyasu L. Kunii",
title = "A simulation of a minicomputer-controlled system
and its use as a debugging tool",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1979,
number = "Technical Report 79-01",
note = "To appear in Computer Journal of The British
Computer Society (February, 1979)"
}
Architecture of a virtual graphic database system for interactive computer-aided design, Tosiyasu L. Kunii and Hideko S. Kunii
@TechReport{is-79-02,
author = "Tosiyasu L. Kunii and Hideko S. Kunii",
title = "Architecture of a virtual graphic database system
for interactive computer-aided design",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1979,
number = "Technical Report 79-02",
note = "To appear in Computer Aided Design Journal (1979)"
}
A boundary curve criterion, Satoru Kawai
@TechReport{is-79-03,
author = "Satoru Kawai",
title = "A boundary curve criterion",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1979,
number = "Technical Report 79-03",
note = "Accepted for publication in Computer Graphics and
Image Processing"
}
A transportation of multi-phase compiler, Satoru Kawai and Kiyoshi Ishihata
@TechReport{is-79-04,
author = "Satoru Kawai and Kiyoshi Ishihata",
title = "A transportation of multi-phase compiler",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1979,
number = "Technical Report 79-04",
note = "Accepted for publication in Journal of
Information Processing"
}
A semiblock structure for low level languages, Satoru Kawai
@TechReport{is-79-05,
author = "Satoru Kawai",
title = "A semiblock structure for low level languages",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1979,
number = "Technical Report 79-05",
note = "Accepted for publication in Software-Practice
and Experience"
}
A cut-free Gentzen-type system for the modal logic S5, Masahiko Sato
@TechReport{is-79-06,
author = "Masahiko Sato",
title = "A cut-free Gentzen-type system for the modal logic S5",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1979,
number = "Technical Report 79-06"
}
On the number of multivalued switching functions realizable by cascades, Teruo Hikita and Hikoe Enomoto
@TechReport{is-79-07,
author = "Teruo Hikita and Hikoe Enomoto",
title = "On the number of multivalued switching functions
realizable by cascades",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1979,
number = "Technical Report 79-07"
}
A design process formalization, Minoru Harada and Tosiyasu L. Kunii
@TechReport{is-79-08,
author = "Minoru Harada and Tosiyasu L. Kunii",
title = "A design process formalization",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1979,
number = "Technical Report 79-08",
note = "Proc. IEEE Computer Society's Third International
Computer Software \& Applications Conference
(Chicago, Nov., 1979, in press) "
}
Evolutionary drawing formalization in an engineering database environment, Alejandro P. Buchmann and Tosiyasu L. Kunii
@TechReport{is-79-09,
author = "Alejandro P. Buchmann and Tosiyasu L. Kunii",
title = "Evolutionary drawing formalization in an engineering
database environment",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1979,
number = "Technical Report 79-09",
note = "Proc. IEEE Computer Society's Third International
Computer Software \& Applications Conference
(Chicago, Nov., 1979, in press)"
}
A graph-theoretical approach to region detection, Nobuo Ohbo and Kazuya Shimizu and Tosiyasu L. Kunii
@TechReport{is-79-10,
author = "Nobuo Ohbo and Kazuya Shimizu and Tosiyasu L. Kunii",
title = "A graph-theoretical approach to region detection",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1979,
number = "Technical Report 79-10",
note = "Proc. IEEE Computer Society's Third International
Computer Software \& Applications Conference
(Chicago, Nov., 1979, in press)"
}
Realization of a processor with virtual tapes and its evaluation, Kozo Itano and Eiichi Goto
@TechReport{is-79-11,
author = "Kozo Itano and Eiichi Goto",
title = "Realization of a processor with virtual tapes and
its evaluation",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1979,
number = "Technical Report 79-11"
}
Towards a mathematical theory of program synthesis, Masahiko Sato
@TechReport{is-79-12,
author = "Masahiko Sato",
title = "Towards a mathematical theory of program synthesis",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1979,
number = "Technical Report 79-12",
note = "Proceedings of the Sixth International Joint
Conference on Artificial Intelligence Tokyo, August
20-23, 1979, Vol.2, pp.757-762"
}
SID: a system for interactive design, Tosiyasu L. Kunii and Minoru Harada
@TechReport{is-80-01,
author = "Tosiyasu L. Kunii and Minoru Harada",
title = "SID: a system for interactive design",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-01",
note = "Proc. AFIPS National Computer Conference, NCC '80
(in press)"
}
Minimum number of edges in path-connected graphs. I, Hikoe Enomoto and Yoko Usami
@TechReport{is-80-02,
author = "Hikoe Enomoto and Yoko Usami",
title = "Minimum number of edges in path-connected graphs. I",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-02"
}
A language for office form processing (OFP) - with application to medical forms-, Hiroyuki Kitagawa et.al.
@TechReport{is-80-03,
author = "Hiroyuki Kitagawa et.al.",
title = "A language for office form processing (OFP) - with
application to medical forms-",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-03",
note = "Proc. The Third World Conference on Medical
Informatics (Tokyo, Sept. 29-Oct. 4, 1980)"
}
A graphical design specification language for a hospital administration system GDSL/HA - with the application to design consistency verification -, Minoru Harada et.al.
@TechReport{is-80-04,
author = "Minoru Harada et.al.",
title = "A graphical design specification language for a
hospital administration system GDSL/HA - with the
application to design consistency verification -",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-04",
note = "Proc. The Third World Conference on Medical
Informatics (Tokyo, Sept. 29-Oct. 4, 1980)"
}
A historical study of typewriters and typing methods: from the position of planning Japanese parallels, Yamada-Hisao
@TechReport{is-80-05,
author = "Yamada-Hisao",
title = "A historical study of typewriters and typing
methods: from the position of planning
Japanese parallels",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-05",
note = "Journal of Information Processing, Vol.2, No.4,
pp.175-202, February, 1980"
}
Parallel sieve methods for generating prime numbers, Teruo Hikita and Satoru Kawai
@TechReport{is-80-06,
author = "Teruo Hikita and Satoru Kawai",
title = "Parallel sieve methods for generating prime numbers",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-06",
note = "To be published in the Proceedings of the 8th World
Computer Congress (IFIP), Tokyo, 1980"
}
A generalization of Ore's condition for a graph to be Hamilton connected, Hikoe Enomoto
@TechReport{is-80-07,
author = "Hikoe Enomoto",
title = "A generalization of Ore's condition for a graph to
be Hamilton connected",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-07"
}
Compile time improvement of garbage collection, Kiyoshi Ono and Masayuki Suzuki and Eiichi Goto
@TechReport{is-80-08,
author = "Kiyoshi Ono and Masayuki Suzuki and Eiichi Goto",
title = "Compile time improvement of garbage collection",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-08"
}
A coding system of Chinese Characters for touch typing, Jan Jinn-Ke and Yamada-Hisao
@TechReport{is-80-09,
author = "Jan Jinn-Ke and Yamada-Hisao",
title = "A coding system of Chinese Characters for touch typing",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-09",
note = "M.S. Theses by the first author, submitted to the
Faculty of Science for the degree of M.S. in Physics
(major in Computer and Information Sciences). A
Summary Version is also issued as Technical Report 80-14"
}
ELF: extended relational model for large, flexible picture databases, Kazunori Yamaguchi et.al.
@TechReport{is-80-10,
author = "Kazunori Yamaguchi et.al.",
title = "ELF: extended relational model for large, flexible
picture databases",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-10",
note = "Proc. IEEE Workshop on Picture Data Description and
Management (in press)"
}
An analysis of the standard English keyboard, Yuzuru Hiraga and Yoshihiko Ono and Yamada Hisao
@TechReport{is-80-11,
author = "Yuzuru Hiraga and Yoshihiko Ono and Yamada Hisao",
title = "An analysis of the standard English keyboard",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-11",
note = "The 8th International Conference on Computational
Linguistics (ICCL 1980), September 30-October 4,
1980, Tokyo, Japan"
}
An assignment of key-codes for a Japanese character keyboard, Yuzuru Hiraga and Yoshihiko Ono and Yamada-Hisao
@TechReport{is-80-12,
author = "Yuzuru Hiraga and Yoshihiko Ono and Yamada-Hisao",
title = "An assignment of key-codes for a Japanese character
keyboard",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-12",
note = "The 8-th International Conference on Computational
Linguistics (ICCL 1980), September 30 - October 4,
1980, Tokyo Japan"
}
Formalism for design evolution, Tosiyasu L. Kunii, Kazunori Yamaguchi
@TechReport{is-80-13,
author = "Tosiyasu L. Kunii, Kazunori Yamaguchi",
title = "Formalism for design evolution",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-13",
note = "Proc. IEEE Computer Society's Fourth International
Computer Software \& Applications Conference
(Chicago, Oct. 29-31, 1980, in press)"
}
A coding system of Chinese characters for touch typing (A summary version), Jan Jinn-Ke and Yamada-Hisao
@TechReport{is-80-14,
author = "Jan Jinn-Ke and Yamada-Hisao",
title = "A coding system of Chinese characters for touch
typing (A summary version)",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-14",
note = "Proceedings of the International Computer
Conference: Hong Kong 1980, (October 13-15, 1980)
The Full Version of this report is issued as
Technical Report 80-09"
}
Long paths and large cycles in finite graphs, Hikoe Enomoto
@TechReport{is-80-15,
author = "Hikoe Enomoto",
title = "Long paths and large cycles in finite graphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-15"
}
Theory of symbolic expressions, Masahiko Sato
@TechReport{is-80-16,
author = "Masahiko Sato",
title = "Theory of symbolic expressions",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-16"
}
Integration of multivariate rationals in polyhedra by numerical analytic continuation, Eiichi Goto
@TechReport{is-80-17,
author = "Eiichi Goto",
title = "Integration of multivariate rationals in polyhedra
by numerical analytic continuation",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-17"
}
An evolutionary data base management system, J. C. Browne et.al.
@TechReport{is-80-18,
author = "J. C. Browne et.al.",
title = "An evolutionary data base management system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-18",
note = "IEEE Computer Society's Fourth International Computer
Software \& Applications Conference (COMPSAC 80, in
press )"
}
$BC1
@TechReport{is-80-19,
author = "$B8EEl(B $B3>(B and $B;3ED>0M&(B",
title = "$BC1
Extensibility: Theory, measure, and examples, Mamoru Maekawa
@TechReport{is-80-20,
author = "Mamoru Maekawa",
title = "Extensibility: Theory, measure, and examples",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-20",
note = "Accepted for the International Conference on
Parallel Processing, IEEE, 1980"
}
Extensibility and adaptability of distributed computing systems, Mamoru Maekawa
@TechReport{is-80-21,
author = "Mamoru Maekawa",
title = "Extensibility and adaptability of distributed
computing systems",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-21",
note = "IEEE Computer Society's Fourth International Computer
Software \& Applications Conference (Oct. 1980)"
}
A classification of process coordination schemes in descriptive power, Mamoru Maekawa
@TechReport{is-80-22,
author = "Mamoru Maekawa",
title = "A classification of process coordination schemes in
descriptive power",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-22",
note = "International Journal of Computer and Information
Sciences, Oct. 1980"
}
Evaluation and comparison of process coordination mechanisms, Mamoru Maekawa
@TechReport{is-80-23,
author = "Mamoru Maekawa",
title = "Evaluation and comparison of process
coordination mechanisms",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-23",
note = "Under review for Computing Surveys"
}
Moving objective lens and the Fraunhofer condition for pre-deflection, Hajime Ohiwa
@TechReport{is-80-24,
author = "Hajime Ohiwa",
title = "Moving objective lens and the Fraunhofer condition
for pre-deflection",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-24",
note = "Optik Vol. 53, No. 1, pp.63-68 (1979)"
}
User- and administrator- friendly architecture for interactive software development, Hiroyuki Kitagawa et. al.
@TechReport{is-80-25,
author = "Hiroyuki Kitagawa et. al.",
title = "User- and administrator- friendly architecture for
interactive software development",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-25",
note = "Proceedings of Applied Systems Research and
Cybernetics Congress 1980 (Pergamon Press, 1980)"
}
A primitive for non-recursive list processing, Masayuki Suzuki and Kiyoshi Ono and Eiichi Goto
@TechReport{is-80-26,
author = "Masayuki Suzuki and Kiyoshi Ono and Eiichi Goto",
title = "A primitive for non-recursive list processing",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1980,
number = "Technical Report 80-26"
}
Parallel sort and join for high speed database machine operations, Mamoru Maekawa
@TechReport{is-81-01,
author = "Mamoru Maekawa",
title = "Parallel sort and join for high speed database
machine operations",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-01",
note = "Proc. AFIPS National Computer Conference, Chicago,
Illinois, 1981."
}
Performance adjustment of a APL interpreter, Mamoru Maekawa
@TechReport{is-81-02,
author = "Mamoru Maekawa",
title = "Performance adjustment of a APL interpreter",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-02",
note = "Under review for IEEE Transactions on Software Engineering."
}
A proof method with program and data structure transformation, Satoru Kawai
@TechReport{is-81-03,
author = "Satoru Kawai",
title = "A proof method with program and data structure
transformation",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-03"
}
APAD: Application-adaptable database system - its architecture and design -, Hiroyuki Kitagawa and Tosiyasu L. Kunii
@TechReport{is-81-04,
author = "Hiroyuki Kitagawa and Tosiyasu L. Kunii",
title = "APAD: Application-adaptable database system - its
architecture and design -",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-04",
note = "In a book {"Database Engineering"}, co-ed. by S. B. Yao
and T. L. Kunii (Springer Verlag, Lecture Notes in
Computer Science, 1981)"
}
Pattern databases, Larry S. Davis and T. L. Kunii
@TechReport{is-81-05,
author = "Larry S. Davis and T. L. Kunii",
title = "Pattern databases",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-05",
note = "In a book {"Database Engineering"}, co-ed. by S. B.
Yao and T. L. Kunii (Springer Verlag, Lecture Notes in
Computer Science, 1981)"
}
On block-schematic Steiner systems, Hikoe Enomoto and Mitsuo Yoshizawa
@TechReport{is-81-06,
author = "Hikoe Enomoto and Mitsuo Yoshizawa",
title = "On block-schematic Steiner systems",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-06"
}
Optimal processor interconnection topologies, Mamoru Maekawa
@TechReport{is-81-07,
author = "Mamoru Maekawa",
title = "Optimal processor interconnection topologies",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-07",
note = "Proc. Eighth International Symposium on
Computer Architecture"
}
Analysis of clustering in linear probing, Hirokazu Murao
@TechReport{is-81-08,
author = "Hirokazu Murao",
title = "Analysis of clustering in linear probing",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-08",
note = "This report has been published in Journal of
Information Processing Vol.3, (1980), pp.87-92"
}
Efficient Gaussian elimination method for symbolic determinants and linear systems, Tateaki Sasaki and Hirokazu Murao
@TechReport{is-81-09,
author = "Tateaki Sasaki and Hirokazu Murao",
title = "Efficient Gaussian elimination method for symbolic
determinants and linear systems",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-09",
note = "First presented at WGSYM meeting of IPSJ on March 21
and June 19-21, 1980"
}
An incompleteness problem on a tessellation automaton with injective functions, Kaoru Kotoh and Yamada-Hisao
@TechReport{is-81-10,
author = "Kaoru Kotoh and Yamada-Hisao",
title = "An incompleteness problem on a tessellation
automaton with injective functions",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-10",
note = "This is a translation of the Japanese version which
appeared in: $BEE;RDL?.3X2qO@J8;o(B (Trans. IECE) Vol.
63-D, No.6 ('80/6) PP.485-492"
}
A noninjective mapping of periodic sequences by cellular automata, Masatosi Imori and Yamada-Hisao
@TechReport{is-81-11,
author = "Masatosi Imori and Yamada-Hisao",
title = "A noninjective mapping of periodic sequences by
cellular automata",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-11",
note = "Invited Paper: 4th Australian Computer Science
Conference; Brisbane, Queensland, Australia: May
11-13, 1981 "
}
A high performance database machine, Mamoru Maekawa
@TechReport{is-81-12,
author = "Mamoru Maekawa",
title = "A high performance database machine",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-12",
note = "Under review for ACM Transactions of Data Base Systems"
Theory of symbolic expressions, I, Masahiko Sato
@TechReport{is-81-13,
author = "Masahiko Sato",
title = "Theory of symbolic expressions, I",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-13"
}
Logical framework of a picture database computer, Kazunori Yamaguchi and Tosiyasu L. Kunii
@TechReport{is-81-14,
author = "Kazunori Yamaguchi and Tosiyasu L. Kunii",
title = "Logical framework of a picture database computer",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-14",
note = "To appear in the Proceedings of 1981 IEEE Computer
Society Workshop on Computer Architecture for
Pattern Analysis and Image Database Management (Hot
Springs, Virginia, November 11-13, 1981)"
}
Pictorial database systems, Shi-Kuo Chang and Tosiyasu L. Kunii
@TechReport{is-81-15,
author = "Shi-Kuo Chang and Tosiyasu L. Kunii",
title = "Pictorial database systems",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-15",
note = "To appear in IEEE Computer"
}
On topology preservation property of local parallel operations, Satoru Kawai
@TechReport{is-81-16,
author = "Satoru Kawai",
title = "On topology preservation property of local
parallel operations",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 8l-16"
}
Combinatorially homogeneous graphs, Hikoe Enomoto
@TechReport{is-81-17,
author = "Hikoe Enomoto",
title = "Combinatorially homogeneous graphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 8l-17"
}
Design and implementation of a form management system APAD using ADABAS/INQ DBMS, Hiroyuki Kitagawa and Tosiyasu L. Kunii and Yoshioki Ishii
@TechReport{is-81-18,
author = "Hiroyuki Kitagawa and Tosiyasu L. Kunii and Yoshioki Ishii",
title = "Design and implementation of a form management
system APAD using ADABAS/INQ DBMS",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-18",
note = "Proc. of the IEEE Computer Society's Fifth
International Computer Software and Applications
Conference, Chicago, (Nov. 18-20, 1981)"
}
The linear arboricity of 5-regular graphs, Hikoe Enomoto
@TechReport{is-81-19,
author = "Hikoe Enomoto",
title = "The linear arboricity of 5-regular graphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-19"
}
A graph-based hardware design specification system, Atsushi Iizawa and Tosiyasu L. Kunii and Satoru Kawai
@TechReport{is-81-20,
author = "Atsushi Iizawa and Tosiyasu L. Kunii and Satoru Kawai",
title = "A graph-based hardware design specification system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-20",
note = "Proc. of the Fifteenth Annual Hawaii International
Conference on System Sciences (Jan. 6-8, 1982, Hawaii)"
}
Form transformer - formal aspects of table nests manipulation -, Hiroyuki Kitagawa and Tosiyasu L. Kunii
@TechReport{is-81-21,
author = "Hiroyuki Kitagawa and Tosiyasu L. Kunii",
title = "Form transformer - formal aspects of table nests
manipulation -",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-21",
note = "Porc. of the Fifteenth Annual Hawaii International
Conference on System Sciences (Jan. 6-8, 1982, Hawaii)"
}
Adaptation and personalization of VLSI-based computer architecture, Chiaki Ishikawa and Ken Sakamura and Mamoru Maekawa
@TechReport{is-81-22,
author = "Chiaki Ishikawa and Ken Sakamura and Mamoru Maekawa",
title = "Adaptation and personalization of VLSI-based
computer architecture",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1981,
number = "Technical Report 81-22",
note = "A slightly modified version appears in the
proceedings of the 14th Annual IEEE-ACM
Microprogramming Workshop (MICRO14)"
}
Topology preserving parallel operations on hexagonal lattice points, Satoru Kawai
@TechReport{is-82-01,
author = "Satoru Kawai",
title = "Topology preserving parallel operations on hexagonal
lattice points",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1982,
number = "Technical Report 82-01",
note = "To appear in Journal of Information Processing"
}
Minimum number of edges in graphs with given diameter and connectivity, I, Hikoe Enomoto and Yoko Usami
@TechReport{is-82-02,
author = "Hikoe Enomoto and Yoko Usami",
title = "Minimum number of edges in graphs with given
diameter and connectivity, I",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1982,
number = "Technical Report 82-02"
}
A proof description language and its reduction system, Masami Hagiya
@TechReport{is-82-03,
author = "Masami Hagiya",
title = "A proof description language and its reduction system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1982,
number = "Technical Report 82-03"
}
Hyperlisp, Masahiko Sato and Masami Hagiya
@TechReport{is-82-04,
author = "Masahiko Sato and Masami Hagiya",
title = "Hyperlisp",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1982,
number = "Technical Report 82-04",
note = "Algorithmic Languages, Proceedings of the
International Symposium on Algorithmic Languages,
North-Holland, 1981"
}
Algebraic structure of symbolic expressions, Masahiko Sato
@TechReport{is-82-05,
author = "Masahiko Sato",
title = "Algebraic structure of symbolic expressions",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1982,
number = "Technical Report 82-05"
}
One step transformation of periodic sequences by cellular automata, Yamada-Hisao and Masatosi Imori
@TechReport{is-82-06,
author = "Yamada-Hisao and Masatosi Imori",
title = "One step transformation of periodic sequences by
cellular automata",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1982,
number = "Technical Report 82-06",
note = "A slightly edited version accepted for publication
by the SIAM Journal on Computing"
}
High level machine design by dynamic tuning, Ken Sakamura and Chiaki Ishikawa
@TechReport{is-82-07,
author = "Ken Sakamura and Chiaki Ishikawa",
title = "High level machine design by dynamic tuning",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1982,
number = "Technical Report 82-07"
}
The impact of VLSI technology on computer architecture, Ken Sakamura and Chiaki Ishikawa
@TechReport{is-82-08,
author = "Ken Sakamura and Chiaki Ishikawa",
title = "The impact of VLSI technology on computer architecture",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1982,
key = "VLSI $B%3%s%T%e!<%?(B $B%"!<%-%F%/%A%c(B $B!?(B $B:dB<(B $B7r(B ,
$B@P@n@i=)(B",
number = "Technical Report 82-08"
}
Design of a Lisp machine - FLATS, E. Goto et. al.
@TechReport{is-82-09,
author = "E. Goto et. al.",
title = "Design of a Lisp machine - FLATS",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1982,
number = "Technical Report 82-09",
note = "The 1982 ACM Symposium on LISP and Functional Programming"
}
Some results on factors, Akira Saito and Mikio Kano
@TechReport{is-82-10,
author = "Akira Saito and Mikio Kano",
title = "Some results on factors",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1982,
number = "Technical Report 82-10"
}
Human factors aspects in the touch typing of Japanese text, Yamada-Hisao
@TechReport{is-82-11,
author = "Yamada-Hisao",
title = "Human factors aspects in the touch typing of
Japanese text",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1982,
number = "Technical Report 82-11",
note = "Invited Paper, 6th International Conference on
Software Engineering, Sept. 13-16, 1982, Tokyo, Japan"
}
PICCOLO logic for a picture database computer and its implementation, K. Yamaguchi and T.L. Kunii
@TechReport{is-82-12,
author = "K. Yamaguchi and T.L. Kunii",
title = "PICCOLO logic for a picture database computer and
its implementation",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1982,
number = "Technical Report 82-12",
note = "To appear in IEEE Transaction on Computers"
}
Topology quasi-preservation by local parallel operations, Satoru Kawai
@TechReport{is-82-13,
author = "Satoru Kawai",
title = "Topology quasi-preservation by local parallel operations",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1982,
number = "Technical Report 82-13",
note = "To appear in Computer Graphics and Image Processing"
}
Certain problems associated with the design of input keyboards for Japanese writing, Yamada-Hisao
@TechReport{is-82-14,
author = "Yamada-Hisao",
title = "Certain problems associated with the design of input
keyboards for Japanese writing",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1982,
number = "Technical Report 82-14",
note = "A Chapter in Cognitive Aspects of Skilled
Typewriting, William E. Cooper (ed.),
Springer-Verlag, 1983"
}
A software development system supported by a database of structures and operations, Katsumi Kanasaki, Kazunori Yamaguchi, Tosiyasu L. Kunii
@TechReport{is-82-15,
author = "Katsumi Kanasaki, Kazunori Yamaguchi,
Tosiyasu L. Kunii",
title = "A software development system supported by a
database of structures and operations",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1982,
number = "Technical Report 82-15",
note = "To appear in the Compsac '82"
}
An enhanced oct-tree data structure and operation for solid modeling, K. Fujimura et. al.
@TechReport{is-83-01,
author = "K. Fujimura et. al.",
title = "An enhanced oct-tree data structure and operation
for solid modeling",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
number = "Technical Report 83-01",
note = "To appear in the Proceedings of Computer-Aided
Geometry Modeling Symposium, April 20-22, Hampton,
Virginia sponsored by NASA Langley Research Center"
}
Weakly 4-linked graphs, Hikoe Enomoto and Akira Saito
@TechReport{is-83-02,
author = "Hikoe Enomoto and Akira Saito",
title = "Weakly 4-linked graphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
number = "Technical Report 83-02"
}
A $\sqrt\cal N$ algorithm for mutual exclusion in decentralized systems, Mamoru Maekawa
@TechReport{is-83-03,
author = "Mamoru Maekawa",
title = "A {$\sqrt{\cal N}$} algorithm for mutual exclusion in
decentralized systems",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
number = "Technical Report 83-03"
}
Oct-tree algorithms for solid modeling, K. Fujimura et. al.
@TechReport{is-83-04,
author = "K. Fujimura et. al.",
title = "Oct-tree algorithms for solid modeling",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
number = "Technical Report 83-04",
note = "To appear in the proceedings of InterGraphics '83"
}
An examination of typing process in terms of interference between simultaneously executed heterogeneous tasks, Yamada-Hisao
@TechReport{is-83-05,
author = "Yamada-Hisao",
title = "An examination of typing process in terms of
interference between simultaneously executed
heterogeneous tasks",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
key = "$B0[D$N4QE@$+$i9M;!$7$?%?%$%W:n6H(B / $B;3ED>0M&(B",
number = "Technical Report 83-05",
note = "Originally : $B;3ED>0M&(B, $B=>F1;~PvITF1F0:n;~H/@8(B
$B43>qE*3QEYMh9M;!BG;z:n6H(B , 1983 International
Conference on Chinese Information Processing,
Beijing, Oct. 12-14, 1983. (in Chinese)
This version is about 25% longer than the original
Chinese version, which is appended."
}
Some issues of basic research concerning Japanese input methods for professional typists, Yamada-Hisao
@TechReport{is-83-06,
author = "Yamada-Hisao",
title = "Some issues of basic research concerning Japanese
input methods for professional typists",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
key = "$B@lG$%?%$%T%9%H$K$h$kF|K\J8F~NOJ}<0$K4X$9$k(B
$B4pACE*8&5f2]Bj(B / $B;3ED>0M&(B",
number = "Technical Report 83-06",
note = "To appear in 1983 in The Journal of the Institute of
Electronics and Communication Engineers of Japan
$BEE;RDL?.3X2q;o(B"
}
Cognitive aspects of reflex-code typing for Japanese text, Hiroshi Watanabe et. al.
@TechReport{is-83-07,
author = "Hiroshi Watanabe et. al.",
title = "Cognitive aspects of reflex-code typing for
Japanese text",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
key = "$BH?
Multimedia machine, Mamoru Maekawa et. al.
@TechReport{is-83-08,
author = "Mamoru Maekawa et. al.",
title = "Multimedia machine",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
number = "Technical Report 83-08",
note = "Accepted for presentation at IFIP Congress 83 and
will be included in the proceedings."
}
Qute: a Prolog/Lisp type language for logic programming, Masahiko Sato and Takafumi Sakurai
@TechReport{is-83-09,
author = "Masahiko Sato and Takafumi Sakurai",
title = "Qute: a Prolog/Lisp type language for logic programming",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
number = "Technical Report 83-09",
note = "Proceedings of the Eighth International Joint
Conference on Artificial Intelligence (to appear)"
}
Prolog and inductive definition, Takafumi Sakurai
@TechReport{is-83-10,
author = "Takafumi Sakurai",
title = "Prolog and inductive definition",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
number = "Technical Report 83-10"
}
Mixer: an expert system for microprogramming, Toru Shimizu and Ken Sakamura
@TechReport{is-83-12,
author = "Toru Shimizu and Ken Sakamura",
title = "Mixer: an expert system for microprogramming",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
number = "Technical Report 83-12",
note = "To be appeared in Proceedings of the 16th Annual
Microprogramming Workshop (MICRO-16)"
}
Another brain wave study of cerebral hemisphericity in Japanese touch typing, Takeshi Okadome et. al.
@TechReport{is-83-13,
author = "Takeshi Okadome et. al.",
title = "Another brain wave study of cerebral hemisphericity
in Japanese touch typing",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
number = "Technical Report 83-13",
note = "This research has been partially supported by a
Grant-in-Aid for Special Project Research,
{"Standardization of Natural Language,"} of the
Ministry of Education, Science and Culture of Japan"
}
Octree related data structures and algorithms, K. Yamaguchi et. al.
@TechReport{is-83-14,
author = "K. Yamaguchi et. al.",
title = "Octree related data structures and algorithms",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
number = "Technical Report 83-14",
note = "To appear in IEEE Computer Graphics and Applications,
December, 1983"
}
A layered string data structure for an octree model, K. Yamaguchi and T.L. Kunii
@TechReport{is-83-15,
author = "K. Yamaguchi and T.L. Kunii",
title = "A layered string data structure for an octree model",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
number = "Technical Report 83-15",
note = "To appear in the Proc. of IEEE CAPAIDM, Pasadena,
October, 1983"
}
Computer integrated manufacturing of surfaces using octree encoding a preliminary report, K. Yamaguchi et. al
@TechReport{is-83-16,
author = "K. Yamaguchi et. al",
title = "Computer integrated manufacturing of surfaces using
octree encoding a preliminary report",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
number = "Technical Report 83-16",
note = "To appear in IEEE Computer Graphics and Applications,
December, 1983"
}
Graph-based design specification of parallel computation, Atsushi Iizawa and Tosiyasu L. Kunii
@TechReport{is-83-17,
author = "Atsushi Iizawa and Tosiyasu L. Kunii",
title = "Graph-based design specification of parallel computation",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1983,
number = "Technical Report 83-17",
note = "To appear in {"VLSI Engineering -beyond Software
Engineering-,"} ed. by T.L. Kunii (Springer Verlag)"
}
Top-down VLSI design experiments on a picture database computer, Kazunori Yamaguchi and Tosiyasu L. Kunii
@TechReport{is-84-01,
author = "Kazunori Yamaguchi and Tosiyasu L. Kunii",
title = "Top-down VLSI design experiments on a picture
database computer",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1984,
number = "Technical Report 84-01",
note = "To appear in {VLSI Engineering -beyond Software
Engineering,-"} ed. by T.L. Kunii (Springer Verlag)"
}
Disjoint shortest paths in graphs, Akira Saito and Hikoe Enomoto
@TechReport{is-84-02,
author = "Akira Saito and Hikoe Enomoto",
title = "Disjoint shortest paths in graphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1984,
number = "Technical Report 84-02"
}
Toughness and n-factors of finite graphs, Hikoe Enomoto and Akira Saito
@TechReport{is-84-03,
author = "Hikoe Enomoto and Akira Saito",
title = "Toughness and n-factors of finite graphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1984,
number = "Technical Report 84-03",
note = "Submitted to the Journal of Graph Theory"
}
Theory of symbolic expressions, II, Masahiko Sato
@TechReport{is-84-04,
author = "Masahiko Sato",
title = "Theory of symbolic expressions, II",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1984,
number = "Technical Report 84-04"
}
A cerebral view of task optimality in Japanese text typing, Takeshi Okadome et. al.
@TechReport{is-84-05,
author = "Takeshi Okadome et. al.",
title = "A cerebral view of task optimality in Japanese text typing",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1984,
number = "Technical Report 84-05",
note = "First IFIP Conference on Human-Computer Interaction
(INTERACT '84), London, September 4-7, 1984"
On the possibility of memory enhancement by coloring the array-correspondence code table of Kanzi, Yamada-Hisao
@TechReport{is-84-06,
author = "Yamada-Hisao",
title = "On the possibility of memory enhancement by coloring
the array-correspondence code table of Kanzi",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1984,
key = "$B4A;z$N0LCVBP1~%3!<%II=$N?'$E$1$K$h$k5-216/2=$N2DG=@-(B
$B$K$D$$$F(B / $B;3ED>0M&(B",
number = "Technical Report 84-06"
}
A theory of color coding in the array-correspondence code table for Kanzi input, Yamada-Hisao
@TechReport{is-84-07,
author = "Yamada-Hisao",
title = "A theory of color coding in the array-correspondence
code table for Kanzi input",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1984,
key = "$B4A;z$N0LCVBP1~%3!<%II=$NG[?'M}O@(B / $B;3ED>0M&(B",
number = "Technical Report 84-07"
}
Toughness and the existence of k-factors. II, Hikoe Enomoto
@TechReport{is-84-08,
author = "Hikoe Enomoto",
title = "Toughness and the existence of k-factors. II",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1984,
number = "Technical Report 84-08",
note = "Submitted to Graphs and Combinatorics"
}
Qute: a functional language based on unification, Masahiko Sato and Takafumi Sakurai
@TechReport{is-84-09,
author = "Masahiko Sato and Takafumi Sakurai",
title = "Qute: a functional language based on unification",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1984,
number = "Technical Report 84-09",
note = "International Conference on Fifth Generation
Computer Systems 1984"
}
Graphics for view dependent aspect determination, Tomihisa Kamada and Satoru Kawai
@TechReport{is-84-10,
author = "Tomihisa Kamada and Satoru Kawai",
title = "Graphics for view dependent aspect determination",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1984,
number = "Technical Report 84-10"
}
A brain wave study of cerebral hemisphericity in English typists, OKADOME Takesi et. al.
@TechReport{is-84-11,
author = "OKADOME Takesi et. al.",
title = "A brain wave study of cerebral hemisphericity in
English typists",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1984,
number = "Technical Report 84-11"
}
Toughness and the existence of $\cal k$-factors. III, Hikoe Enomoto
@TechReport{is-84-12,
author = "Hikoe Enomoto",
title = "Toughness and the existence of {$\cal k$}-factors. III",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1984,
number = "Technical Report 84-12"
}
A summary of research on Japanese input methods for skilled typists, YAMADA-Hisao
@TechReport{is-84-13,
author = "YAMADA-Hisao",
title = "A summary of research on Japanese input methods for
skilled typists",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1984,
key = "$B@lG$%?%$%T%9%H8~$-%?%$%WF~NOK!$N8&5f7P2a(B / $B;3ED>0M&(B",
number = "Technical Report 84-13",
note = "Invited Paper by {"Computer Software"} (Journal of
Japan Society for Software Science and Technology)"
}
On component factors, Y. Egawa and H. Enomoto and A. Saito
@TechReport{is-85-01,
author = "Y. Egawa and H. Enomoto and A. Saito",
title = "On component factors",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-01"
}
Factors and induced subgraphs, Yoshimi Egawa and Hikoe Enomoto and Akira Saito
@TechReport{is-85-02,
author = "Yoshimi Egawa and Hikoe Enomoto and Akira Saito",
title = "Factors and induced subgraphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-02"
}
Contractible edges in 3-connected graphs, Kiyoshi Ando and Hikoe Enomoto and Akira Saito
@TechReport{is-85-03,
author = "Kiyoshi Ando and Hikoe Enomoto and Akira Saito",
title = "Contractible edges in 3-connected graphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-03"
}
In the field of Japanese writing system, YAMADA-Hisao
@TechReport{is-85-04,
author = "YAMADA-Hisao",
title = "In the field of Japanese writing system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
key = "$BF|K\8lI=5-K!$N<~JU$K$F(B / $B;3ED>0M&(B",
number = "Technical Report 85-04"
}
A simple but systematic CSG system, Tosiyasu L. Kunii and Geoff Wyvill
@TechReport{is-85-05,
author = "Tosiyasu L. Kunii and Geoff Wyvill",
title = "A simple but systematic CSG system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-05",
note = "Proc. of Graphics Interface '85 (Montreal, May, 1985
in press)"
}
ANIMENGINE : an engineering animation system, Tsukasa Noma and Tosiyasu L. Kunii
@TechReport{is-85-06,
author = "Tsukasa Noma and Tosiyasu L. Kunii",
title = "ANIMENGINE : an engineering animation system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-06",
note = "Proc. of Graphics Interface '85 (Montreal, May, 1985
in press)"
A formalization for the specification and systematic generation of computer graphics systems, Tamiya Onodera and Satoru Kawai
@TechReport{is-85-07,
author = "Tamiya Onodera and Satoru Kawai",
title = "A formalization for the specification and systematic
generation of computer graphics systems",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-07",
note = "To appear in the Proceedings of Computer Graphics
Tokyo 85."
}
Toughness and the existence of $\kappa$-factors. IV, Hikoe Enomoto
@TechReport{is-85-08,
author = "Hikoe Enomoto",
title = "Toughness and the existence of {$\kappa$}-factors. IV",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-08"
}
Contractible edges in triangle-free graphs, Yoshimi Egawa and Hikoe Enomoto and Akira Saito
@TechReport{is-85-09,
author = "Yoshimi Egawa and Hikoe Enomoto and Akira Saito",
title = "Contractible edges in triangle-free graphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-09"
}
Development of TRON chip: a single chip VLSI computer architecture in the 1990's, Ken Sakamura
@TechReport{is-85-10,
author = "Ken Sakamura",
title = "Development of TRON chip: a single chip VLSI
computer architecture in the 1990's",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-10",
note = "To appear in IFIP VLSI 85"
}
Automatic tuning of multi-task program for real-time embedded system, Toru Shimizu and Ken Sakamura
@TechReport{is-85-11,
author = "Toru Shimizu and Ken Sakamura",
title = "Automatic tuning of multi-task program for real-time
embedded system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-11",
note = "To appear in the Proceedings of the 8th
International Conference on Software Engineering"
}
Non-separating induced cycles in 3-connected graphs, Katsuhiro Ota and Akira Saito
@TechReport{is-85-12,
author = "Katsuhiro Ota and Akira Saito",
title = "Non-separating induced cycles in 3-connected graphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-12"
}
Typed logical calculus, Masahiko Sato
@TechReport{is-85-13,
author = "Masahiko Sato",
title = "Typed logical calculus",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-13"
}
Form transformer - a formalism for office form manipulation - , Hiroyuki Kitagawa and Tosiyasu L. Kunii
@TechReport{is-85-14,
author = "Hiroyuki Kitagawa and Tosiyasu L. Kunii",
title = "Form transformer - a formalism for office form
manipulation - ",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-14",
note = "Operating Systems Engineering : Proc. of the 14th
IBM Computer Science Symposium"
}
A menu generator for audio visual networks, Tosiyasu L. Kunii and Yukari Shirota and Tsukasa Noma
@TechReport{is-85-15,
author = "Tosiyasu L. Kunii and Yukari Shirota and Tsukasa Noma",
title = "A menu generator for audio visual networks",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-15",
note = "To appear in Application Development Systems, T.L.
Kunii ed, Springer-Verlag"
}
Contractible edges in graphs with large minimum degree, Akira Saito
@TechReport{is-85-16,
author = "Akira Saito",
title = "Contractible edges in graphs with large minimum degree",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-16"
}
Multimedia workstation - PIE, Masataka Ohta et. al.
@TechReport{is-85-17,
author = "Masataka Ohta et. al.",
title = "Multimedia workstation - PIE",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-17",
note = "Submitted to AFIPS National Computer Conference"
}
Multimedia information processing based on a general media model, Masataka Ohta et. al.
@TechReport{is-85-18,
author = "Masataka Ohta et. al.",
title = "Multimedia information processing based on a general
media model",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-18",
note = "Submitted to IFIP CONGRESS '86"
}
A relational data base schema for describing complex pictures with color and texture, Tosiyasu L. Kunii and Stephen Weyl and Jay M. Tenenbaum
@TechReport{is-85-19,
author = "Tosiyasu L. Kunii and Stephen Weyl and Jay M. Tenenbaum",
title = "A relational data base schema for describing complex
pictures with color and texture",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-19",
note = "Proc. of 2nd Int. Joint Conference on Pattern
Recognition, Denmark 1974, pp.310-316, [also
available as Stanford Research Institute Technical
Note 93, SRI Project 8721 (June 1974) and reprinted
in Policy Analysis and Information Systems, Vol. 1,
No. 2, pp.127-142 (January 1978)]"
}
Analysis of flux input and output Josephson pair device, K.F. Loe and E. Goto
@TechReport{is-85-20,
author = "K.F. Loe and E. Goto",
title = "Analysis of flux input and output Josephson pair device",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1985,
number = "Technical Report 85-20",
note = "IEEE Transactions on Magnetics, Vol. MAG-21,
p.884-887 (l985)"
}
Pseudo-random rounding for truncated multipliers, N. Yoshida and E. Goto and S. Ichikawa
@TechReport{is-86-01,
author = "N. Yoshida and E. Goto and S. Ichikawa",
title = "Pseudo-random rounding for truncated multipliers",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-01",
note = "Reprinted from Proceedings of 3rd RIKEN Symposium on
Josephson Electronics"
}
An interactive fashion design system 'INFADS', Tosiyasu L. Kunii et. al.
@TechReport{is-86-02,
author = "Tosiyasu L. Kunii et. al.",
title = "An interactive fashion design system 'INFADS'",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-02",
note = "Paper presented at 1st ACM SIGGRAPH Conference,
15-17, July, 1974, Boulder, Colorado"
}
NARA: a two-way simultaneous interpretation system between Korean and Japanese - a methodological study - , Hee Sung Chung and Tosiyasu and L. Kunii
@TechReport{is-86-03,
author = "Hee Sung Chung and Tosiyasu and L. Kunii",
title = "NARA: a two-way simultaneous interpretation system
between Korean and Japanese - a methodological study
- ",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-03",
note = "to appear in COLING 86, Bonn"
}
G-quadtree: a hierarchical representation of gray-scale digital images, Tosiyasu L. Kunii and Issei Fujishiro and Xiaoyang Mao
@TechReport{is-86-04,
author = "Tosiyasu L. Kunii and Issei Fujishiro and Xiaoyang Mao",
title = "G-quadtree: a hierarchical representation of
gray-scale digital images",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-04",
note = "To appear in The Visual Computer: An International
Journal of Computer Graphics, Vol. 2, No. 4"
}
A simple method for computing general position in displaying three-dimensional objects, Tomihisa Kamada and Satoru Kawai
@TechReport{is-86-05,
author = "Tomihisa Kamada and Satoru Kawai",
title = "A simple method for computing general position in
displaying three-dimensional objects",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-05"
}
A sufficient condition for a bipartite graph to have a k-factor, Hikoe Enomoto and Katsuhiro Ota
@TechReport{is-86-06,
author = "Hikoe Enomoto and Katsuhiro Ota",
title = "A sufficient condition for a bipartite graph to have
a k-factor",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-06"
}
The number of the contractible edges in 3-connected graphs, Katsuhiro Ota
@TechReport{is-86-07,
author = "Katsuhiro Ota",
title = "The number of the contractible edges in
3-connected graphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-07"
}
On randomly n-cyclic digraphs, Yoshimi Egawa and Takashi Miyamoto and Sergio Ruiz
@TechReport{is-86-08,
author = "Yoshimi Egawa and Takashi Miyamoto and Sergio Ruiz",
title = "On randomly n-cyclic digraphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-08"
}
A general method to expand functional programs, Peixiong Tang and Nobuo Yoneda
@TechReport{is-86-09,
author = "Peixiong Tang and Nobuo Yoneda",
title = "A general method to expand functional programs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-09",
note = "To be submitted to Acta Informatica"
}
$B5;=Q3W?7$HF|K\8l$N$f$/$((B- $B%R%e!<%^%s(B $B%$%s%?%U%'!<%9(B $B$N;kE@$+$i(B, $B;3ED>0M&(B
@TechReport{is-86-10,
author = "$B;3ED>0M&(B",
title = "$B5;=Q3W?7$HF|K\8l$N$f$/$((B- $B%R%e!<%^%s(B $B%$%s%?%U%'!<%9(B
$B$N;kE@$+$i(B",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
key = "Technological innovations and the vicissitude of
Japanese language: a viewpoint from human interface
/ YAMADA Hisao",
number = "Technical Report 86-10",
note = "A key note lecture at the International Symposium on
the History and the Future of Kanji-Based Cultures,
May 19-20, 1986, Tokyo. [$B9q:]%7%s%]%8%&%`(B, $B4A;zJ82=(B
$B$NNr;K$H>-Mh(B $B4pD49V1i(B]"
}
Multiwindow screens without window overlapping, Mamoru Maekawa
@TechReport{is-86-11,
author = "Mamoru Maekawa",
title = "Multiwindow screens without window overlapping",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 11",
note = "EUROMICRO 86"
}
, $B;3ED>0M&(B
@TechReport{is-86-12,
author = "$B;3ED>0M&(B",
title = "$B%3%_%e%K%1!<%7%g%s%D!<%k$H$7$F$N%I%-%e%a%s%H$N=EMW@-(B
- $B%"%a%j%+$G$NBN83$rDL$7$F(B -",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
key = "Importance of documents as a communication tool: a
view based on personal experience in U.S.A./ YAMADA Hisao",
number = "Technical Report 86-12",
note = "A Talk given at the First Documentation Engineering
Institute Seminar, Tokyo, August 20, 1986"
}
$B%R%e!<%^%s%$%s%?%U%'!<%9$NG'CN2J3XE*B&LL(B, $B;3ED>0M&(B
@TechReport{is-86-13,
author = "$B;3ED>0M&(B",
title = "$B%R%e!<%^%s%$%s%?%U%'!<%9$NG'CN2J3XE*B&LL(B",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
key = "Some cognitive aspects of human interface / YAMADA Hisao",
number = "Technical Report 86-13",
note = "Keynote Lecture, The Second SICE Symposium on Human
Interface, Tokyo, October 29-30, 1986. [$BBh#22s7WB,<+(B
$BF0@)8f3X2q%R%e!<%^%s%$%s%?%U%'!<%9%7%s%]%8%&%`4pD49V(B
$B1i(B"
}
Codes with given distances, H. Enomoto et. al.
@TechReport{is-86-14,
author = "H. Enomoto et. al.",
title = "Codes with given distances",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-l4",
note = "To appear in Graphs and Combinatorics"
}
Object management and address space of GALAXY holonic processing system, Mamoru Maekawa et. al.
@TechReport{is-86-15,
author = "Mamoru Maekawa et. al.",
title = "Object management and address space of GALAXY
holonic processing system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-15",
note = "Submitted to IEEE Transactions on Software Engineering"
}
Extrapolated boundary element method for three dimensional inductance calculation, M. Hosoya and E. Goto and T. Soma
@TechReport{is-86-16,
author = "M. Hosoya and E. Goto and T. Soma",
title = "Extrapolated boundary element method for three
dimensional inductance calculation",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-16",
note = "Submitted to Journal of Computational Physics"
}
Local authentication in insecure environments, Satoru Kawai
@TechReport{is-86-17,
author = "Satoru Kawai",
title = "Local authentication in insecure environments",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-17"
}
Sufficient conditions for the existence of k-factors, Hikoe Enomoto and Yoshimi Egawa
@TechReport{is-86-18,
author = "Hikoe Enomoto and Yoshimi Egawa",
title = "Sufficient conditions for the existence of k-factors",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-18"
}
CPC(Cyclic Pipeline Computer) - an architecture suited for Josephson and pipelined-machines, Kentaro Shimizu and Eiichi Goto and Shuichi Ichikawa
@TechReport{is-86-19,
author = "Kentaro Shimizu and Eiichi Goto and Shuichi Ichikawa",
title = "CPC(Cyclic Pipeline Computer) - an architecture
suited for Josephson and pipelined-machines",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-19",
note = "Submitted to IEEE Transactions on Computer "
}
$B>pJs8r49$N, $BA0@n(B $B
@TechReport{is-86-20,
author = "$BA0@n(B $B
Ray coherence theorem and constant time ray tracing algorithm, Masataka Ohta and Mamoru Maekawa
@TechReport{is-86-21,
author = "Masataka Ohta and Mamoru Maekawa",
title = "Ray coherence theorem and constant time ray
tracing algorithm",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-21"
}
Anisotropic magnetic shielding, E. Goto and T. Soma
@TechReport{is-86-22,
author = "E. Goto and T. Soma",
title = "Anisotropic magnetic shielding",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1986,
number = "Technical Report 86-22"
}
Garbage collection for multimedia processing, Mamoru Maekawa and Masataka Ohta and Kentaro Shimizu
@TechReport{is-87-01,
author = "Mamoru Maekawa and Masataka Ohta and Kentaro Shimizu",
title = "Garbage collection for multimedia processing",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-01"
}
$BJ,;6=hM%7%9%F%`$K$*$1$kF1;~, $BA0@n(B $B
@TechReport{is-87-02,
author = "$BA0@n(B $B
Bounded ray tracing for perfect efficient anti-aliasing, Masataka Ohta and Mamoru Maekawa
@TechReport{is-87-03,
author = "Masataka Ohta and Mamoru Maekawa",
title = "Bounded ray tracing for perfect efficient anti-aliasing",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-03"
}
The implementation and experience of mutimedia workstation -PIE, Masataka Ohta et. al.
@TechReport{is-87-04,
author = "Masataka Ohta et. al.",
title = "The implementation and experience of mutimedia
workstation -PIE",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-04"
}
, $BA0@n(B $B
@TechReport{is-87-05,
author = "$BA0@n(B $B
Design of an efficient helium liquefier, Eiichi Goto and Nobuaki Yoshida
@TechReport{is-87-06,
author = "Eiichi Goto and Nobuaki Yoshida",
title = "Design of an efficient helium liquefier",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-06",
note = "will be submitted to a suitable journal after the
design is validated experimentally."
}
$B%?%$%WF~NO:n6H$N9=@.MWAG4V$K5/$3$k43>D(B, $B2,N1(B $B9d(B and $B>.LnK'I'(B and $B;3ED>0M&(B
@TechReport{is-87-07,
author = "$B2,N1(B $B9d(B and $B>.LnK'I'(B and $B;3ED>0M&(B",
title = "$B%?%$%WF~NO:n6H$N9=@.MWAG4V$K5/$3$k43>D(B",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
key = "Interference between structural elements of typing
task / OKADOME Takesi, ONO Yoshihiko, and YAMADA Hisao",
number = "Technical Report 87-07",
note = "Transactions of Information Processing Society of
Japan, Vol. 27 (l986) ($B>pJs=hM}3X2qO@J8;o!K(B"
}
An evaluation of performance difference between DSK and Qwerty keyboards, OKADOME Takesi and ONO Yoshihiko and and YAMADA Hisao
@TechReport{is-87-08,
author = "OKADOME Takesi and ONO Yoshihiko and and YAMADA Hisao",
title = "An evaluation of performance difference between DSK
and Qwerty keyboards",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-08"
}
$BG'CNE*, $B2,N1(B $B9d(B and $B>.LnK'I'(B and $B;3ED>0M&(B
@TechReport{is-87-09,
author = "$B2,N1(B $B9d(B and $B>.LnK'I'(B and $B;3ED>0M&(B",
title = "$BG'CNE*
$B2#=q$-$NNr;K(B - $B8=>u$HI>2A(B , $B;3ED>0M&(B
@TechReport{is-87-10,
author = "$B;3ED>0M&(B",
title = "$B2#=q$-$NNr;K(B - $B8=>u$HI>2A(B ",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
key = "Horizontal writing in Japanese: its history, present
state and evaluation / YAMADA Hisao",
number = "Technical Report 87-10",
note = "Bungaku ([$BJ83X(B]) Vol.55, No.6, June 1987, by Iwanami
Syoten ($B4dGH=qE9(B)"
}
$B%3!<%I2=F~NOJ<0$K$h$kF|K\J8%?%$%W:n6H;~$N>pJs=hM$N(B $BG'CNE*B&LL(B, $B2,N1(B $B9d(B and $B>.LnK'I'(B and $B;3ED>0M&(B
@TechReport{is-87-11,
author = "$B2,N1(B $B9d(B and $B>.LnK'I'(B and $B;3ED>0M&(B",
title = "$B%3!<%I2=F~NOJ}<0$K$h$kF|K\J8%?%$%W:n6H;~$N>pJs=hM}$N(B
$BG'CNE*B&LL(B",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
key = "Cognitive aspects of Japanese typing task with a
coded input method / OKADOME Takesi, ONO Yoshihiko,
and YAMADA Hisao",
number = "Technical Report 87-11"
}
VIRGO: a computer-aided apparel pattern-making system, Tsukasa Noma and Kojun Terai and Tosiyasu L. Kunii
@TechReport{is-87-12,
author = "Tsukasa Noma and Kojun Terai and Tosiyasu L. Kunii",
title = "VIRGO: a computer-aided apparel pattern-making system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-12",
note = "Advanced Computer Graphics: Proc. of Computer
Graphics Tokyo '86"
}
Reconstruction and cross-section generation of hierarchically represented 3D gray-scale digital images, Xiaoyang Mao et. al.
@TechReport{is-87-13,
author = "Xiaoyang Mao et. al.",
title = "Reconstruction and cross-section generation of
hierarchically represented 3D gray-scale digital images",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-13",
note = "To be presented at CG International '87 (Karuizawa,
Japan, May l987)"
}
Computer graphics for intelligent city planning and management, Tosiyasu L. Kunii and Yukari Shirota and Issei Fujishiro
@TechReport{is-87-14,
author = "Tosiyasu L. Kunii and Yukari Shirota and Issei Fujishiro",
title = "Computer graphics for intelligent city planning
and management",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987
} number = "Technical Report 87-14",
note = "To be presented at Imaginaire Num{\'{e}}rique as an
invited paper (Saint-Etienne, France, May 1987)
Extending external views on a link-oriented data model, Issei Fujishiro et. al.
@TechReport{is-87-15,
author = "Issei Fujishiro et. al.",
title = "Extending external views on a link-oriented data model",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-15",
note = "To appear in Proceedings of COMPSAC87"
}
The software structure of extended nucleus based on BTRON specification, Masaaki Kobayashi et. al.
@TechReport{is-87-16,
author = "Masaaki Kobayashi et. al.",
title = "The software structure of extended nucleus based on
BTRON specification",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-16",
note = "To appear in FJCC 87"
}
Design principle and configuration of CTRON, Tetsuo Wasano et. al.
@TechReport{is-87-17,
author = "Tetsuo Wasano et. al.",
title = "Design principle and configuration of CTRON",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-17",
note = "To appear in FJCC 87"
}
A unified formalization of basic concepts in computer graphics, Tamiya Onodera and Satoru Kawai
@TechReport{is-87-18,
author = "Tamiya Onodera and Satoru Kawai",
title = "A unified formalization of basic concepts in
computer graphics",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-18"
}
An enhanced treatment of hidden lines, Tomihisa Kamada and Satoru Kawai
@TechReport{is-87-19,
author = "Tomihisa Kamada and Satoru Kawai",
title = "An enhanced treatment of hidden lines",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-19",
note = "This paper will appear in the October 1987 issue of
ACM Transactions on Graphics"
}
Graphs of order \cal n with Minimum degree at least \cal n/3, Hikoe Enomoto and Atsushi Kaneko and Zsolt Tuza
@TechReport{is-87-20,
author = "Hikoe Enomoto and Atsushi Kaneko and Zsolt Tuza",
title = "Graphs of order {\cal n} with Minimum degree at
least {\cal n}/3",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-20"
}
Machine translation of natural language expressions including metaphors, SATAKE-Nobuo and YAMADA-Hisao
@TechReport{is-87-21,
author = "SATAKE-Nobuo and YAMADA-Hisao",
title = "Machine translation of natural language expressions
including metaphors",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-21"
}
The visualizing pipeline: a formalized model of visualization of graphical primitives, Tamiya Onodera and Satoru Kawai
@TechReport{is-87-22,
author = "Tamiya Onodera and Satoru Kawai",
title = "The visualizing pipeline: a formalized model of
visualization of graphical primitives",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-22"
}
Asymptotic evaluation of window visibility, Satoshi Matsuoka and Tomihisa Kamada and and Satoru Kawai
@TechReport{is-87-23,
author = "Satoshi Matsuoka and Tomihisa Kamada and and Satoru Kawai",
title = "Asymptotic evaluation of window visibility",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-23"
}
Hierarchical object groups in distributed operating systems., Kentaro Shimizu and Mamoru Maekawa and Jun Hamano
@TechReport{is-87-24,
author = "Kentaro Shimizu and Mamoru Maekawa and Jun Hamano",
title = "Hierarchical object groups in distributed operating
systems.",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-24",
note = "Submitted to The 8th International Conference on
Distributed Computing Systems"
}
Sharable memory-mapped files: an approach to shared memory in a distributed system, Jun Hamano and Mamoru Maekawa and Kentaro Shimizu
@TechReport{is-87-25,
author = "Jun Hamano and Mamoru Maekawa and Kentaro Shimizu",
title = "Sharable memory-mapped files: an approach to shared
memory in a distributed system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-25",
note = "Submitted to The 8th International Conference on
Distributed Computing Systems"
}
File access improvements in distributed systems by on-demand replication of files, Hyo Ashihara et. al.
@TechReport{is-87-26,
author = "Hyo Ashihara et. al.",
title = "File access improvements in distributed systems by
on-demand replication of files",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-26",
note = "Submitted to The 8th International Conference on
Distributed Computing Systems"
}
Implementation of multiwindow terminal interface programs on personal computers, Kentaro Shimizu and Haruhisa Ishida
@TechReport{is-87-27,
author = "Kentaro Shimizu and Haruhisa Ishida",
title = "Implementation of multiwindow terminal interface
programs on personal computers",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
key = "$B%[%9%H7W;;5!>e$G$N%^%k%A%?%9%/=hM}$r;Y1g$9$k(B
$B%^%k%A%&%#%s%I%&C
The design of a parallel processing system for computer graphics, Tosiyasu L. Kunii and Satoshi Nishimura and Tsukasa Noma
@TechReport{is-87-28,
author = "Tosiyasu L. Kunii and Satoshi Nishimura and Tsukasa Noma",
title = "The design of a parallel processing system for
computer graphics",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-28",
note = "To be presented at {Parallel Processing for Computer
Vision and Display}( University of Leeds, UK, Jan. 1988)"
}
The objectives of the TRON project, Ken Sakamura
@TechReport{is-87-29,
author = "Ken Sakamura",
title = "The objectives of the TRON project",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-29",
note = "Proceeding of the Third TRON Project Symposium, Nov.
13, 1987, Tokyo"
}
ITRON : an overview, Ken Sakamura
@TechReport{is-87-30,
author = "Ken Sakamura",
title = "ITRON : an overview",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-30",
note = "Proceeding of the Third TRON Project Symposium, Nov.
13, 1987, Tokyo"
}
BTRON : an overview, Ken Sakamura
@TechReport{is-87-31,
author = "Ken Sakamura",
title = "BTRON : an overview",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-31",
note = "Proceeding of the Third TRON Project Symposium, Nov.
13, 1987, Tokyo"
}
BTRON : human-machine interface, Ken Sakamura
@TechReport{is-87-32,
author = "Ken Sakamura",
title = "BTRON : human-machine interface",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-32",
note = "Proceeding of the Third TRON Project Symposium, Nov.
13, 1987, Tokyo"
}
Multi-language character sets handling in TAD, Ken Sakamura
@TechReport{is-87-33,
author = "Ken Sakamura",
title = "Multi-language character sets handling in TAD",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-33",
note = "Proceeding of the Third TRON Project Symposium, Nov.
13, 1987, Tokyo"
}
An implementation based on the BTRON specification, Ken Sakamura et. al.
@TechReport{is-87-34,
author = "Ken Sakamura et. al.",
title = "An implementation based on the BTRON specification",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-34",
note = "Proceeding of the Third TRON Project Symposium, Nov.
13, 1987, Tokyo"
}
$\mu$BTRON Bus : design and evaluation of musical data transfer, Ken Sakamura and Kanehisa Tsurumi and Hiro Kato
@TechReport{is-87-35,
author = "Ken Sakamura and Kanehisa Tsurumi and Hiro Kato",
title = "{$\mu$}BTRON Bus : design and evaluation of musical
data transfer",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-35",
note = "Proceeding of the Third TRON Project Symposium, Nov.
13, 1987, Tokyo"
}
An implementation of the TRON keyboard, Ken Sakamura and Sadao Tachibana
@TechReport{is-87-36,
author = "Ken Sakamura and Sadao Tachibana",
title = "An implementation of the TRON keyboard",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-36",
note = "Proceeding of the Third TRON Project Symposium, Nov.
13, 1987, Tokyo"
}
CTRON an overview, Ken Sakamura
@TechReport{is-87-37,
author = "Ken Sakamura",
title = "CTRON an overview",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-37",
note = "Proceeding of the Third TRON Project Symposium, Nov.
13, 1987, Tokyo"
}
Design of CTRON, Ken Sakamura et. al.
@TechReport{is-87-38,
author = "Ken Sakamura et. al.",
title = "Design of CTRON",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-38",
note = "Proceeding of the Third TRON Project Symposium, Nov.
13, 1987, Tokyo"
}
TRON VLSI CPU : concepts and architecture, Ken Sakamura
@TechReport{is-87-39,
author = "Ken Sakamura",
title = "TRON VLSI CPU : concepts and architecture",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-39",
note = "Proceeding of the Third TRON Project Symposium, Nov.
13, 1987, Tokyo"
}
An implementation based on the BTRON specification, Ken Sakamura et. al.
@TechReport{is-87-40,
author = "Ken Sakamura et. al.",
title = "An implementation based on the BTRON specification",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-40",
note = "To appear in IEEE Compcon Spring 1988"
}
The line graph of a regular and pancircular digraph is also regular and pancircular, Masatosi Imori and Makoto Matsumoto and Hisao Yamada
@TechReport{is-87-41,
author = "Masatosi Imori and Makoto Matsumoto and Hisao Yamada",
title = "The line graph of a regular and pancircular digraph
is also regular and pancircular",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 87-41",
note = "To appear in Graphs and Combinatorics"
}
On solving system of algebraic equations, Hidetsune Kobayashi and Shuichi Moritsugu and Robert W. Hogan
@TechReport{is-88-001,
author = "Hidetsune Kobayashi and Shuichi Moritsugu and Robert W. Hogan",
title = "On solving system of algebraic equations",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1987,
number = "Technical Report 88-001"
}
Integrated polytrees : a generalized model for integrating spatial decomposition and boundary representation,
@TechReport{is-88-002,
author = "Martin J. D{\"{u}}rst and Tosiyasu L. Kunii",
title = "Integrated polytrees : a generalized model for
integrating spatial decomposition and boundary
representation",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-002",
note = "Submitted to ACM SIGGRAPH '88"
}
Gemstonefire : adaptively dispersive ray tracing of polyhedrons, Ying Yuan et. al.
@TechReport{is-88-003,
author = "Ying Yuan et. al.",
title = "Gemstonefire : adaptively dispersive ray
tracing of polyhedrons",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-003",
note = "Submitted to ACM SIGGRAPH '88"
}
On the power series solution of a system of algebraic equations, S. Moritsugu et. al.
@TechReport{is-88-004,
author = "S. Moritsugu et. al.",
title = "On the power series solution of a system of
algebraic equations",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-004"
}
Drawing input through geometrical constructions: specification and applications, Tsukasa Noma et. al.
@TechReport{is-88-005,
author = "Tsukasa Noma et. al.",
title = "Drawing input through geometrical constructions:
specification and applications",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-005",
note = "Submitted to CG International '88"
}
The star-arboricity of the complete regular multipartite graphs, Yasukazu Aoki
@TechReport{is-88-006,
author = "Yasukazu Aoki",
title = "The star-arboricity of the complete regular
multipartite graphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-006"
}
Automatic display of network structures for human understanding, Tomihisa Kamada and Satoru Kawai
@TechReport{is-88-007,
author = "Tomihisa Kamada and Satoru Kawai",
title = "Automatic display of network structures for
human understanding",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-007"
}
, Yoshiki Kinoshita
@TechReport{is-88-008,
author = "Yoshiki Kinoshita",
title = "{"Mod-"} ---on attaching module concept to static
semantics of languages",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-008",
note = "To be submitted to the 6th Riken Symposium on
Functional Programming. An extended version is to be
submitted to Science of Computer Programming."
}
On the Yoneda Lemma and adjunctions, Makoto Matsumoto
@TechReport{is-88-009,
author = "Makoto Matsumoto",
title = "On the Yoneda Lemma and adjunctions",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-009"
}
Graph-based representation of fuzzy data, Yasuto Shirai and Issei Fujishiro and Tosiyasu L. Kunii
@TechReport{is-88-010,
author = "Yasuto Shirai and Issei Fujishiro and Tosiyasu L. Kunii",
title = "Graph-based representation of fuzzy data",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-010",
note = "To be presented at the 2nd Joint IFSA-EC and
EURO-WG Workshop, {"Progress in Fuzzy Sets in Europe"}
(Vienna, Austria, Apr. 1988)."
}
Basic operations of the quantum flux parametron, Yutaka Harada et. al.
@TechReport{is-88-011,
author = "Yutaka Harada et. al.",
title = "Basic operations of the quantum flux parametron",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-011",
note = "IEEE Trans. Magn., vol. MAG-23, pp. 3801-3807, Sept.
1987"
}
, Makoto Matsumoto and Norihide Tokushige
@TechReport{is-88-012,
author = "Makoto Matsumoto and Norihide Tokushige",
title = "The exact bound in the Erd{\"{o}}s-Ko-Rado theorem
for cross-intersecting families",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-012",
note = "To appear in J. Combin. Theory Ser. A"
}
Using Tuple space communication in distributed object-oriented languages, Satoshi Matsuoka and Satoru Kawai
@TechReport{is-88-013,
author = "Satoshi Matsuoka and Satoru Kawai",
title = "Using Tuple space communication in distributed
object-oriented languages",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-013",
note = "To be presented at the ACM SIGPLAN OOPSLA '88
Conference in September, 1988"
}
A computer readability formula of Japanese texts for machine scoring, TATEISI Yuka and ONO Yoshihiko and YAMADA Hisao
@TechReport{is-88-014,
author = "TATEISI Yuka and ONO Yoshihiko and YAMADA Hisao",
title = "A computer readability formula of Japanese texts for
machine scoring",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-014",
note = "To be presented at COLING '88"
}
Automatic menu-based software generator --specification definition by examples--, Yukari Shirota and Tosiyasu L. Kunii
@TechReport{is-88-015,
author = "Yukari Shirota and Tosiyasu L. Kunii",
title = "Automatic menu-based software generator
--specification definition by examples--",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-015",
note = "Presented at the meeting of the Special Interest
Group on Knowledge Base Systems (SIG-KBS), Japanese
Society for Artificial Intelligence (JSAI) held on
21 June, 1988 in Tokyo, and published as a technical
report SIG-KBS-8802-4(6/21)."
}
Names and name resolution in distributed operating systems, Kentaro Shimizu and Mamoru Maekawa
@TechReport{is-88-016,
author = "Kentaro Shimizu and Mamoru Maekawa",
title = "Names and name resolution in distributed
operating systems",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
key = "$BJ,;6%*%Z%l!<%F%#%s%0(B $B%7%9%F%`$K$*$1$kL>A04IM}(B",
number = "Technical Report 88-016"
}
A broadband local area network using the intelligent head-end, S. Saito and T.L. Kunii and H. Yoshida
@TechReport{is-88-017,
author = "S. Saito and T.L. Kunii and H. Yoshida",
title = "A broadband local area network using the intelligent
head-end",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-017",
note = "Proceedings of the Workshop on the Future Trend of
distributed Computing systems in the '90s, Hong
Kong, September, 1988."
}
Solving systems of algebraic equations, Hidetsune Kobayashi and Shuichi Moritsugu and R.W. Hogan
@TechReport{is-88-018,
author = "Hidetsune Kobayashi and Shuichi Moritsugu and R.W. Hogan",
title = "Solving systems of algebraic equations",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-018",
note = "To be presented at ISSAC '88"
}
The star arboricity of complete bipartite graphs, Hikoe Enomoto and Yoko Usami
@TechReport{is-88-019,
author = "Hikoe Enomoto and Yoko Usami",
title = "The star arboricity of complete bipartite graphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-019",
note = "Submitted to the Proceedings of the Sixth
International Conference on the Theory and
Applications of Graphs at Western Michigan University"
}
A simple proof of Nash-Williams' formula on the arboricity of a graph, Hikoe Enomoto
@TechReport{is-88-020,
author = "Hikoe Enomoto",
title = "A simple proof of Nash-Williams' formula on the
arboricity of a graph",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-020"
}
Mirror-symmetric graphs, Kiyoshi Ando and Hikoe Enomoto and Mikio Kano
@TechReport{is-88-021,
author = "Kiyoshi Ando and Hikoe Enomoto and Mikio Kano",
title = "Mirror-symmetric graphs",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-021"
}
A generalization of the Katona theorem for cross \cal T-intersecting families, Makoto Matsumoto and Norihide Tokushige
@TechReport{is-88-022,
author = "Makoto Matsumoto and Norihide Tokushige",
title = "A generalization of the Katona theorem for cross
{\cal T}-intersecting families",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-022",
note = "Submitted to Graphs and Combinatorics"
}
Walking through a human ear, Yasuya Nomura et. al.
@TechReport{is-88-023,
author = "Yasuya Nomura et. al.",
title = "Walking through a human ear",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-023",
note = "Presented at {Collegium Oto-Rhino-Laryngologicum
Amicitiae Sacrum} (October 23, 1988). To be
published in Acta Otolaryngol (Stockh)."
}
Error-free image compression using gray scale quadtrees,
@TechReport{is-88-024,
author = "Martin J. D{\"{u}}rst and Tosiyasu L. Kunii",
title = "Error-free image compression using gray scale quadtrees",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-024",
note = "Submitted to Computer Vision and Pattern Recognition
1989"
}
Bounds for the vertex linear arboricity, Makoto Matsumoto
@TechReport{is-88-025,
author = "Makoto Matsumoto",
title = "Bounds for the vertex linear arboricity",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-025",
note = "Submitted to J. of Graph Theory"
}
A mixed version of Menger's theorem, Yoshimi Egawa and Atsushi Kaneko and Makoto Matsumoto
@TechReport{is-88-026,
author = "Yoshimi Egawa and Atsushi Kaneko and Makoto Matsumoto",
title = "A mixed version of Menger's theorem",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-026",
note = "Submitted to Combinatorica"
}
The fixed point of an \cal M-sequence and local non-randomness, Makoto Matsumoto and Yoshiharu Kurita
@TechReport{is-88-027,
author = "Makoto Matsumoto and Yoshiharu Kurita",
title = "The fixed point of an {\cal M}-sequence and
local non-randomness",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-027"
}
TACL: TRON application control-flow language, Ken Sakamura
@TechReport{is-88-028,
author = "Ken Sakamura",
title = "TACL: TRON application control-flow language",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-028",
note = "Proceeding of the 5th TRON Project International
Symposium, December 8, 9, 1988 Tokyo"
}
TULS: TRON universal language system, Ken Sakamura
@TechReport{is-88-029,
author = "Ken Sakamura",
title = "TULS: TRON universal language system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-029",
note = "Proceeding of the 5th TRON Project International
Symposium, December 8, 9, 1988 Tokyo"
}
The type mechanism of the TIPE/L programming language, Hiroaki Takada and Ken Sakamura
@TechReport{is-88-030,
author = "Hiroaki Takada and Ken Sakamura",
title = "The type mechanism of the TIPE/L programming language",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-030",
note = "An abridged version of this report appeared in the
Proceeding of the 5th TRON Project International
Symposium, December 8, 9, 1988 Tokyo"
}
CTRON reference model, Tatsuo Wasano and Yoshizumi Kobayashi and Ken Sakamura
@TechReport{is-88-031,
author = "Tatsuo Wasano and Yoshizumi Kobayashi and Ken Sakamura",
title = "CTRON reference model",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-031",
note = "Proceeding of the 5th TRON Project International
Symposium, December 8, 9, 1988 Tokyo"
}
Natural language translation services in BTRON, Robert T. Myers and Ken Sakamura
@TechReport{is-88-032,
author = "Robert T. Myers and Ken Sakamura",
title = "Natural language translation services in BTRON",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-032",
note = "Proceeding of the 5th TRON Project International
Symposium, December 8, 9, 1988 Tokyo"
}
Design of MTRON: construction of the HFDS, Ken Sakamura
@TechReport{is-88-033,
author = "Ken Sakamura",
title = "Design of MTRON: construction of the HFDS",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1988,
number = "Technical Report 88-033",
note = "Proceeding of the 5th TRON Project International
Symposium, December 8, 9, 1988 Tokyo"
}
Design methodology for computer animation database systems, Myeong W. Lee and Tosiyasu L. Kunii
@TechReport{is-89-001,
author = "Myeong W. Lee and Tosiyasu L. Kunii",
title = "Design methodology for computer animation database systems",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-001",
note = "To be presented at {International Symposium on
Database Systems for Advanced Application} (April
10-12, 1989)"
}
PictureEditor: A 2D picture editing system based on geometric constructions and constraints, Nami Kin and Tsukasa Noma and Tosiyasu L. Kunii
@TechReport{is-89-002,
author = "Nami Kin and Tsukasa Noma and Tosiyasu L. Kunii",
title = "PictureEditor: A 2D picture editing system based on
geometric constructions and constraints",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-002",
note = "Proceedings of CG International '89, in press"
}
Reconstructing smooth surfaces from a series of contour lines using a homotopy, Yoshihisa Shinagawa et. al.
@TechReport{is-89-003,
author = "Yoshihisa Shinagawa et. al.",
title = "Reconstructing smooth surfaces from a series of
contour lines using a homotopy",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-003",
note = "To be presented at CG International {'89}"
}
AnimationDesign: a database oriented animation design method with a video image analysis capability, Myeong W. Lee and Tosiyasu L. Kunii
@TechReport{is-89-004,
author = "Myeong W. Lee and Tosiyasu L. Kunii",
title = "AnimationDesign: a database oriented animation
design method with a video image analysis capability",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-004",
note = "To be presented at Computer Animation {'89} (June
21-23, 1989)"
}
Cellular self-reproducing automata as a parallel processing model for botanical colony growth pattern simulation, Tosiyasu L. Kunii and Yoshiaki Takai
@TechReport{is-89-005,
author = "Tosiyasu L. Kunii and Yoshiaki Takai",
title = "Cellular self-reproducing automata as a parallel
processing model for botanical colony growth pattern
simulation",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-005",
note = "Proceedings of CG International '89, in press"
}
Sophisticated form-oriented database interface for non-programmers, Yukari Shirota and Yasuto Shirai and Tosiyasu L. Kunii
@TechReport{is-89-006,
author = "Yukari Shirota and Yasuto Shirai and Tosiyasu L. Kunii",
title = "Sophisticated form-oriented database interface
for non-programmers",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-006",
note = "Proceedings of IFIP TC-2 Working Conference on
Visual Database Systems held on 4-7 April, 1989 in
Tokyo, in press (North-Holland Publishing Company,
Amsterdam)"
}
A meta-architecture for machine translation, Robert T. Myers and Ken Sakamura
@TechReport{is-89-007,
author = "Robert T. Myers and Ken Sakamura",
title = "A meta-architecture for machine translation",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-007"
}
JPSG parser on constraint logic programming, TUDA,Hirosi and HASIDA, K\^oiti and SIRAI Hidetosi
@TechReport{is-89-008,
author = "TUDA,Hirosi and HASIDA, K{\^{o}}iti and SIRAI Hidetosi",
title = "JPSG parser on constraint logic programming",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-008",
note = "Submitted to the 4th Conference of the European
Chapter of the ACL"
}
Automatic generator for enhanced menu-based software -- program-specification-by-examples --, Yukari Shirota and Tosiyasu L. Kunii
@TechReport{is-89-009,
author = "Yukari Shirota and Tosiyasu L. Kunii",
title = "Automatic generator for enhanced menu-based software
-- program-specification-by-examples --",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-009",
note = "Proceedings of HCI INTERNATIONAL '89 3rd
International Conference on Human-Computer
Interaction held on 18-22 September, 1989 in Boston,
in press (ELSEVIER Science Publishers B.V., Amsterdam)"
}
Information-driven parallel pattern recognition through communicating processes --a case study on classification of wallpaper groups --, Tosiyasu L. Kunii and Satoshi Asami and Kaoru Maeda
@TechReport{is-89-010,
author = "Tosiyasu L. Kunii and Satoshi Asami and Kaoru Maeda",
title = "Information-driven parallel pattern recognition
through communicating processes --a case study on
classification of wallpaper groups --",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-010",
note = "Artificial Intelligence and Communicating Process
Architecture Conference, London, 1989"
}
Graph-based formulation of fuzzy data, Yasuto Shirai and Issei Fujishiro and Tosiyasu L. Kunii
@TechReport{is-89-011,
author = "Yasuto Shirai and Issei Fujishiro and Tosiyasu L. Kunii",
title = "Graph-based formulation of fuzzy data",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-011",
note = "To appear in Progress in Fuzzy Sets and Systems
(W.H. Janko, M. Roubens, H.J. Zimmerman eds.)
(Kluwer Academic Publishers)"
}
Some remarks on numerical iterations in a symbolic manipulation system, Heng Aik Koan
@TechReport{is-89-012,
author = "Heng Aik Koan",
title = "Some remarks on numerical iterations in a symbolic
manipulation system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-012",
note = "Paper submitted to Journal of Symbolic Computation.
Referee's report : interesting idea, need some
modifications."
}
Mapping functions and sparse arrays, Heng Aik Koan
@TechReport{is-89-013,
author = "Heng Aik Koan",
title = "Mapping functions and sparse arrays",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-013",
note = "Submitted to a Computer Journal"
}
Some remarks on multiplying two triangular matrices, Heng Aik Koan
@TechReport{is-89-014,
author = "Heng Aik Koan",
title = "Some remarks on multiplying two triangular matrices",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-014",
note = "Submitted to a Supercomputer Journal"
}
Case-based evolutionary world model for electronic secretaries, Katsumi Kanasaki and Tosiyasu L. Kunii
@TechReport{is-89-015,
author = "Katsumi Kanasaki and Tosiyasu L. Kunii",
title = "Case-based evolutionary world model for electronic
secretaries",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-015",
note = "Proceedings of the International Symposium on
Database Systems for Advanced Applications,
pp.35-42, Seoul, Korea, April 1989."
}
Integrated polytrees: a generalized model for the integration of spatial decomposition and boundary representation,
@TechReport{is-89-016,
author = "Martin J. D{\"{u}}rst and Tosiyasu L. Kunii",
title = "Integrated polytrees: a generalized model for the
integration of spatial decomposition and boundary
representation",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-016",
note = "To appear in: Theory and Practice of Geometric
Modelling, W. Strasser and H.-P. Seidel, Eds.
Springer-Verlag, Heidelberg, 1989"
}
An architectural design of a sports instruction system, Lining Sun and Yasuto Shirai and Tosiyasu L. Kunii
@TechReport{is-89-017,
author = "Lining Sun and Yasuto Shirai and Tosiyasu L. Kunii",
title = "An architectural design of a sports instruction system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-017",
note = "To be presented at VISUDA 89, June 13-16, 1989,
Paris, France."
}
Fast display of anti-aliased fine Japanese characters, Satoshi Abe et. al.
@TechReport{is-89-018,
author = "Satoshi Abe et. al.",
title = "Fast display of anti-aliased fine Japanese characters",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-018",
note = "RIDT '89"
}
A new unified data sharing mechanism in the GALAXY distributed operating system, Hyo Ashihara and Kentaro Shimizu and Mamoru Maekawa
@TechReport{is-89-019,
author = "Hyo Ashihara and Kentaro Shimizu and Mamoru Maekawa",
title = "A new unified data sharing mechanism in the GALAXY
distributed operating system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-019"
}
Extrapolated surface charge method (SCM) for capacity calculation of polygons and polyhedra, E. Goto and Y. Shi and N. Yoshida
@TechReport{is-89-020,
author = "E. Goto and Y. Shi and N. Yoshida",
title = "Extrapolated surface charge method (SCM) for
capacity calculation of polygons and polyhedra",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-020"
}
Persistent caching: an implementation technique for complex objects with object identity, Kazuhiko Kato and Takashi Masuda
@TechReport{is-89-021,
author = "Kazuhiko Kato and Takashi Masuda",
title = "Persistent caching: an implementation technique for
complex objects with object identity",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-021",
note = "To be submitted to the Sixth International
Conference on Data Engineering"
}
$\lambda ^+$ --a lambda calculus with algebraic operators, Sun Yongqiang and Lin Kai
@TechReport{is-89-022,
author = "Sun Yongqiang and Lin Kai",
title = "{$\lambda ^{+}$} --a lambda calculus with algebraic
operators",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-022",
note = "To be submitted to Theoretical Computer Science"
}
A new trend of the pipelined supercomputer, Yoshiaki Takai and Tosiyasu L. Kunii
@TechReport{is-89-023,
author = "Yoshiaki Takai and Tosiyasu L. Kunii",
title = "A new trend of the pipelined supercomputer",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-023",
note = "To appear in {Interdisciplinary Science Reviews,
Special Issue on Supercomputing: Its Science,
Activities and Commercial Markets}"
}
Parametric model: a conceptual framework for geometric modelling database, Deepa Krishnan and Tosiyasu L. Kunii
@TechReport{is-89-024,
author = "Deepa Krishnan and Tosiyasu L. Kunii",
title = "Parametric model: a conceptual framework for
geometric modelling database",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-024",
note = "To be presented at the Second International
Conference on Data and Knowledge Systems for
Manufacturing and Engineering, October 16-18, 1989,
Maryland USA"
}
A graphical interface for a geometric modelling database, Deepa Krishnan and Tosiyasu L. Kunii
@TechReport{is-89-025,
author = "Deepa Krishnan and Tosiyasu L. Kunii",
title = "A graphical interface for a geometric modelling database",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-025",
note = "To appear in Human-Machine Interactive Systems, ed.
by A. Klinger, Plenum Press, New York"
}
Specification and automatic generation of intelligent graphical interfaces, Yukari Shirota and Tosiyasu L. Kunii
@TechReport{is-89-026,
author = "Yukari Shirota and Tosiyasu L. Kunii",
title = "Specification and automatic generation of
intelligent graphical interfaces",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-026",
note = "Proceedings of IEEE Workshop on Visual Languages
(VL89) (October 4-6, 1989, Rome, Italy)"
}
A study on irreversible loss of information without heat generation, E. Goto et. al.
@TechReport{is-89-027,
author = "E. Goto et. al.",
title = "A study on irreversible loss of information without
heat generation",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-027",
note = "to be published in the Proceedings of the 3rd
International Symposium on Foundations of Quantum
Mechanics, Tokyo 1989 (Physical Society of Japan, 1990)"
}
Entropy of a damped harmonic oscillator, E and Goto et. al.
@TechReport{is-89-028,
author = "E and Goto et. al.",
title = "Entropy of a damped harmonic oscillator",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-028",
note = "to be published in the Proceedings of the 3rd
International Symposium on Foundations of Quantum
Mechanics, Tokyo 1989 (Physical Society of Japan, 1990)"
}
A graph-based visual tool for workstations, Naota Inamoto and Tosiyasu L. Kunii
@TechReport{is-89-029,
author = "Naota Inamoto and Tosiyasu L. Kunii",
title = "A graph-based visual tool for workstations",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-029",
note = "To appear in the Proceedings of the 1989 IFIP WG
5.10 International Working Conference on
Workstations for Experiments (July 27-29, 1989,
Massachusetts, USA)"
}
Comparative operations in solid modeling, Myeong Won Lee and Toshiaki Satoh and Tosiyasu L. Kunii
@TechReport{is-89-030,
author = "Myeong Won Lee and Toshiaki Satoh and Tosiyasu L. Kunii",
title = "Comparative operations in solid modeling",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-030",
note = "To appear in the Proceedings of the 1989 IFIP WG
5.10 International Working Conference on
Workstations for Experiments (July 27-29, 1989,
Massachusetts, USA)"
}
Nested table handling by flat table operators, Hiroyuki Kitagawa and Tosiyasu L. Kunii
@TechReport{is-89-031,
author = "Hiroyuki Kitagawa and Tosiyasu L. Kunii",
title = "Nested table handling by flat table operators",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-031",
note = "To appear in the proceedings of the 23rd Hawaii
International Conference on System Sciences (January
2-5, 1990, Hawaii, USA)"
}
Highly concurrent directory management in distributed systems, Xiaohua Jia et. al.
@TechReport{is-89-032,
author = "Xiaohua Jia et. al.",
title = "Highly concurrent directory management in
distributed systems",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-032",
note = "Submitted to the tenth International Conference on
Distributed Computing System"
}
Network-transparent object naming and locating in distributed operating systems, Pradeep K. Sinha et. al.
@TechReport{is-89-033,
author = "Pradeep K. Sinha et. al.",
title = "Network-transparent object naming and locating in
distributed operating systems",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-033",
note = "Submitted to the tenth International Conference on
Distributed Computing Systems"
}
Creating a new world inside computers -methods and implications-, Tosiyasu L. Kunii
@TechReport{is-89-034,
author = "Tosiyasu L. Kunii",
title = "Creating a new world inside computers -methods
and implications-",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-034",
note = "To appear in the ASCILITE-89 Conference Proceedings
(December 11-13, 1989, Gold Coast, Australia)"
}
Implementation issues of the TACL/TULS language system on BTRON, Noboru Koshizuka et. al.
@TechReport{is-89-035,
author = "Noboru Koshizuka et. al.",
title = "Implementation issues of the TACL/TULS language
system on BTRON",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1989,
number = "Technical Report 89-035",
note = "Proceeding of the Sixth TRON Project Symposium.
December 5 and 6, 1989, Tokyo."
}
Motion comparison in computer animation,
@TechReport{is-90-001,
author = "Myeong Won Lee and Tosiyasu L. Kunii and Martin J. D{\"{u}}rst",
title = "Motion comparison in computer animation",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-001",
note = "To be presented at {Computer Animation '90} (April
25-27, 1990, Geneva, Switzerland)"
}
Automating view function generation of objects for walk-through animation using a Reeb graph, Yoshihisa Shinagawa et. al.
@TechReport{is-90-002,
author = "Yoshihisa Shinagawa et. al.",
title = "Automating view function generation of objects for
walk-through animation using a Reeb graph",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-002",
note = "To appear in the Proceedings of Computer Animation
'90 (April 25-27, 1990, Geneva, Switzerland),
Springer-Verlag, April 1990"
}
Modeling and animation of garment wrinkel formation processes, Tosiyasu L. Kunii and Hironobu Gotoda
@TechReport{is-90-003,
author = "Tosiyasu L. Kunii and Hironobu Gotoda",
title = "Modeling and animation of garment wrinkel
formation processes",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-003",
note = "To appear in the Proceedings of Computer Animation
'90 (April 25-27, 1990, Geneva, Switzerland),
Springer-Verlag, April 1990"
}
A comprehension-based database language and its distributed execution, Kazuhiko Kato and Takashi Masuda and Yasushi Kiyoki
@TechReport{is-90-004,
author = "Kazuhiko Kato and Takashi Masuda and Yasushi Kiyoki",
title = "A comprehension-based database language and its
distributed execution",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-004",
note = "Submitted to the Tenth International Conference on
Distributed Computing Systems"
}
Visualization of abstract concepts using generalized path binding, Ken Nakayama and Satoshi Matsuoka and and Satoru Kawai
@TechReport{is-90-005,
author = "Ken Nakayama and Satoshi Matsuoka and and Satoru Kawai",
title = "Visualization of abstract concepts using generalized
path binding",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-005",
note = "To be presented at the CG International '90 to be
held in Singapore in June, 1990"
}
Progressive transmission based on bitwise condensed quadtrees,
@TechReport{is-90-006,
author = "Martin J. D{\"{u}}rst and Tosiyasu L. Kunii",
title = "Progressive transmission based on bitwise
condensed quadtrees",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-006",
note = "Slightly expanded version of a paper presented at
the 3rd Sapporo International Computer Graphics
Symposium, Nov. 1989 (in Japanese)"
}
Two linear time algorithms for the Euler number of hierarchically represented digital pictures,
@TechReport{is-90-007,
author = "Martin J. D{\"{u}}rst and Hanspeter Bieri and Tosiyasu L. Kunii",
title = "Two linear time algorithms for the Euler number of
hierarchically represented digital pictures",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-007",
note = "Submitted to IEEE Transactions on Pattern Analysis
and Machine Intelligence"
}
Dynamic analysis-based human animation, Tosiyasu L. Kunii and Lining Sun
@TechReport{is-90-008,
author = "Tosiyasu L. Kunii and Lining Sun",
title = "Dynamic analysis-based human animation",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-008",
note = "To appear in the Proceedings of CG International '90
(June 25-29, 1990, Singapore), Springer-Verlag, 1990"
}
Attribute-grammar based approach to vector extraction from a raster image, Kyu-Jae Lee and Yasuto Shirai and Tosiyasu L. Kunii
@TechReport{is-90-009,
author = "Kyu-Jae Lee and Yasuto Shirai and Tosiyasu L. Kunii",
title = "Attribute-grammar based approach to vector
extraction from a raster image",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-009",
note = "Proceedings of CG International '90, in press"
}
Synchronization constraints with inheritance: what is not possible ---so what is?, Satoshi Matsuoka and Ken Wakita and and Akinori Yonezawa
@TechReport{is-90-010,
author = "Satoshi Matsuoka and Ken Wakita and and Akinori Yonezawa",
title = "Synchronization constraints with inheritance: what
is not possible ---so what is?",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-010",
note = "Submitted to the ACM OOPSLA/ECOOP '90 to be held at
Ottawa, Canada in October 1990"
}
Information is not negative entropy, E. Goto et. al.
@TechReport{is-90-011,
author = "E. Goto et. al.",
title = "Information is not negative entropy",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-011"
}
Supercomputing pseudo random numbers - proposals on hardware and software, Y. Oyanagi and E. Goto and N. Yoshida
@TechReport{is-90-012,
author = "Y. Oyanagi and E. Goto and N. Yoshida",
title = "Supercomputing pseudo random numbers - proposals on
hardware and software",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-012"
}
Coils for generating uniform fields in a cylindrical ferromagnetic shield, Mutsumi Hosoya and Eiichi Goto
@TechReport{is-90-013,
author = "Mutsumi Hosoya and Eiichi Goto",
title = "Coils for generating uniform fields in a cylindrical
ferromagnetic shield",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-013"
}
Distributed garbage collection using group reference counting, Yuuji Ichisugi and Akinori Yonezawa
@TechReport{is-90-014,
author = "Yuuji Ichisugi and Akinori Yonezawa",
title = "Distributed garbage collection using group reference
counting",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-014",
note = "Presented at Annual Workshop on the Software Science
and Engineering held at ASTEM Kyoto Japan, December 1989"
}
Singularity theoretical modeling and animation of garment wrinkle formation processes, Tosiyasu L. Kunii and Hironobu Gotoda
@TechReport{is-90-015,
author = "Tosiyasu L. Kunii and Hironobu Gotoda",
title = "Singularity theoretical modeling and animation of
garment wrinkle formation processes",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-015",
note = "To appear in The Visual Computer, vol. 6, no. 5, 1990"
}
The homotopy model: a generalized model for smooth surface generation from cross sectional data, Yoshihisa Shinagawa and Tosiyasu L. Kunii
@TechReport{is-90-016,
author = "Yoshihisa Shinagawa and Tosiyasu L. Kunii",
title = "The homotopy model: a generalized model for smooth
surface generation from cross sectional data",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-016",
note = "To appear in The Visual Computer"
}
A robust and efficient algorithm of replicated ID table management in GALAXY distributed operating system, Xiaohua Jia et. al.
@TechReport{is-90-017,
author = "Xiaohua Jia et. al.",
title = "A robust and efficient algorithm of replicated ID
table management in GALAXY distributed operating system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-017",
note = "Accepted by International Computer Symposium 1990, Taiwan"
}
Flexible address space sharing mechanisms in the GALAXY distributed operating system, Pradeep K. Sinha et. al.
@TechReport{is-90-018,
author = "Pradeep K. Sinha et. al.",
title = "Flexible address space sharing mechanisms in the
GALAXY distributed operating system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-018",
note = "Accepted for presentation at the Tenth Annual IEEE
International Phoenix Conference on Computers and
Communications, USA."
}
Adaptive load sharing with dual initiative in statically unbalanced systems, Hyo Ashihara and Naoki Mizuguchi and Mamoru Maekawa
@TechReport{is-90-019,
author = "Hyo Ashihara and Naoki Mizuguchi and Mamoru Maekawa",
title = "Adaptive load sharing with dual initiative in
statically unbalanced systems",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-019"
}
A highly reliable and efficient object locating mechanism in the GALAXY distributed operating system, Pradeep K. Sinha et. al.
@TechReport{is-90-020,
author = "Pradeep K. Sinha et. al.",
title = "A highly reliable and efficient object locating
mechanism in the GALAXY distributed operating system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-020"
}
Concurrent integrity access of a replicated file in distributed system, Xiaohua Jia et. al.
@TechReport{is-90-021,
author = "Xiaohua Jia et. al.",
title = "Concurrent integrity access of a replicated file in
distributed system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-021"
}
Dynamic and safe stepwise task scheduling algorithm for a tightly coupled multiprocessor environment, Nobuhiko Nishio and Hiroaki Takada and and Ken Sakamura
@TechReport{is-90-022,
author = "Nobuhiko Nishio and Hiroaki Takada and and Ken Sakamura",
title = "Dynamic and safe stepwise task scheduling algorithm
for a tightly coupled multiprocessor environment",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-022",
note = "Submitted to the IEEE Transactions on Parallel and
Distributed Systems"
}
A new quantum flux parametron logic gate with large input margin, Willy Hioe and Mutsumi Hosoya and Eiichi Goto
@TechReport{is-90-023,
author = "Willy Hioe and Mutsumi Hosoya and Eiichi Goto",
title = "A new quantum flux parametron logic gate with large
input margin",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-023",
note = "IEEE Transactions on Magnetics, vol. 26, no. 2, 1991"
}
Artificial neural network circuit with Josephson devices, Y. Harada and E. Goto
@TechReport{is-90-024,
author = "Y. Harada and E. Goto",
title = "Artificial neural network circuit with Josephson devices",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-024",
note = "IEEE Transactions on Magnetics, vol. 26, no. 2, Feb.
1991"
}
Detection of trapped flux quanta in superconductors by a hydrodynamically controlled squid pick-up coil, H. Minami et. al.
@TechReport{is-90-025,
author = "H. Minami et. al.",
title = "Detection of trapped flux quanta in superconductors
by a hydrodynamically controlled squid pick-up coil",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-025",
note = "IEEE Transactions on Magnetics, vol. 26, no. 2, Feb.
1991"
}
Experimental study of a dual-input-multiplexor gate, Mutsumi Hosoya and Willy Hioe and Eiichi Goto
@TechReport{is-90-026,
author = "Mutsumi Hosoya and Willy Hioe and Eiichi Goto",
title = "Experimental study of a dual-input-multiplexor gate",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-026",
note = "IEEE Transactions on Magnetics, vol. 26, no. 2, Feb.
1991"
}
Performance of a double DC squid magnetometer, Juan Casas et. al.
@TechReport{is-90-027,
author = "Juan Casas et. al.",
title = "Performance of a double DC squid magnetometer",
institution = "Department of Information Science , Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-027",
note = "IEEE Transactions on Magnetics, vol. 26, no. 2, Feb.
1991"
}
Subharmonic generators and error detection by using the quantum flux parametron (QFP), J. Casas et. al.
@TechReport{is-90-028,
author = "J. Casas et. al.",
title = "Subharmonic generators and error detection by using
the quantum flux parametron (QFP)",
institution = "Department of Information Science , Faculty of
Science, University of Tokyo",
year = 1990,
number = "Technical Report 90-028",
note = "IEEE Transactions on Magnetics, vol. 26, no. 2, Feb.
1991"
}
Moving objects in intelligent design, Tosiyasu L. Kunii and Yoshihisa Shinagawa and Hironobu Gotoda
@TechReport{is-91-001,
author = "Tosiyasu L. Kunii and Yoshihisa Shinagawa and Hironobu Gotoda",
title = "Moving objects in intelligent design",
institution = "Department of Information Science , Faculty of
Science, University of Tokyo",
year = 1991,
number = "Technical Report 9l-001",
note = "To appear in Wiley Reference Book on Intelligent
Design and Manufacturing"
}
Process migration in the GALAXY distributed operating system, Pradeep K. Sinha et. al.
@TechReport{is-91-002,
author = "Pradeep K. Sinha et. al.",
title = "Process migration in the GALAXY distributed
operating system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1991,
number = "Technical Report 91-002",
note = "Accepted for presentation at the Fifth IEEE
International Parallel Processing Symposium, April
30 - May 02, 1991, Anaheim, California"
}
The design of the GALAXY distributed operating system, Xiaohua Jia et. al.
@TechReport{is-91-003,
author = "Xiaohua Jia et. al.",
title = "The design of the GALAXY distributed operating system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1991,
number = "Technical Report 91-003",
note = "to appear in Journal of Information Processing,
Information Processing Society of Japan, 1991"
}
The differential model: a model for animating transformation of objects using differential information, Yoshihisa Shinagawa and Tosiyasu L. Kunii
@TechReport{is-91-004,
author = "Yoshihisa Shinagawa and Tosiyasu L. Kunii",
title = "The differential model: a model for animating
transformation of objects using differential
information",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1991,
number = "Technical Report 91-004",
note = "To appear in the Proceedings of IFIP TC5/WG5.10
Working Conference on Modeling in Computer Graphics"
}
Modeling the diffuse paintings of 'Sumie', Qinglian Guo and Tosiyasu L. Kunii
@TechReport{is-91-005,
author = "Qinglian Guo and Tosiyasu L. Kunii",
title = "Modeling the diffuse paintings of 'Sumie'",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1991,
number = "Technical Report 91-005",
note = "To be appearing in the proceedings of the IFIP TC5/WG
5.10 Working Conference on Modeling in Computer
Graphics (Tokyo, Japan April 8-12, 1991)"
}
A connectionist approach to geometrical constraint-solving, Nami Kin and Yoshiaki Takai and Tosiyasu L. Kunii
@TechReport{is-91-006,
author = "Nami Kin and Yoshiaki Takai and Tosiyasu L. Kunii",
title = "A connectionist approach to geometrical
constraint-solving",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1991,
number = "Technical Report 91-006",
note = "Proceedings of IFIP TC5/WG 5.10 Working Conference
on Modeling in Computer Graphics, in press"
}
A thread facility based on user/kernel cooperation in the XERO operating system, Shigekazu Inohara et. al.
@TechReport{is-91-007,
author = "Shigekazu Inohara et. al.",
title = "A thread facility based on user/kernel cooperation
in the XERO operating system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1991,
number = "Technical Report 9l-007",
note = "Submitted to the fifteenth Annual International
Computer Software and Applications Conference"
}
Forest: an interacting tree model for visualizing forest formation processes by algorithmic computer animation - a case study of a tropical rain forest -, Tosiyasu L. Kunii and Hirohisa Enomoto
@TechReport{is-91-008,
author = "Tosiyasu L. Kunii and Hirohisa Enomoto",
title = "Forest: an interacting tree model for visualizing
forest formation processes by algorithmic computer
animation - a case study of a tropical rain forest -",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1991,
number = "Technical Report 91-008",
note = "To appear in the Proceedings of Computer Animation '91"
}
Visualization modeling: making visualization a creative discipline, Tosiyasu L. Kunii and Yoshihisa Shinagawa
@TechReport{is-91-009,
author = "Tosiyasu L. Kunii and Yoshihisa Shinagawa",
title = "Visualization modeling: making visualization a
creative discipline",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1991,
number = "Technical Report l91-009",
note = "To appear in {New Trends in Animation and
Visualization} (ed. by D. Thalmann), John Wiley and
Sons, pp.111-127"
}
Extrapolated surface charge method (SCM) for capacity calculation of polygons and polyhedra, E. Goto and Y. Shi and N. Yoshida
@TechReport{is-91-010,
author = "E. Goto and Y. Shi and N. Yoshida",
title = "Extrapolated surface charge method (SCM) for
capacity calculation of polygons and polyhedra",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1991,
number = "Technical Report 91-010",
note = "To be published in Journal of Computational Physics"
}
Visualization: new concepts and techniques to integrate diverse application areas, Tosiyasu L. Kunii and Yoshihisa Shinagawa
@TechReport{is-91-011,
author = "Tosiyasu L. Kunii and Yoshihisa Shinagawa",
title = "Visualization: new concepts and techniques to
integrate diverse application areas",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1991,
number = "Technical Report 91-011",
note = "To appear in Visualization of Physical Phenomena
(the Proceedings of CG International '91),
Springer-Verlag"
}
An open data management architecture for groupware applications, Katsumi Kanasaki and Tosiyasu L. Kunii
@TechReport{is-91-012,
author = "Katsumi Kanasaki and Tosiyasu L. Kunii",
title = "An open data management architecture for groupware
applications",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1991,
number = "Technical Report 91-012",
note = "Appeared in the Proc. The Second International
Symposium on Database Systems for Advanced
Applications, pp. 536-544, April 1991"
}
Linguistic supports for development of distributed organizational information systems in object-oriented concurrent computation frameworks, Ken Wakita and Aki Yonezawa
@TechReport{is-91-013,
author = "Ken Wakita and Aki Yonezawa",
title = "Linguistic supports for development of distributed
organizational information systems in
object-oriented concurrent computation frameworks",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1991,
number = "Technical Report 91-013",
note = "To appear in the proceedings of the ACM Conference
on Organizational Computing Systems"
}
Software architecture and application program interface model for the BTRON GUI shell, Noboru Koshizuka and Ken Sakamura
@TechReport{is-92-4,
author = "Noboru Koshizuka and Ken Sakamura",
title = "Software architecture and application program
interface model for the BTRON GUI shell",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1992,
number = "Technical Report 92-4"
}
An output size sensitive algorithm for the enumeration of regular triangulations, Tomonari Masada
@TechReport{94-01,
author = "Tomonari Masada",
title = "An output size sensitive algorithm for the
enumeration of regular triangulations",
institution = is.s.u-tokyo,
year = "1994.01.12"
}
-approximations of -label spaces, Susumu Hasegawa, Hiroshi Imai and Masaki Ishiguro
@TechReport{94-03,
author = "Susumu Hasegawa, Hiroshi Imai and Masaki Ishiguro",
title = " -approximations of -label spaces",
institution = is.s.u-tokyo,
year = "1994.02.09"
}
A preference-based theory of intention, Toru Sugimoto and Akinori Yonezawa
@TechReport{94-04,
author = "Toru Sugimoto and Akinori Yonezawa",
title = "A preference-based theory of intention",
institution = is.s.u-tokyo,
year = "1994.02.16"
}
Randomized on-line algorithms for the page replication problem, Hisashi Koga
@TechReport{94-08,
author = "Hisashi Koga",
title = "Randomized on-line algorithms for the page
replication problem",
institution = is.s.u-tokyo,
year = "1994.04.06"
}
Lexicon acquisition in HPSG/JPSG-based grammars, Kentaro Torisawa and Akinori Yonezawa
@TechReport{94-10,
author = "Kentaro Torisawa and Akinori Yonezawa",
title = "Lexicon acquisition in HPSG/JPSG-based grammars",
institution = is.s.u-tokyo,
year = "1994.05.11"
}
A fast SPARC binary emulator (DRAFT), Yasushi Saito
@TechReport{95-03,
author = "Yasushi Saito",
title = "A fast SPARC binary emulator (DRAFT)",
institution = is.s.u-tokyo,
year = "1995.03.15"
}
Experience in classification and reuse of synchronization schemes, Jean-Pierre BRIOT
@TechReport{95-07,
author = "Jean-Pierre BRIOT",
title = "Experience in classification and reuse of
synchronization schemes",
institution = is.s.u-tokyo,
year = "1995.09.06"
}
Decomposition of the flow polynomial, Kyoko Sekine
@TechReport{95-08,
author = "Kyoko Sekine",
title = "Decomposition of the flow polynomial",
institution = is.s.u-tokyo,
year = "1995.09.06"
}
A unified approach via BDD to the network reliability and path numbers, Kyoko Sekine and Hiroshi Imai
@TechReport{95-09,
author = "Kyoko Sekine and Hiroshi Imai",
title = "A unified approach via BDD to the network
reliability and path numbers",
institution = is.s.u-tokyo,
year = "1995.11.22"
}
A classification of various approaches for object-based parallel and distributed programming, Jean-Pierre Briot and Rachid Guerraoui
@TechReport{96-01,
author = "Jean-Pierre Briot and Rachid Guerraoui",
title = "A classification of various approaches for
object-based parallel and distributed programming",
institution = is.s.u-tokyo,
year = "1996.01.17"
}
..., Jean-Marc Jezequel et al.
@TechReport{96-03,
author = "Jean-Marc Jezequel
et al.",
title = "...",
institution = is.s.u-tokyo,
year = "1996.10.30"
}
Synchronization Constraints With Inheritance: What Is Not Possible --- So What Is?, Satoshi Matsuoka and Ken Wakita and Akinori Yonezawa
@techreport{TR89-10,
Author = {Satoshi Matsuoka and Ken Wakita and Akinori Yonezawa},
Title = "Synchronization Constraints With Inheritance: What
Is Not Possible --- So What Is?",
Institution = {Department of Information Science, the
University of Tokyo},
Number = "89-10",
Year = 1989,
Note = {updated 4/22/92}
}
Synchronization constraints with inheritance: what is not possible ---so what is?, Satoshi Matsuoka and Ken Wakita and and Akinori Yonezawa
@TechReport{TR90-10,
author = "Satoshi Matsuoka and Ken Wakita and and Akinori Yonezawa",
title = "Synchronization constraints with inheritance: what
is not possible ---so what is?",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1990,
number = "90-10",
}
Design of the XERO open distributed operating system, Kazuhiko Kato and Shigekazu Inohara and Atsunobu Narita and Shigeru Chiba and Takashi Masuda
@TechReport{TR92-01,
author = "Kazuhiko Kato and Shigekazu Inohara and Atsunobu
Narita and Shigeru Chiba and Takashi Masuda",
title = "Design of the {XERO} open distributed operating system",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
number = "92-01",
year = 1992,
month = "feb",
abstract = "The XERO distributed operating system aims at
providing an open distributed processing environment
in which logical information structures are
preserved against geographic distribution, hardware
and software architectural
distribution, and temporal distribution. This paper
describes the design of the XERO operating system.
We propose a programming model at the operating
system level, which supports {\em multicontexts} and
{\em multithreads} in a virtual address space. XERO
supports a {\em complex object file system} to
preserve data types in a file system and to develop
distributed file systems systematically.
Implementation techniques to realize these concepts
are also discussed."
}
Higher-Order Remote Procedure Calls, Atsushi Ohori and Kazuhiko Kato
@TechReport{TR92-02,
author = "Atsushi Ohori and Kazuhiko Kato",
title = "Higher-Order Remote Procedure Calls",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
number = "92-02",
year = 1992,
month = "feb",
abstract = "
This paper proposes a method for higher-order inter-language
communication. This is a systematic refinement of the technique known
as {\em remote procedure call}. In addition to remote calls of simple
functions implemented in a same language, our system allows type safe
use of remote data of virtually any types including {\em higher-order
functions\/} and {\em abstract data types\/} written in different
languages running in possibly different computer architecture.
Moreover, the necessary inter-language communication is completely
transparent to the programmer. We achieve this goal by establishing a
method to translate a typed high level language with transparent
inter-language communication capability into a core language which
only contains standard communication primitives available in most of
conventional distributed environments. The translation is based on a
technique to construct semantic domains of higher-order functions. It
is shown that the translation preserves typings and correctly achieves
the intended behavior of a transparent distributed language."
}
On zones of flats in hyperplane arrangements, Michael E. Houle and Takeshi Tokuyama
@TechReport{TR92-03,
author = "Michael E. Houle and Takeshi Tokuyama",
title = "On zones of flats in hyperplane arrangements",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
number = "92-03",
year = 1992,
month = "feb",
abstract = ""
}
Asynchronous Communication Model Based on Linear Logic, Naoki Kobayashi and Akinori Yonezawa
@techreport{TR92-05,
Author = {Naoki Kobayashi and Akinori Yonezawa},
Title = "Asynchronous Communication Model Based on Linear Logic",
Institution = {Department of Information Science, the
University of Tokyo},
Number = "92-05",
Year = 1992,
Note = {}
}
An Object-Oriented Parallel Algorithm for the Newtonian N-Body Problem, Masahiro Yasugi and Akinori Yonezawa
@techreport{TR92-06,
Author = {Masahiro Yasugi and Akinori Yonezawa},
Title = "An Object-Oriented Parallel Algorithm for the
{N}ewtonian {N}-Body Problem",
Institution = {Department of Information Science, the
University of Tokyo},
Number = "92-06",
Year = 1992,
Note = {updated 8/30/92}
}
Typing of selective $\lambda$-calculus, Jacques Garrigue and Hassan A\\it-Kaci
@techreport{TR93-01,
Author = {Jacques Garrigue and Hassan A\"{\i}t-Kaci},
Title = "Typing of selective $\lambda$-calculus",
Institution = {Department of Information Science, the
University of Tokyo},
Number = "93-01",
Year = 1993,
}
A Bounded Spin Lock Algorithm with Preemption, Hiroaki Takada and Ken Sakamura
@TechReport{TR93-02,
author = "Hiroaki Takada and Ken Sakamura",
title = "A Bounded Spin Lock Algorithm with Preemption",
institution = "Department of Information Science, Faculty of Science,
University of Tokyo",
number = "93-02",
year = 1993,
month = "jul",
abstract = "Predictable interprocessor synchronization and fast
interrupt response are important for real-time systems
constructed using asymmetric shared-memory multiprocessors.
This paper points out the problem that existing spin lock
algorithms cannot satisfy both requirements at the same time,
and proposes a new algorithm to solve this problem. The
algorithm, an extension of queueing spin locks modified to be
preemptable for servicing interrupts, can give an upper bound
on the time to acquire and release an interprocessor lock
while achieving fast response to interrupt requests. The
effectiveness of the algorithm is demonstrated through
performance evaluation."
}
Open C++ Programmer's Guide, Shigeru Chiba
@techreport{TR93-03,
Author = {Shigeru Chiba},
Title = "Open C++ Programmer's Guide",
Institution = "Department of Information Science,
Faculty of Science, University of Tokyo",
Year = 1993,
Number = "93-03"
}
Logical, Testing, and Observation Equivalence for Processes in a Linear Logic Programming, Naoki Kobayashi and Akinori Yonezawa
@techreport{TR93-04,
Author = {Naoki Kobayashi and Akinori Yonezawa},
Title = "Logical, Testing, and Observation Equivalence for
Processes in a Linear Logic Programming",
Institution = {Department of Information Science, the
University of Tokyo},
Number = "93-04",
Year = 1993,
Note = {presented at Linear Logic Workshop, Cornell
University}
}
The complexity of the optimal variable ordering problems of shared binary decision diagrams, S.Tani and K. Hamaguchi and S. Yajima
@techreport{TR93-06,
Author = {S.Tani and K. Hamaguchi and S. Yajima},
Title = "The complexity of the optimal variable ordering problems of shared binary
decision diagrams",
Institution = {Department of Information Science, the
University of Tokyo},
Number = "93-06",
Year = 1993,
Note = {presented at ISAAC'93}
}
Sharing of Persistent Data Structures for Distributed Cooperative Work on Versioned 64-bit Address Spaces, Shigekazu Inohara and Keitaro Uehara and Hajime Miyazawa and Takashi Masuda
@TechReport{TR93-07,
author = "Shigekazu Inohara and Keitaro Uehara and Hajime Miyazawa
and Takashi Masuda",
title = "Sharing of Persistent Data Structures for Distributed
Cooperative Work on Versioned 64-bit Address Spaces",
institution = "Department of Information Science, Faculty of Science,
University of Tokyo",
number = "93-07",
year = 1993,
month = "dec",
abstract = "In implementing a new kind of applications that support
cooperative work of users on distributed computers (such as group
software development and group CAD), the management of data structures
shared among users is the primary importance. Since the applications
often share data structures containing pointers on distributed
secondary storage, two issues arise for their efficient
implementation. (1) To avoid the possibility of time-consuming
relocation of data structures at the time of location conflict between
two persistent data structures, the location of shared data structures
should be globally maintained at the file system level. (2) For
immediate propagation of modification on shared data structures in
cooperative works, a low-latency cache coherence protocol should be
explored. This paper proposes a system that addresses these issues by
introducing versioned 64-bit address spaces and a low-latency cache
coherence protocol that exploits the file system interface." }
A Framework for Minimizing Thread Management Overhead Based on Asynchronous Cooperation between User and Kernel Schedulers, Shigekazu Inohara and Takashi Masuda
@TechReport{TR94-02,
author = "Shigekazu Inohara and Takashi Masuda",
title = "A Framework for Minimizing Thread Management Overhead
Based on Asynchronous Cooperation between User and
Kernel Schedulers",
institution = "Department of Information Science, Faculty of Science,
University of Tokyo",
number = "94-02",
year = 1994,
month = "jan",
abstract = "The performance of thread mechanism is dominated
primarily by two kinds of thread-switching overheads: vertical
switching (user/kernel domain switching) a nd horizontal switching
(context switching between threads). Ideally, vertical sw itchings
should occur only when system calls or external interrupts are
invoked. Horizo ntal switchings within a user address space should
occur only when threads synchroni ze with one another. Horizontal
switchings in the kernel should occur only when processors are
redistributed among user address spaces. Existing thread mechanisms,
however, do not function ideally in a multiprogrammed system because
(1) user-level programs de termine how many threads to use, (2) the
kernel does not inform the user level of which nor how many threads
are actually being assigned processors, and/or (3) interaction between
the kernel and user-level schedulers is synchronous. This paper
presents a thread mechani sm that minimizes the thread-switching
overhead by avoiding these three problems; the k ernel scheduler
determines how many threads to use in each user address space, the ke
rnel scheduler lets user-level schedulers know which threads are
actually being assi gned processors, and all interaction between the
kernel scheduler and user-level sch edulers is asynchronous.
Employing these three ideas, the proposed mechanism minimizes th read
switchings {\em both in the kernel and in the user level}, under the
assumption that threads are managed without off-line information on
applications to run."
}
On Extensions of $\mbox\it F_\leq$: Second-Order $\lambda$-calclus with Subtyping, Daisuke Suzuki
@techreport{TR94-05e,
Author = "Daisuke Suzuki",
Title = "On Extensions of $\mbox{\it F}_\leq$: Second-Order
$\lambda$-calclus with Subtyping",
Type = "Master Thesis",
Institution = " The Univercity of Tokyo",
Year = 1994
}
BTRON2 Window System: A Window System Facilitating Cooperation among GUI Applications in Distributed Environments, Nobotu Koshizuka
@techreport{TR94-06e,
title = {BTRON2 Window System: A Window System Facilitating
Cooperation among GUI Applications in Distributed
Environments},
author = {Nobotu Koshizuka},
number = "94-06e",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1994,
month = mar,
note = {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}
}
A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications, Masahiro Yasugi
@TechReport{TR94-07e,
author = "Masahiro Yasugi",
title = "A Concurrent Object-Oriented Programming Language
System for Highly Parallel Data-Driven Computers and
its Applications",
institution = "Department of Information Science, Faculty of
Science, University of Tokyo",
year = 1994,
number = "94-7e",
month = Apr,
note = "(Doctoral Thesis, Mar. 1994)"
}
The Transformation Calculus, Jacques Garrigue
@techreport{TR94-09,
Author = {Jacques Garrigue},
Title = {The Transformation Calculus},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1994,
Number = "94-09",
Month = apr
}
Roles of a Partial Evaluator for the Reflective Language Black, Kenichi Asai and Satoshi Matsuoka and Akinori Yonezawa
@techreport{TR94-11,
Author = {Kenichi Asai and Satoshi Matsuoka and Akinori Yonezawa},
Title = {Roles of a Partial Evaluator for the Reflective Language
Black},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1994,
Number = "94-11",
Month = may
}
Typed Higher-Order Concurrent Linear Logic Programming, Naoki Kobayashi and Akinori Yonezawa
@techreport{TR94-12,
Author = {Naoki Kobayashi and Akinori Yonezawa},
Title = {Typed Higher-Order Concurrent Linear Logic Programming},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1994,
Number = "94-12",
Month = jul
}
Direct-mapped Constrained Migration Problem, S. Albers and H. Koga
@techreport{TR94-13,
Author = {S. Albers and H. Koga},
Title = {Direct-mapped Constrained Migration Problem},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1994,
Number = "94-13",
Month = jul,
note = {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.}
}
A Framework for Customizing Cohrence Protocols of Distributed File Caches in Lucas File System, Keitaro Uehara and Hajime Miyazawa and Kouhei Yamamoto and Shigekazu Inohara and Takashi Masuda
@techreport{TR94-14,
Author = {Keitaro Uehara and Hajime Miyazawa and Kouhei Yamamoto and
Shigekazu Inohara and Takashi Masuda},
Title = {A Framework for Customizing Cohrence Protocols of
Distributed File Caches in Lucas File System},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1994,
Number = "94-14",
Month = dec
}
On Implicit Arguments, Masami Hagiya and Yozo Toda
@techreport{TR95-01,
author = "Masami Hagiya and Yozo Toda",
title = "On Implicit Arguments",
institution = "Department of Information Science, Faculty of Science,
University of Tokyo",
number = "95-01",
year = 1995,
month = "jan",
abstract = "A typechecker for a typed $\lambda$-calculus having implicit
arguments is presented. The typechecker works in such a way
that the uniqueness of implicit arguments is always preserved
during reduction. Consequently, when it compares two terms by
reduction, it can reduce them without inferring implicit
arguments. Before describing the typechecker, we analyze
various situations where the uniqueness of implicit arguments is
not preserved by naively defined reduction."
}
Controlling Priority Inversion using Abortions, Hiroaki Takada and Ken Sakamura
@techreport{TR95-02,
author = "Hiroaki Takada and Ken Sakamura",
title = "Controlling Priority Inversion using Abortions",
institution = "Department of Information Science, Faculty of Science,
University of Tokyo",
number = "95-02",
year = 1995,
month = "jan",
abstract = "Making critical sections abortable is a promising
approach to controlling priority inversions. To
improve the schedulability of a system using
abortions, the maximum number of abortions should be
decreased. In this paper, we propose a real-time
synchronization protocol named the selective abort
protocol (SAP) which introduces a new abort scheme to
the priority ceiling protocol. Our proposed scheme
can make the maximum number of abortions smaller than
with the conventional priority-based abort schemes. A
method to determine an upper bound on the number of
abortions under the SAP is presented, and
schedulability analyses of systems using the protocol
are illustrated. Some extensions of the SAP are also
discussed."
}
Static Analysis on Communication for Asynchronous Concurrent Programming Languages, Naoki Kobayashi and Motoki Nakade and Akinori Yonezawa
@techreport{TR95-04,
Author = {Naoki Kobayashi and Motoki Nakade and Akinori Yonezawa},
Title = {Static Analysis on Communication for Asynchronous
Concurrent Programming Languages},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1995,
Number = "95-04",
Month = apr
}
Ordered Binary Decision Diagrmas, Graph Theory and Computational Geometry, Hiroshi Imai and Seiichiro Tani and Kyoko Sekine
@techreport{TR95-05,
Author = {Hiroshi Imai and Seiichiro Tani and Kyoko Sekine},
Title = {Ordered Binary Decision Diagrmas, Graph Theory and
Computational Geometry},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1995,
Number = "95-05",
Month = jul
}
Computing the Tutte Polynomial of a Graph and the Jones Polynomial of an Alternating Link of Moderate Size, Kyoko Sekine and Hiroshi Imai and Seiichiro Tani
@techreport{TR95-06,
Author = {Kyoko Sekine and Hiroshi Imai and Seiichiro Tani},
Title = {Computing the Tutte Polynomial of a Graph and the Jones
Polynomial of an Alternating Link of Moderate Size},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1995,
Number = "95-06",
Month = jul
}
Partial Evaluator as a Compiler for Reflective Languages, Kenichi Asai and Hidehiko Masuhara and Satoshi Matsuoka and Akinori Yonezawa
@techreport{TR95-10,
Author = {Kenichi Asai and Hidehiko Masuhara
and Satoshi Matsuoka and Akinori Yonezawa},
Title = {Partial Evaluator as a Compiler for Reflective Languages},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1995,
Number = "95-10",
Month = Dec
}
Schematic: A Concurrent Object-Oriented Extension to Scheme, Kenjiro Taura and Akinori Yonezawa
@techreport{TR95-11,
Author = {Kenjiro Taura and Akinori Yonezawa},
Title = {Schematic: A Concurrent Object-Oriented Extension to Scheme},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1995,
Number = "95-11",
Month = Dec
}
A Partially Deadlock-free Typed Process Calculus (I) -- A Simple System --, Naoki Kobayashi
@techreport{TR96-02,
Author = {Naoki Kobayashi},
Title = {A Partially Deadlock-free Typed Process Calculus (I)
-- A Simple System --},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1996,
Number = "96-02",
Month = sep
}
Partial Evaluation of Call-by-value lambda-calculus with Side-effects, Kenichi Asai and Hidehiko Masuhara and Akinori Yonezawa
@techreport{TR96-04,
Author = {Kenichi Asai and Hidehiko Masuhara and Akinori Yonezawa},
Title = {Partial Evaluation of Call-by-value lambda-calculus
with Side-effects},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1996,
Number = "96-04",
Month = nov
}
A Novel Approach to Multiprogrammed Multiprocessor Synchronization for Real-Time Kernels, Hiroaki Takada and Ken Sakamura
@techreport{TR97-01,
Author = {Hiroaki Takada and Ken Sakamura},
Title = {A Novel Approach to Multiprogrammed Multiprocessor
Synchronization for Real-Time Kernels},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1997,
Number = "97-01",
Month = jan
}
A Partially Deadlock-free Typed Process Calculus (II), Naoki Kobayashi
@techreport{TR97-02,
Author = {Naoki Kobayashi},
Title = {A Partially Deadlock-free Typed Process Calculus (II)},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1997,
Number = "97-02",
Month = feb
}
Type-Based Analysis of Communication for Concurrent Programming Languages, Atsushi Igarashi and Naoki Kobayashi
@techreport{TR97-03,
author = {Atsushi Igarashi and Naoki Kobayashi},
title = {Type-Based Analysis of Communication
for Concurrent Programming Languages},
institution = {Department of Information Science, Faculty of
Science, University of Tokyo},
year = 1997,
number = "97-03",
month = jun
}
Efficient implementation of software release consistency on asymmetric distributed shared memory, Junpei Niwa and Tatsushi Inagaki and Takashi Matsumoto and Kei Hiraki
@TechReport{TR97-05,
author = "Junpei Niwa and Tatsushi Inagaki and Takashi Matsumoto and
Kei Hiraki",
title = "Efficient implementation of software release
consistency on asymmetric distributed shared memory",
institution = {Department of Information Science, Faculty of
Science, University of Tokyo},
number = "97-05",
year = 1997,
month = "Nov"
}
Implementation techniques for efficient reflective languages, Shigeru Chiba
@TechReport{TR97-06,
author = "Shigeru Chiba",
title = "Implementation techniques for efficient reflective languages",
institution = {Department of Information Science, Faculty of
Science, University of Tokyo},
year = 1997,
number = "97-06",
month = "jun"
}
An efficient compilation framework for languages based on a concurrent process calculus, Keiichi Ooyama and Kenjiro Taura and Akinori Yonezawa
@techReport{TR97-07,
author = "Keiichi Ooyama and Kenjiro Taura and Akinori Yonezawa",
title = "An efficient compilation framework for languages based on a concurrent process calculus",
institution = {Department of Information Science, Faculty of
Science, University of Tokyo},
number = "97-07",
year = 1997,
month = "jul"
}
Operating System Support for Easy Development of Distributed File Systems, Kenichi Kourai and Shigeru Chiba and Takashi Masuda
@TechReport{TR98-01,
author = "Kenichi Kourai and Shigeru Chiba and Takashi Masuda",
title = "Operating System Support for Easy Development of Distributed File Systems",
institution = {Department of Information Science, Faculty of
Science, University of Tokyo},
number = "98-01",
year = 1998,
month = "aug"
}
Quasi-Linear Types, Naoki Kobayashi
@techreport{TR98-02,
Author = {Naoki Kobayashi},
Title = {Quasi-Linear Types},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1998,
Number = "98-02",
Month = sep
}
Integrating Remote Procedure Calls with Virtual Memory Management for Cooperative Autonomous Systems, Kenji Kono and Kazuhiko Kato and Takashi Masuda
@techreport{TR98-03,
Author = "Kenji Kono and Kazuhiko Kato and Takashi Masuda",
Title = "Integrating Remote Procedure Calls with Virtual Memory Management for Cooperative Autonomous Systems",
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1998,
Number = "98-03",
Month = "Sep"
}
Type-Based Useless Variable Elimination, Naoki Kobayashi
@techreport{TR99-02,
Author = {Naoki Kobayashi},
Title = {Type-Based Useless Variable Elimination},
Institution = {Department of Information Science,
Faculty of Science, University of Tokyo},
Year = 1999,
Number = "99-02",
Month = jul
}
Exploiting Segmentation Mechanism for Protecting against Malicious Mobile Code, Takahiro Shinagawa, Kenji Kono, and Takashi Masuda
@techreport{TR00-02,
Author = "Takahiro Shinagawa, Kenji Kono, and Takashi Masuda",
Title = "Exploiting Segmentation Mechanism for Protecting against Malicious Mobile Code",
Institution = {Department of Information Science, Faculty of Science, University of Tokyo},
Year = 2000,
Number = "00-02",
Month = May
}
A Study on Memory-Based Communications and Synchronization in Distributed-Memory Systems, Takashi MATSUMOTO
@techreport{TR01-01,
Author = "Takashi MATSUMOTO",
Title = "A Study on Memory-Based Communications and Synchronization in Distributed-Memory Systems",
Institution = {Department of Computer Science, Graduate school of Information Science and Technology, University of Tokyo},
Year = 2001,
Number = "01-01",
Month = October
}