Hybrid parallel execution model for logic-based specification languages
216 pages, parution le 06/12/2001
Résumé
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 Logic-Based Specification
- Hybrid and-or Parallelism Implementation
- Efficiency Considerations and Experimental Results
- Mode Information Support for Automatic Transformation System
- Describing Non-Functional Requirements in FRORL
L'auteur - Bingren Li
Chinese Academy of Sciences, P R China
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | World Scientific |
| Auteur(s) | Jeffrey JP Tsai, Bingren Li |
| Parution | 06/12/2001 |
| Nb. de pages | 216 |
| Format | 16 x 22,5 |
| Couverture | Relié |
| Poids | 321g |
| Intérieur | Noir et Blanc |
| EAN13 | 9789810240967 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
