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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore ; New Jersey :
World Scientific,
©2001.
|
| Schriftenreihe: | Series on software engineering and knowledge engineering ;
v. 10. |
| Schlagworte: | |
| Online-Zugang: | DE-862 DE-863 |
| Zusammenfassung: | 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. |
| Beschreibung: | 1 online resource (xii, 214 pages :) |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9789812797964 9812797963 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn261340165 | ||
| 003 | OCoLC | ||
| 005 | 20240705115654.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 |d OCLCL |d SXB |d OCLCQ | ||
| 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 | ||
| 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 | 7 | |a 621.39/2 |2 22 | |
| 049 | |a MAIN | ||
| 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 :) | ||
| 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 | |
| 650 | 0 | |a Computer hardware description languages. |0 http://id.loc.gov/authorities/subjects/sh87005550 | |
| 650 | 0 | |a System design. |0 http://id.loc.gov/authorities/subjects/sh85131736 | |
| 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- |1 https://id.oclc.org/worldcat/entity/E39PCjwvv89PTc3BC3H39tHCFC |0 http://id.loc.gov/authorities/names/n94077755 | |
| 758 | |i has work: |a Hybrid parallel execution model for logic-based specification languages (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGXjq3Tc6hQYdTF3BXdQhd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 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. |0 http://id.loc.gov/authorities/names/no94016832 | |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235932 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235932 |3 Volltext |
| 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 GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn261340165 |
|---|---|
| _version_ | 1826941595194228736 |
| adam_text | |
| any_adam_object | |
| author | Tsai, Jeffrey J.-P |
| author2 | Li, Bing, 1960- |
| author2_role | |
| author2_variant | b l bl |
| author_GND | http://id.loc.gov/authorities/names/n94077755 |
| author_facet | Tsai, Jeffrey J.-P Li, Bing, 1960- |
| author_role | |
| author_sort | Tsai, Jeffrey J.-P |
| author_variant | j j p t jjp jjpt |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | T - Technology |
| callnumber-label | TK7885 |
| callnumber-raw | TK7885.7 .T73 2001eb |
| callnumber-search | TK7885.7 .T73 2001eb |
| callnumber-sort | TK 47885.7 T73 42001EB |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| collection | ZDB-4-EBA |
| contents | 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 |
| ctrlnum | (OCoLC)261340165 |
| dewey-full | 621.39/2 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.39/2 |
| dewey-search | 621.39/2 |
| dewey-sort | 3621.39 12 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06453cam a2200697 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn261340165</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20240705115654.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">081009s2001 si a ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UBY</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCF</subfield><subfield code="d">NLGGC</subfield><subfield code="d">YDXCP</subfield><subfield code="d">MHW</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">LOA</subfield><subfield code="d">AGLDB</subfield><subfield code="d">COCUF</subfield><subfield code="d">MOR</subfield><subfield code="d">CCO</subfield><subfield code="d">PIFAG</subfield><subfield code="d">ZCU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">REC</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">TKN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">UKAHL</subfield><subfield code="d">HS0</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SXB</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">505150563</subfield><subfield code="a">646768525</subfield><subfield code="a">764500397</subfield><subfield code="a">879023835</subfield><subfield code="a">961562396</subfield><subfield code="a">962624879</subfield><subfield code="a">968301052</subfield><subfield code="a">988478151</subfield><subfield code="a">991940457</subfield><subfield code="a">1037742594</subfield><subfield code="a">1038688528</subfield><subfield code="a">1045484240</subfield><subfield code="a">1055374199</subfield><subfield code="a">1063892052</subfield><subfield code="a">1081228283</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812797964</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812797963</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789810240967</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9810240961</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)261340165</subfield><subfield code="z">(OCoLC)505150563</subfield><subfield code="z">(OCoLC)646768525</subfield><subfield code="z">(OCoLC)764500397</subfield><subfield code="z">(OCoLC)879023835</subfield><subfield code="z">(OCoLC)961562396</subfield><subfield code="z">(OCoLC)962624879</subfield><subfield code="z">(OCoLC)968301052</subfield><subfield code="z">(OCoLC)988478151</subfield><subfield code="z">(OCoLC)991940457</subfield><subfield code="z">(OCoLC)1037742594</subfield><subfield code="z">(OCoLC)1038688528</subfield><subfield code="z">(OCoLC)1045484240</subfield><subfield code="z">(OCoLC)1055374199</subfield><subfield code="z">(OCoLC)1063892052</subfield><subfield code="z">(OCoLC)1081228283</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">TK7885.7</subfield><subfield code="b">.T73 2001eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">037000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">059000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">067000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">621.39/2</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Tsai, Jeffrey J.-P.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hybrid parallel execution model for logic-based specification languages /</subfield><subfield code="c">Jeffrey J.P. Tsai, Bing Li.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Singapore ;</subfield><subfield code="a">New Jersey :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">©2001.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xii, 214 pages :)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Series on software engineering and knowledge engineering ;</subfield><subfield code="v">v. 10</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="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</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="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</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="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</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer hardware description languages.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh87005550</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">System design.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85131736</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Langages de description de matériel informatique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Conception de systèmes.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Machine Theory.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Computer Engineering.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Hardware</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer hardware description languages</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">System design</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Li, Bing,</subfield><subfield code="d">1960-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjwvv89PTc3BC3H39tHCFC</subfield><subfield code="0">http://id.loc.gov/authorities/names/n94077755</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Hybrid parallel execution model for logic-based specification languages (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGXjq3Tc6hQYdTF3BXdQhd</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Tsai, Jeffrey J.-P.</subfield><subfield code="t">Hybrid parallel execution model for logic-based specification languages.</subfield><subfield code="d">Singapore ; New Jersey : World Scientific, ©2001</subfield><subfield code="z">9810240961</subfield><subfield code="z">9789810240967</subfield><subfield code="w">(DLC) 2002275781</subfield><subfield code="w">(OCoLC)48251272</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Series on software engineering and knowledge engineering ;</subfield><subfield code="v">v. 10.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no94016832</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235932</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235932</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH24685364</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL1679598</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10255649</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">235932</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis26007317</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2889311</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-862</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn261340165 |
| illustrated | Illustrated |
| indexdate | 2025-03-18T14:14:36Z |
| institution | BVB |
| isbn | 9789812797964 9812797963 |
| language | English |
| oclc_num | 261340165 |
| open_access_boolean | |
| owner | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 1 online resource (xii, 214 pages :) |
| psigel | ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | World Scientific, |
| record_format | marc |
| series | Series on software engineering and knowledge engineering ; |
| series2 | Series on software engineering and knowledge engineering ; |
| spelling | Tsai, Jeffrey J.-P. Hybrid parallel execution model for logic-based specification languages / Jeffrey J.P. Tsai, Bing Li. Singapore ; New Jersey : World Scientific, ©2001. 1 online resource (xii, 214 pages :) text txt rdacontent computer c rdamedia online resource cr rdacarrier data file Series on software engineering and knowledge engineering ; v. 10 Includes bibliographical references and index. Print version record. 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. 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 Computer hardware description languages. http://id.loc.gov/authorities/subjects/sh87005550 System design. http://id.loc.gov/authorities/subjects/sh85131736 Langages de description de matériel informatique. Conception de systèmes. COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Engineering. bisacsh COMPUTERS Hardware General. bisacsh Computer hardware description languages fast System design fast Li, Bing, 1960- https://id.oclc.org/worldcat/entity/E39PCjwvv89PTc3BC3H39tHCFC http://id.loc.gov/authorities/names/n94077755 has work: Hybrid parallel execution model for logic-based specification languages (Text) https://id.oclc.org/worldcat/entity/E39PCGXjq3Tc6hQYdTF3BXdQhd https://id.oclc.org/worldcat/ontology/hasWork Print version: Tsai, Jeffrey J.-P. Hybrid parallel execution model for logic-based specification languages. Singapore ; New Jersey : World Scientific, ©2001 9810240961 9789810240967 (DLC) 2002275781 (OCoLC)48251272 Series on software engineering and knowledge engineering ; v. 10. http://id.loc.gov/authorities/names/no94016832 |
| spellingShingle | Tsai, Jeffrey J.-P Hybrid parallel execution model for logic-based specification languages / Series on software engineering and knowledge engineering ; 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 Computer hardware description languages. http://id.loc.gov/authorities/subjects/sh87005550 System design. http://id.loc.gov/authorities/subjects/sh85131736 Langages de description de matériel informatique. Conception de systèmes. COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Engineering. bisacsh COMPUTERS Hardware General. bisacsh Computer hardware description languages fast System design fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh87005550 http://id.loc.gov/authorities/subjects/sh85131736 |
| title | Hybrid parallel execution model for logic-based specification languages / |
| title_auth | Hybrid parallel execution model for logic-based specification languages / |
| title_exact_search | Hybrid parallel execution model for logic-based specification languages / |
| title_full | Hybrid parallel execution model for logic-based specification languages / Jeffrey J.P. Tsai, Bing Li. |
| title_fullStr | Hybrid parallel execution model for logic-based specification languages / Jeffrey J.P. Tsai, Bing Li. |
| title_full_unstemmed | Hybrid parallel execution model for logic-based specification languages / Jeffrey J.P. Tsai, Bing Li. |
| title_short | Hybrid parallel execution model for logic-based specification languages / |
| title_sort | hybrid parallel execution model for logic based specification languages |
| topic | Computer hardware description languages. http://id.loc.gov/authorities/subjects/sh87005550 System design. http://id.loc.gov/authorities/subjects/sh85131736 Langages de description de matériel informatique. Conception de systèmes. COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Engineering. bisacsh COMPUTERS Hardware General. bisacsh Computer hardware description languages fast System design fast |
| topic_facet | Computer hardware description languages. System design. Langages de description de matériel informatique. Conception de systèmes. COMPUTERS Machine Theory. COMPUTERS Computer Engineering. COMPUTERS Hardware General. Computer hardware description languages System design |
| work_keys_str_mv | AT tsaijeffreyjp hybridparallelexecutionmodelforlogicbasedspecificationlanguages AT libing hybridparallelexecutionmodelforlogicbasedspecificationlanguages |