Muutke küpsiste eelistusi

Hybrid Parallel Execution Model For Logic-based Specification Languages [Kõva köide]

(Asia Univ, Taiwan & Univ Of Illinois At Chicago, Usa), (Univ Of Illinois At Chicago, Usa)
Teised raamatud teemal:
Hybrid Parallel Execution Model For Logic-based Specification LanguagesSuurem pilt
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9789810240967.html
Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The purpose of this book is to introduce important techniques for parallel executation of high-level specifications of software systems. These techniques are very useful for the construction, analysis, and transformation of reliable large-scale and complex software systems.
Introduction
1(6)
Current Approaches
7(6)
Data Dependency Analysis
7(1)
OR-Parallelism
7(2)
AND-Parallelism
9(1)
Backtracking
10(3)
Overview of the New Approach
13(8)
Non-monotonic Inheritance Expansion
15(1)
Static Data Dependency Analysis
15(2)
Automatic Transformation
17(1)
Hybrid AND-OR Parallel Execution
17(1)
Simplifed OR-Parallel Model
18(1)
Backtracking Elimination
19(2)
FRORL Requirements Specification Language and Its Decomposition
21(32)
Knowledge Representation through Object-Oriented Model
22(1)
The Modeling Primitives Of FRORL
23(4)
Object Frame
23(2)
Activity Frame
25(2)
Reserved Words
27(1)
Decomposition of a FRORL Requirements Specification
27(26)
FRORL and its Non-monotonic Inheritance Mechanism
28(1)
Transformation of FRORL into Horn-clause Logic-based Specification
29(1)
Algorithms for Non-Monotonic Inheritance Handling
30(23)
Rewriting and Data Dependency, Control Flow Analysis of a Logic-Based Specification
53(36)
Rewriting of a Logic-Based Specification
54(20)
Equal-Introduction
56(2)
Equal-Substitution
58(2)
Decomposition
60(6)
Simplification
66(8)
Data Dependency and Control Flow Analysis
74(15)
Matrix Representation of Mode Information
75(3)
Data Fow and Dependency Analysis Algorithm
78(11)
Hybrid AND-OR Parallelism Implementation
89(18)
The Usage of Mode Information in the Parallel Model
89(1)
AND-OR Parallel Execution
90(2)
Synchronization in OR-Parallel Execution Model
92(3)
Calculation of the Currently Executable Predicate Set
95(3)
Hybrid Execution Algorithm
98(2)
Comparison with the Conventional BFS and DFS
100(1)
Advantages of the New Approach
101(4)
Analysis of Non-functional Requirements in the New Parallel Execution Model
105(2)
Efficiency Considerations and Experimental Results
107(54)
Execution Evaluation
107(1)
Communication Evaluation
107(1)
Criteria for Simulation and Evaluation
108(6)
A Simulator for Parallel Logic-based Specification Evaluation
114(7)
Experimental Results and Comparison
121(40)
Simulation for Various Values of Error_Rate
122(2)
Simulation for Values of Deep_Jumping_Distance
124(2)
Simulation for Values of Deep_Jumping_Rate
126(1)
Simulation for Values of Variable_Related_Rate
127(1)
Simulation for Values of Nondeterminism_Rate
128(33)
Mode Information Support for Automatic Transformation System
161(24)
Architecture of a Logic-based Specification Transformation System
162(1)
Determination of Control Sequence
162(5)
Data Type Generation and Procedural Function Formation
167(16)
Rules-based Data Type Inference
168(3)
Data Type Propagation Analysis and Generation
171(1)
Data Type Analysis in a FRORL Specification
172(1)
Procedural Program Generation
173(10)
Intelligent Backtracking for Transformation System
183(2)
Describing Non-Functional Requirements in FRORL
185(16)
Functional Requirements vs. Non-functional Requirements
185(1)
Issues in Non-functional Requirements
186(4)
Non-functional Requirements Modeling in FRORL
190(6)
Adjusting Non-functional requirements
196(5)
Summary
201