Specification and verification of real-time concurrent software (Japanese)
- New search for: Yamane, S.
- New search for: Yamane, S.
In:
Transactions of the Information Processing Society of Japan
;
37
, 2
;
188-203
;
1996
-
ISSN:
- Article (Journal) / Print
-
Title:Specification and verification of real-time concurrent software
-
Additional title:Spezifikation und Verifikation von Echtzeitsimultansoftware
Titel japanisch -
Contributors:Yamane, S. ( author )
-
Published in:Transactions of the Information Processing Society of Japan ; 37, 2 ; 188-203
-
Publisher:
-
Publication date:1996
-
Size:16 Seiten, 18 Quellen
-
ISSN:
-
Coden:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:Japanese
-
Keywords:
-
Source:
Table of contents – Volume 37, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 169
-
ID3-GA for the dependent attribute problemHondo, N. / Naruse, K. / Kakazu, Y. et al. | 1996
- 188
-
Specification and verification of real-time concurrent softwareYamane, S. et al. | 1996
- 214
-
Adaptive input field neural network which can recognize transformed patternsAsogawa, M. et al. | 1996
- 231
-
An interactive system implementation for constructing cat's cradle diagrams and its evaluationBudiarto, R. / Yamada, M. / Seki, H. / Itoh, H. et al. | 1996
- 242
-
Normal vectors of Bezier type surfaces and their boundsYamaguchi, Y. et al. | 1996
- 249
-
Processing for knitting patterns using a representation method for 3D string diagramsItoh, Y. / Yamada, M. / Miyazaki, T. / Seki, H. / Itoh, H. et al. | 1996
- 259
-
A 3D model and rendering algorithms of rivers based on measured dataJi, Hongbin / Zhen Liu / Aoki, Y. et al. | 1996
- 269
-
A perfect approach for color reproduction by using input estimation inverse problem solutionTakaghi, A. et al. | 1996
- 278
-
Reusing TLB entries for virtual machines in processor switchingUmeno, H. / Ikegaya, H. et al. | 1996
- 290
-
Performance evaluation of cache coherence protocols based on a directory schemeHosomi, T. / Mori, S.I. / Nakashima, H. / Tomita, S. et al. | 1996
- 300
-
PC-LAN construction support tool: Easy InstallerTezuka, S. / Kihara, K. / Miyake, S. / Furukawa, H. / Motobayashi, S. / Tsuyuki, Y. et al. | 1996