Hybrid parallel execution model for logic-based specification languages [[electronic resource] /] / Jeffrey J.P. Tsai, Bing Li |
Autore | Tsai Jeffrey J.-P |
Pubbl/distr/stampa | Singapore ; ; New Jersey, : World Scientific, c2001 |
Descrizione fisica | 1 online resource (228 p.) |
Disciplina | 004.35 |
Altri autori (Persone) | LiBing <1960-> |
Collana | Series on software engineering and knowledge engineering |
Soggetto topico |
Computer hardware description languages
System design |
Soggetto genere / forma | Electronic books. |
ISBN | 981-279-796-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
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 |
Record Nr. | UNINA-9910453552703321 |
Tsai Jeffrey J.-P
![]() |
||
Singapore ; ; New Jersey, : World Scientific, c2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Hybrid parallel execution model for logic-based specification languages [[electronic resource] /] / Jeffrey J.P. Tsai, Bing Li |
Autore | Tsai Jeffrey J.-P |
Pubbl/distr/stampa | Singapore ; ; New Jersey, : World Scientific, c2001 |
Descrizione fisica | 1 online resource (228 p.) |
Disciplina | 004.35 |
Altri autori (Persone) | LiBing <1960-> |
Collana | Series on software engineering and knowledge engineering |
Soggetto topico |
Computer hardware description languages
System design |
ISBN | 981-279-796-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
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 |
Record Nr. | UNINA-9910782275703321 |
Tsai Jeffrey J.-P
![]() |
||
Singapore ; ; New Jersey, : World Scientific, c2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Hybrid parallel execution model for logic-based specification languages / / Jeffrey J.P. Tsai, Bing Li |
Autore | Tsai Jeffrey J.-P |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Singapore ; ; New Jersey, : World Scientific, c2001 |
Descrizione fisica | 1 online resource (228 p.) |
Disciplina | 004.35 |
Altri autori (Persone) | LiBing <1960-> |
Collana | Series on software engineering and knowledge engineering |
Soggetto topico |
Computer hardware description languages
System design |
ISBN | 981-279-796-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
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 |
Record Nr. | UNINA-9910825441903321 |
Tsai Jeffrey J.-P
![]() |
||
Singapore ; ; New Jersey, : World Scientific, c2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Intrusion detection [[electronic resource] ] : a machine learning approach / / Zhenwei Yu, Jeffrey J.P. Tsai |
Autore | Tsai Jeffrey J.-P |
Pubbl/distr/stampa | London, : Imperial College Press |
Descrizione fisica | 1 online resource (185 p.) |
Disciplina | 005.8 |
Altri autori (Persone) | YuZhenwei |
Collana | Series in electrical and computer engineering |
Soggetto topico | Computer networks - Security measures |
Soggetto genere / forma | Electronic books. |
ISBN |
1-283-14819-6
9786613148193 1-84816-448-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. A. Intrusion detection for wired network -- pt. B. Intrusion detection for wireless sensor network. |
Record Nr. | UNINA-9910456646303321 |
Tsai Jeffrey J.-P
![]() |
||
London, : Imperial College Press | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Intrusion detection [[electronic resource] ] : a machine learning approach / / Zhenwei Yu, Jeffrey J.P. Tsai |
Autore | Tsai Jeffrey J.-P |
Pubbl/distr/stampa | London, : Imperial College Press |
Descrizione fisica | 1 online resource (185 p.) |
Disciplina | 005.8 |
Altri autori (Persone) | YuZhenwei |
Collana | Series in electrical and computer engineering |
Soggetto topico | Computer networks - Security measures |
ISBN |
1-283-14819-6
9786613148193 1-84816-448-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. A. Intrusion detection for wired network -- pt. B. Intrusion detection for wireless sensor network. |
Record Nr. | UNINA-9910781459103321 |
Tsai Jeffrey J.-P
![]() |
||
London, : Imperial College Press | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Intrusion detection : a machine learning approach / / Zhenwei Yu, Jeffrey J.P. Tsai |
Autore | Tsai Jeffrey J.-P |
Edizione | [1st ed.] |
Pubbl/distr/stampa | London, : Imperial College Press |
Descrizione fisica | 1 online resource (185 p.) |
Disciplina | 005.8 |
Altri autori (Persone) | YuZhenwei |
Collana | Series in electrical and computer engineering |
Soggetto topico | Computer networks - Security measures |
ISBN |
1-283-14819-6
9786613148193 1-84816-448-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. A. Intrusion detection for wired network -- pt. B. Intrusion detection for wireless sensor network. |
Record Nr. | UNINA-9910806991803321 |
Tsai Jeffrey J.-P
![]() |
||
London, : Imperial College Press | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|