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

Access this Article

Search this Article

Author

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

Bibliographic Information

Title

An object-based approach to modeling concurrent systems

Other Title

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

Author

柴山, 悦哉, 1959-

Author(Another name)

シバヤマ, エツヤ

University

東京大学

Types of degree

博士 (理学)

Grant ID

乙第10175号

Degree year

1991-04-22

Note and Description

博士論文

identifier:oai:t2r2.star.titech.ac.jp:99000772

Table of Contents

  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)
16access

Codes

  • NII Article ID (NAID)
    500000097819
  • NII Author ID (NRID)
    • 8000000965365
  • DOI(NDL)
  • NDLBibID
    • 000000262133
  • Source
    • Institutional Repository
    • NDL ONLINE
    • NDL Digital Collections

Export

Page Top