Parallel Model Checking for the Alternation Free µ-Calculus
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Distributed LTL Model Checking Based on Negative Cycle Detection
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
Global Optimization: Fractal Approach and Non-redundant Parallelism
Journal of Global Optimization
Parallel algorithms of the scanning mask method for primary images processing
CompSysTech '04 Proceedings of the 5th international conference on Computer systems and technologies
Parallel computations in mixed formats
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
A parallel genetic algorithm for protein folding prediction using the 3D-HP side chain model
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Object oriented parallel programming model on a network of workstations
ICCS'03 Proceedings of the 2003 international conference on Computational science
Parallel solution of high speed low order FDTD on 2D free space wave propagation
ICCSA'07 Proceedings of the 2007 international conference on Computational science and Its applications - Volume Part II
Hi-index | 0.01 |
From the Publisher:Parallel processing is a fast-growing technology that dominates many areas of computer science and engineering. This book progresses from theory to computation, exploring the fundamentals of parallelism and the relationship between parallel programming approaches, algorithms, and architectures.. "This book is suitable for advanced undergraduate and first-year graduate students in computer science, as well as researchers in the area.