عنوان
پدید آورنده
موضوع
رده
TK7885.7 .T73 2001eb
TK7885
.
7
.
T73
2001eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9789812797964
(Number (ISBN
9812797963
Erroneous ISBN
9789810240967
Erroneous ISBN
9810240961
NATIONAL BIBLIOGRAPHY NUMBER
Number
b759657
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Hybrid parallel execution model for logic-based specification languages /
General Material Designation
[Book]
First Statement of Responsibility
Jeffrey J.P. Tsai, Bing Li.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New Jersey :
Name of Publisher, Distributor, etc.
World Scientific,
Date of Publication, Distribution, etc.
©2001.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xii, 214 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Series on software engineering and knowledge engineering ;
Volume Designation
v. 10
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
1 Introduction; 2 Current Approaches; 2.1 Data Dependency Analysis; 2.2 OR-Parallelism; 2.3 AND-Parallelism; 2.4 Backtracking; 3 Overview of the New Approach; 3.1 Non-monotonic Inheritance Expansion; 3.2 Static Data Dependency Analysis; 3.3 Automatic Transformation; 3.4 Hybrid AND-OR Parallel Execution; 3.5 Simplified OR-Parallel Model; 3.6 Backtracking Elimination; 4 FRORL Requirements Specification Language and Its Decomposition; 4.1 Knowledge Representation through Object-Oriented Model; 4.2 The Modeling Primitives of FRORL; 4.3 Decomposition of a FRORL Requirements Specification
Text of Note
5 Rewriting and Data Dependency Control Flow Analysis of a Logic-Based Specification5.1 Rewriting of a Logic-Based Specification; 5.2 Data Dependency and Control Flow Analysis; 6 Hybrid AND-OR Parallelism Implementation; 6.1 The Usage of Mode Information in the Parallel Model; 6.2 AND-OR Parallel Execution; 6.3 Synchronization in OR-Parallel Execution Model; 6.4 Calculation of the Currently Executable Predicate Set; 6.5 Hybrid Execution Algorithm; 6.6 Comparison with the Conventional BFS and DFS; 6.7 Advantages of the New Approach
Text of Note
6.8 Analysis of Non-functional Requirements in the New Parallel Execution Model7 Efficiency Considerations and Experimental Results; 7.1 Execution Evaluation; 7.2 Communication Evaluation; 7.3 Criteria for Simulation and Ealuation; 7.4 A Simulator for Parallel Logic-based Specification Evaluation; 7.5 Experimental Results and Comparison; 8 Mode Information Support for Automatic Transformation System; 8.1 Architecture of a Logic-based Specification Transformation System; 8.2 Determination of Control Sequence; 8.3 Data Type Generation and Procedural Function Formation
Text of Note
8.4 Intelligent Backtracking for Transformation System9 Describing Non-Functional Requirements in FRORL; 9.1 Functional Requirements vs. Non-functional Requirements; 9.2 Issues in Non-functional Requirements; 9.3 Non-functional Requirements Modeling in FRORL; 9.4 Adjusting Non-functional Requirements; 10 Summary
0
8
8
8
SUMMARY OR ABSTRACT
Text of Note
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. Contents: Current Approaches; Overview of the New Approach; FRORL Requirements Specification Language and Its Decomposition; Rewriting and Data Dependency, Control Flow Analysis of a Lo.
OTHER EDITION IN ANOTHER MEDIUM
Title
Hybrid parallel execution model for logic-based specification languages.
International Standard Book Number
9789810240967
TOPICAL NAME USED AS SUBJECT
Computer hardware description languages.
System design.
Computer hardware description languages.
COMPUTERS-- Computer Engineering.
COMPUTERS-- Hardware-- General.
COMPUTERS-- Machine Theory.
System design.
(SUBJECT CATEGORY (Provisional
COM-- 037000
COM-- 059000
COM-- 067000
DEWEY DECIMAL CLASSIFICATION
Number
621
.
39/2
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TK7885
.
7
Book number
.
T73
2001eb
PERSONAL NAME - PRIMARY RESPONSIBILITY
Tsai, Jeffrey J.-P.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Li, Bing,1960-
ORIGINATING SOURCE
Date of Transaction
20201204193016.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
