Titech Technical Report (Dept. of CS) 1992

Click TR No. for the abstract, (if any) for PostScript file.
TR92-0001(April)
Design of fully exercised SFS/SCD logic networks
Takashi Nanya, Shin'ichi Hatakenaka and Ryuichi Onoo

TR92-0002(April)
Predicate invention based on discrimination
Boonserm Kijsirikul, Masayuki Numao and Masamichi Shimura

TR92-0003(April)
A framework for polynomial time query learnability
Osamu Watanabe

TR92-0004(April)
Structural analysis of polynomial time query learnability
Osamu Watanabe and Richard Gavald\`{a}

TR92-0005(May)
Computational and statistical indistinguishabilities
Kaoru Kurosawa and Osamu Watanabe

TR92-0006(May)
Challenges to dependable asynchronous processor design
Takashi Nanya

TR92-0007(June)
Fault injection for the experimental validation of fault-tolerant systems
Jean Arlat

TR92-0008(June)
On signal transition causality for self-timed implementation of Boolean functions
Takashi Nanya and Masashi Kuwako

TR92-0009(August)
A note on the query complexity of learnig DFA
Jos\'{e} L.\ Balcaz\'{a}r, Josep D{\'\i}az, Ricard Gavald\`{a} and Osamu Watanabe

TR92-0010(August)
The determination of parameters of hyper-geometric distribution model for debugging process
Yoshihiro Tohma, Soichiro Tajima and Yukichi Matsunaga

TR92-0011(August)
Text Revision: A Model and Its Implementation
Kentaro Inui, Takenobu Tokunaga and Hozumi Tanaka

TR92-0012(August)
Implementation and evaluation of yet another generalized LR parsing algorithm
K.G. Suresh and Hozumi Tanaka

TR92-0013(September)
A design method for cost-effective self-testing checker for optimal d-unidirectional error detecting codes
Eiji Fujiwara and Masakatsu Yoshikawa

TR92-0014(September)
Single b-bit byte error correcting and double bit error detecting codes for high-speed memory systems
Eiji Fujiwara and Mitsuru Hamada

TR92-0015(September)
Single byte unidirectional error locating codes
Eiji Fujiwara and Shuxin Jiang

TR92-0016(September)
A class of byte error control codes for memory systems -- SbEC-(Sb+S)ED codes --
Mitsuru Hamada and Eiji Fujiwara

TR92-0017(September)
A generalized marching test for detecting pattern sensitive faults in RAMs
Masahiro Hashimoto and Eiji Fujiwara

TR92-0018(October)
Complicated paradigm of responsive systems
Yoshihiro Tohma

TR92-0019(Novemver)
A Family of generalized lr parsing algorithms using ancestors table
Hozumi Tanaka, K.G. Suresh and Koiti Yamada

TR92-0020(Novemver)
Byte error locating codes
Eiji Fujiwara

TR92-0021(Novemver)
Necessary and sufficient conditions for byte unidirectional error locating codes
Shuxin Jiang and Eiji Fujiwara

TR92-0022(December)
On closure properties of #P in the context of PF o #P
Mistunori Ogiwara, Thomas Thierauf, Seinosuke Toda and Osamu Watanabe

TR92-0023(December)
A class of error locating codes for byte-organized memory systems
Eiji Fujiwara and Masato Kitakami