Advances in Information Systems Science

1 Theory of Parallel Programming. I. Survey of Practical Aspects. - 1. Introduction. - 2. Parallel Programming Languages and Methods. - 3. Scheduling Problems for Parallel Programs. - 4. Automatic Construction of Parallel Programs. - 2 Theory of Parallel Programming. II. Survey of Formal Models. - 1. Introduction. - 2. The Memory. - 3. The Operator and Database. - 4. Computational Processes. - 5. The Metamodel. - 6. The Control. - 7. Equivalence of Computational Processes. - 8. Determinacy of Metasystems. - 9. Equivalence of Metasystems. - 10. Asynchronism. - 11. Programs and Systems. - 12. Conclusions. - 3 Data Structure Models in Information System Design. - 1. Data Morphology. - 2. Data Structure Models for Simple Information Retrieval. - 3. Data Structures for Information Systems of Flexible Use. - 4. Conclusions. - 4 The Mathematical Theory of L Systems. - 0. Introduction. - 2. Squeezing Languages out of L Systems. - 3. Fitting Classes of L Languages into Known Formal Language Theoretic Framework. - 4. Other Characterizations of Classes of L Languages within the Framework of Formal Language Theory. - 5. Structural Constraints on L Systems. - 6. Squeezing Sequences out of L Systems. - 7. Growth Functions. - 8. Decision Problems. - 9. Global Versus Local Behavior of L Systems. - 10. Deterministic Versus Nondeterministic Behavior of L Systems. - 11. L Transformations. - 12. Getting Down to Properties of Single L Languages or Sequences. - 13. Generalizing L System Ideas: Toward a Uniform Framework. - 14. Some Proof Techniques. - 15. Conclusions. Language: English