Del 10 i serien Series On Software Engineering And Knowledge Engineering

Hybrid Parallel Execution Model For Logic-based Specification Languages

Inbunden, Engelska, 2001

2 669 kr

Tillfälligt slut

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.

Produktinformation

Utgivningsdatum2001-07-05
Mått153 x 218 x 34 mm
Vikt472 g
FormatInbunden
SpråkEngelska
SerieSeries On Software Engineering And Knowledge Engineering
Antal sidor228
FörlagWorld Scientific Publishing Co Pte Ltd
ISBN9789810240967

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

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.

Mer från samma författare

Sufficient Dimension Reduction

Bing Li

Häftad

929 kr

Atlas of High Resolution Spectra of Rare Earth Elements for ICP-AES

Benli Huang, Hai Ying, Pengyuan Yang, Xiaoru Wang, Sheng Gu, Zhigang Zhang, Zhixia Zhuang, Zhenhua Sun, Bing Li

Inbunden

1 899 kr

Multi-Asset Investing

Pranay Gupta, Sven R. Skallsjo, Bing Li

Inbunden

1 269 kr

Graduate Course on Statistical Inference

Bing Li, G. Jogesh Babu

Inbunden

2 219 kr

Sufficient Dimension Reduction

Bing Li

Inbunden

1 729 kr

Festschrift in Honor of R. Dennis Cook

Efstathia Bura, Bing Li

Inbunden

1 939 kr

Festschrift in Honor of R. Dennis Cook

Efstathia Bura, Bing Li

Häftad

1 939 kr

Advanced Data Mining and Applications

Xiaochun Yang, Heru Suhartanto, Guoren Wang, Bin Wang, Jing Jiang, Bing Li, Huaijie Zhu, Ningning Cui

Häftad

1 579 kr

Advanced Data Mining and Applications

Xiaochun Yang, Heru Suhartanto, Guoren Wang, Bin Wang, Jing Jiang, Bing Li, Huaijie Zhu, Ningning Cui

Häftad

1 429 kr

Advanced Data Mining and Applications

Xiaochun Yang, Heru Suhartanto, Guoren Wang, Bin Wang, Jing Jiang, Bing Li, Huaijie Zhu, Ningning Cui

Häftad

1 069 kr

Mer från samma serie

Del 16

Machine Learning Applications In Software Engineering

ZHANG DU, Du Zhang, Jeffrey J P Tsai

Inbunden

3 779 kr

Del 19

Software Engineering Of Fault Tolerant Systems

AL P PELLICCIONE ET, Patrizio Pelliccione, Henry Muccini, Alexander Romanovsky, Nicolas Guelfi

Inbunden

3 459 kr

Del 20

Adaptive Control Approach For Software Quality Improvement

Wong W Eric, W Eric Wong, Bojan Cukic

Inbunden

2 179 kr

Del 3

Impact Of Case Technology On Software Processes, The

COOKE D E, Daniel E Cooke

Inbunden

2 969 kr

Del 1

Knowledge-based Software Development For Real-time Distributed Systems

Jeffrey J P Tsai, Thomas J Weigert

Inbunden

2 329 kr

Del 2

Advances In Software Engineering And Knowledge Engineering

AMBRIOLA V, Vincenzo Ambriola, Genoveffa Tortora

Inbunden

1 659 kr

Del 4

Software Engineering And Knowledge Engineering: Trends For The Next Decade

HURLEY W DAVID, W David Hurley, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti, Anthony S Karrer, Walt Scacchi, B R Whittle, Robert J Gautier, Mark Ratcliffe, David Bolton, D Till, Stewart Green, Sara Jones, Alfs T Berztiss, Lalit M Patnaik, R Mall, Christopher M Lott, M J Shepperd, D C Ince