An object-based approach to modeling concurrent systems オブジェクト指向方式による並行システムのモデル化に関する研究

この論文をさがす

著者

    • 柴山, 悦哉, 1959- シバヤマ, エツヤ

書誌事項

タイトル

An object-based approach to modeling concurrent systems

タイトル別名

オブジェクト指向方式による並行システムのモデル化に関する研究

著者名

柴山, 悦哉, 1959-

著者別名

シバヤマ, エツヤ

学位授与大学

東京大学

取得学位

博士 (理学)

学位授与番号

乙第10175号

学位授与年月日

1991-04-22

注記・抄録

博士論文

目次

  1. Contents / p1 (0003.jp2)
  2. Acknowledgments / p3 (0004.jp2)
  3. Introduction / p5 (0005.jp2)
  4. 1 Design Issues / p9 (0007.jp2)
  5. 1.1 The Basic Computation Model / p10 (0008.jp2)
  6. 1.2 Models for Underlying Architectures / p18 (0012.jp2)
  7. 1.3 Basic Synchronization Mechanisms / p20 (0013.jp2)
  8. 2 A Kernel Language and Its Semantics / p23 (0014.jp2)
  9. 2.1 Outline of Our Approach / p23 (0014.jp2)
  10. 2.2 The Language ABCL⁻ / p25 (0015.jp2)
  11. 2.3 A Basic Model of ABCL⁻ / p27 (0016.jp2)
  12. 2.4 Object Diagrams / p40 (0023.jp2)
  13. 2.5 Translating ABCL⁻ Programs / p46 (0026.jp2)
  14. 2.6 Comparison with the Agha's Model / p52 (0029.jp2)
  15. 3 Program Transformation / p55 (0030.jp2)
  16. 3.1 Transformation Rules / p55 (0030.jp2)
  17. 3.2 A Formal Proof Technique / p64 (0035.jp2)
  18. 3.3 Removing step and new-env Forms / p71 (0038.jp2)
  19. 3.4 An Application Example / p73 (0039.jp2)
  20. 3.5 On Dynamic Transformation / p83 (0044.jp2)
  21. 3.6 Conclusion / p84 (0045.jp2)
  22. 4 Distributed Discrete Event Simulation / p89 (0047.jp2)
  23. 4.1 The Car Wash Problem / p90 (0048.jp2)
  24. 4.2 Object-Oriented Modeling of the Simulation / p91 (0048.jp2)
  25. 4.3 Pessimism and Optimism / p97 (0051.jp2)
  26. 4.4 A Rollback Mechanism / p100 (0053.jp2)
  27. 4.5 Improving the Rollback Program / p104 (0055.jp2)
  28. 4.6 Evaluation of Simulation Algorithms / p106 (0056.jp2)
  29. 4.7 Conclusion / p111 (0058.jp2)
  30. 5 Concurrent Balanced Trees / p115 (0060.jp2)
  31. 5.1 2-3 Trees / p116 (0061.jp2)
  32. 5.2 2-3 Parallel Search Trees / p121 (0063.jp2)
  33. 5.3 Concurrent Access Control for Balanced Trees / p123 (0064.jp2)
  34. 5.4 Merging Balanced Trees in Parallel / p130 (0068.jp2)
  35. 5.5 Concluding Remarks / p157 (0081.jp2)
  36. 6 Sharing Concurrent Object Descriptions / p161 (0083.jp2)
  37. 6.1 The Basic Synchronization Technique / p162 (0084.jp2)
  38. 6.2 The New Language ABCL⁺ / p165 (0085.jp2)
  39. 6.3 A More Practical Example / p179 (0092.jp2)
  40. 6.4 Remarks / p188 (0097.jp2)
  41. A Details of Proofs / p191 (0098.jp2)
  42. B ABCL/1 Programs / p211 (0108.jp2)
  43. Bibliography / p227 (0116.jp2)
  44. Index / p235 (0120.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000097819
  • NII著者ID(NRID)
    • 8000000965365
  • DOI(NDL)
  • NDL書誌ID
    • 000000262133
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ