Computer Software

All issues

Volume 15, Issue 3

Displaying 1-10 of 10 articles from this issue

Download citation

Show all abstracts

[title in Japanese]

[in Japanese], [in Japanese]

1998Volume 15Issue 3 Pages 3_189
Published: May 15, 1998
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.15.3_189

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (77K)
Consistency Checking between Structured Diagrams based on Formal Methods.

Shori Kono, Han-Myuing Chang, Keijiro Araki

1998Volume 15Issue 3 Pages 3_190-3_204
Published: May 15, 1998
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.15.3_190

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (1167K)
A Markovian Software Availability Model for Operational Use.

Koichi Tokuno, Shigeru Yamada

1998Volume 15Issue 3 Pages 3_205-3_212
Published: May 15, 1998
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.15.3_205

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (572K)
Classfication of Reactive System Specifications in Temporal Logic

Ryosei Mori, Masahiko Tomoishi, Naoki Yonezaki

1998Volume 15Issue 3 Pages 3_213-3_225
Published: May 15, 1998
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.15.3_213

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (1076K)
Recursion Removal Rules for Linear Recursive Programs and their Effectiveness.

Yoshihiko Futamura, Hirofusa Otani

1998Volume 15Issue 3 Pages 3_226-3_237
Published: May 15, 1998
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.15.3_226

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (994K)
Relationship between Conversational Coherence and the Degree of Achievement at E-mail Communication in a Cooperative Work.

Hiroyuki Murakoshi, Koichiro Ochimizu

1998Volume 15Issue 3 Pages 3_238-3_241
Published: May 15, 1998
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.15.3_238

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (335K)
Compiling Techniques for ADSM on General-Purpose Massively-Parallel Operating System : SSS-CORE

Junpei Niwa, Tatsushi Inagaki, Takashi Matsumoto, Kei Hiraki

1998Volume 15Issue 3 Pages 3_242-3_246
Published: May 15, 1998
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.15.3_242

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (437K)
A High-Speed User-Level Communication Mechanism for the General-Purpose Massively-Parallel OS : SSS-CORE.

Takashi Matsumoto, Kei Hiraki

1998Volume 15Issue 3 Pages 3_247-3_251
Published: May 15, 1998
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.15.3_247

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (439K)
A Report on ICFP/PEPM '97

Kenichi Asai

1998Volume 15Issue 3 Pages 3_252-3_256
Published: May 15, 1998
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.15.3_252

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (475K)
[title in Japanese]

Nobuhisa Fujinami

1998Volume 15Issue 3 Pages 3_257-3_261
Published: May 15, 1998
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.15.3_257

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (408K)

Register with J-STAGE for free!