B TSAI JEFFREY J P & LI (EN) — HYBRID PARALLEL EXECUTION MODEL FOR LOGIC-BASED SPECIFICATION LANGUAGES

HYBRID PARALLEL EXECUTION MODEL FOR LOGIC-BASED SPECIFICATION LANGUAGES краткое содержание

HYBRID PARALLEL EXECUTION MODEL FOR LOGIC-BASED SPECIFICATION LANGUAGES - описание и краткое содержание, автор B TSAI JEFFREY J P & LI (EN), читать бесплатно онлайн на сайте электронной библиотеки Lib-King.Ru.

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 ApproachesOverview of the New ApproachFRORL Requirements Specification Language and Its DecompositionRewriting and Data Dependency, Control Flow Analysis of a Logic-Based SpecificationHybrid and-or Parallelism ImplementationEfficiency Considerations and Experimental ResultsMode Information Support for Automatic Transformation SystemDescribing Non-Functional Requirements in FRORLReadership: Graduate students, engineers and researchers in computer science.Key Features:Provides the first comprehensive treatment of the relationship between biometric data analysis (direct task) and synthesis (inverse task)Authoritatively examines new approaches and methodologies in both direct and inverse biometricsIncludes ample case studies to illustrate practical applications, such as iris and facial modeling for biometric-based training systemsConsulted by Mark S Nixon of the University of South Hampton, one of the first experts in the UK on biometric authentication