Hybrid Parallel Execution Model For Logic-based Specification Languages

By: Bing Li (Editor), Jeffrey J. P. Tsai (Editor)

Write A Review

Hardcover | 5 July 2001

At a Glance

Hardcover
228 Pages

Dimensions(cm)
22.86 x 15.88 x 1.91

Hardcover

RRP $248.99

$224.75

10%OFF

or 4 interest-free payments of $56.19 with

Ships in 15 to 25 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Systems Analysis & Design Computer Architecture & Logic Design Parallel Processing Computer Programming & Software Development Software Engineering Medicine Medicine in General Booktopia Publisher Services World Scientific Publishing

Introduction	p. 1
Current Approaches	p. 7
Overview of the New Approach	p. 13
FRORL Requirements Specification Language and Its Decomposition	p. 21
Rewriting and Data Dependency, Control Flow Analysis of a Logic-Based Specification	p. 53
Hybrid AND-OR Parallelism Implementation	p. 89
Efficiency Considerations and Experimental Results	p. 107
Mode Information Support for Automatic Transformation System	p. 161
Describing Non-Functional Requirements in FRORL	p. 185
Summary	p. 201
Table of Contents provided by Blackwell. All Rights Reserved.

Hybrid Parallel Execution Model For Logic-based Specification Languages

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Parallel Processing

Constraints and Advanced Solutions for LTE-Advanced Heterogeneous Networks

Parallel Computing

Design and Analysis of Algorithms

Fundamentals of Software Architecture

A Modern Engineering Approach

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Rust Atomics and Locks

Low-Level Concurrency in Practice

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Deep Learning in Genome Mapping

Computation and Analysis

Introduction to High Performance Computing for Scientists and Engineers

Chapman & Hall/CRC Computational Science

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Learning Apache OpenWhisk

Developing Open Serverless Solutions

Monolith to Microservices

Evolutionary Patterns to Transform Your Monolith

Flow Architectures

The Future of Streaming and Event-Driven Integration

Production Kubernetes

Building Successful Application Platforms

Foundations of Scalable Systems

Designing Distributed Architectures

Streaming Data Pipelines with Apache Kafka

Kafka for Architects

Event-driven Architecture, Logs, Microservices, Real-time Event Processing

Modern Concurrency in Java

A Deep Dive Into Virtual Threads, Structured Concurrency, and Scoped Values

Fundamentals of Metadata Management

Uncover the Meta Grid and Unlock Data, Information, and Knowledge Management

ADAPTIVE ENTERPRISE ARCHITECTURE AS INFORMATION

Architecting Intelligent Enterprises

Seeking SRE

Conversations about running production systems at scale

Practical Microservices

Build Event-Driven Architectures with Event Sourcing and CQRS

Modern System Administration

Managing Reliable and Sustainable Systems

Microservices: Up and Running

A Step-by-Step Guide to Building a Microservice Architecture

This product is categorised by