Cargando…
Hybrid parallel execution model for logic-based specification languages /
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 ve...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore ; New Jersey :
World Scientific,
©2001.
|
| Colección: | Series on software engineering and knowledge engineering ;
v. 10. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn261340165 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 081009s2001 si a ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d UBY |d E7B |d OCLCQ |d IDEBK |d OCLCO |d OCLCF |d NLGGC |d YDXCP |d MHW |d EBLCP |d OCLCQ |d AZK |d LOA |d AGLDB |d COCUF |d MOR |d CCO |d PIFAG |d ZCU |d OCLCQ |d MERUC |d OCLCQ |d U3W |d STF |d WRM |d VTS |d NRAMU |d ICG |d INT |d REC |d VT2 |d OCLCQ |d WYU |d TKN |d OCLCQ |d DKC |d OCLCQ |d M8D |d UKAHL |d HS0 |d OCLCQ |d AJS |d OCLCO |d OCLCA |d OCLCQ |d OCLCO | ||
| 019 | |a 505150563 |a 646768525 |a 764500397 |a 879023835 |a 961562396 |a 962624879 |a 968301052 |a 988478151 |a 991940457 |a 1037742594 |a 1038688528 |a 1045484240 |a 1055374199 |a 1063892052 |a 1081228283 | ||
| 020 | |a 9789812797964 |q (electronic bk.) | ||
| 020 | |a 9812797963 |q (electronic bk.) | ||
| 020 | |z 9789810240967 | ||
| 020 | |z 9810240961 | ||
| 029 | 1 | |a AU@ |b 000049162599 | |
| 029 | 1 | |a DEBBG |b BV043079609 | |
| 029 | 1 | |a DEBBG |b BV044178979 | |
| 029 | 1 | |a DEBSZ |b 422096717 | |
| 029 | 1 | |a GBVCP |b 802687806 | |
| 029 | 1 | |a NZ1 |b 13858054 | |
| 035 | |a (OCoLC)261340165 |z (OCoLC)505150563 |z (OCoLC)646768525 |z (OCoLC)764500397 |z (OCoLC)879023835 |z (OCoLC)961562396 |z (OCoLC)962624879 |z (OCoLC)968301052 |z (OCoLC)988478151 |z (OCoLC)991940457 |z (OCoLC)1037742594 |z (OCoLC)1038688528 |z (OCoLC)1045484240 |z (OCoLC)1055374199 |z (OCoLC)1063892052 |z (OCoLC)1081228283 | ||
| 050 | 4 | |a TK7885.7 |b .T73 2001eb | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 059000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 082 | 0 | 4 | |a 621.39/2 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Tsai, Jeffrey J.-P. | |
| 245 | 1 | 0 | |a Hybrid parallel execution model for logic-based specification languages / |c Jeffrey J.P. Tsai, Bing Li. |
| 260 | |a Singapore ; |a New Jersey : |b World Scientific, |c ©2001. | ||
| 300 | |a 1 online resource (xii, 214 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 490 | 1 | |a Series on software engineering and knowledge engineering ; |v v. 10 | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a 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. | ||
| 505 | 0 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Computer hardware description languages. | |
| 650 | 0 | |a System design. | |
| 650 | 6 | |a Langages de description de matériel informatique. | |
| 650 | 6 | |a Conception de systèmes. | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Engineering. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a Computer hardware description languages |2 fast | |
| 650 | 7 | |a System design |2 fast | |
| 700 | 1 | |a Li, Bing, |d 1960- | |
| 776 | 0 | 8 | |i Print version: |a Tsai, Jeffrey J.-P. |t Hybrid parallel execution model for logic-based specification languages. |d Singapore ; New Jersey : World Scientific, ©2001 |z 9810240961 |z 9789810240967 |w (DLC) 2002275781 |w (OCoLC)48251272 |
| 830 | 0 | |a Series on software engineering and knowledge engineering ; |v v. 10. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235932 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24685364 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL1679598 | ||
| 938 | |a ebrary |b EBRY |n ebr10255649 | ||
| 938 | |a EBSCOhost |b EBSC |n 235932 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis26007317 | ||
| 938 | |a YBP Library Services |b YANK |n 2889311 | ||
| 994 | |a 92 |b IZTAP | ||