عنوان
پدید آورنده
موضوع
رده
TK7885.7 .T73 2001eb
TK7885
.
7
.
T73
2001eb
کتابخانه
محل استقرار
شابک
شابک
9789812797964
شابک
9812797963
شابک اشتباه
9789810240967
شابک اشتباه
9810240961
شماره کتابشناسی ملی
شماره
b759657
عنوان و نام پديدآور
عنوان اصلي
Hybrid parallel execution model for logic-based specification languages /
نام عام مواد
[Book]
نام نخستين پديدآور
Jeffrey J.P. Tsai, Bing Li.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New Jersey :
نام ناشر، پخش کننده و غيره
World Scientific,
تاریخ نشرو بخش و غیره
©2001.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xii, 214 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Series on software engineering and knowledge engineering ;
مشخصه جلد
v. 10
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
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
متن يادداشت
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
متن يادداشت
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
متن يادداشت
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
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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.
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Hybrid parallel execution model for logic-based specification languages.
شماره استاندارد بين المللي کتاب و موسيقي
9789810240967
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer hardware description languages.
موضوع مستند نشده
System design.
موضوع مستند نشده
Computer hardware description languages.
موضوع مستند نشده
COMPUTERS-- Computer Engineering.
موضوع مستند نشده
COMPUTERS-- Hardware-- General.
موضوع مستند نشده
COMPUTERS-- Machine Theory.
موضوع مستند نشده
System design.
مقوله موضوعی
موضوع مستند نشده
COM-- 037000
موضوع مستند نشده
COM-- 059000
موضوع مستند نشده
COM-- 067000
رده بندی ديویی
شماره
621
.
39/2
ويراست
22
رده بندی کنگره
شماره رده
TK7885
.
7
نشانه اثر
.
T73
2001eb
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Tsai, Jeffrey J.-P.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Li, Bing,1960-
مبدا اصلی
تاريخ عمليات
20201204193016.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
