Narrow your search

Library

ULiège (16)

KU Leuven (15)

Odisee (15)

Thomas More Kempen (15)

Thomas More Mechelen (15)

UCLL (15)

VIVES (15)

ULB (13)

LUCA School of Arts (5)

UGent (4)

More...

Resource type

book (19)


Language

English (19)


Year
From To Submit

2010 (19)

Listing 1 - 10 of 19 << page
of 2
>>
Sort by

Book
Parallel computing : from multicores and GPU's to Petascale
Authors: --- --- ---
ISBN: 9781607505297 1607505290 9781607505303 Year: 2010 Publisher: Amsterdam ; Washington, D.C. : IOS Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Performance modelling techniques for parallel supercomputing applications
Authors: ---
ISBN: 1612093612 9781612093611 1606922696 9781606922699 Year: 2010 Publisher: New York


Book
2010 IEEE International Symposium on Parallel and Distributed Processing
Author:
ISBN: 1424464439 1424464420 Year: 2010 Publisher: [Place of publication not identified] IEEE


Book
Pro .NET 4 Parallel Programming in C#
Author:
ISBN: 1430229675 9786613075345 1430229683 1283075342 Year: 2010 Publisher: Berkeley, CA : Apress : Imprint: Apress,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Parallel programming has been revolutionised in .NET 4, providing, for the first time, a standardised and simplified method for creating robust, scalable and reliable multi-threaded applications. The Parallel programming features of .NET 4 allow the programmer to create applications that harness the power of multi-core and multi-processor machines. Simpler to use and more powerful than “classic” .NET threads, parallel programming allows the developer to remain focused on the work an application needs to perform. In Pro .NET 4 Parallel Programming in C#, Adam Freeman presents expert advice that guides you through the process of creating concurrent C# applications from the ground up. You’ll be introduced to .NET’s parallel programming features, both old and new, discover the key functionality that has been introduced in .NET 4, and learn how you can take advantage of the power of multi-core and multi-processor machines with ease. Pro .NET 4 Parallel Programming in C# is a reliable companion that will remain with you as you explore the parallel programming universe, elegantly and comprehensively explaining all aspects of parallel programming, guiding you around potential pitfalls and providing clear-cut solutions to the common problems that you will encounter.


Book
Parallel pogramming : for multicore and cluster systems
Authors: ---
ISBN: 9783642048180 9783642048173 Year: 2010 Publisher: Heidelberg : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Innovations in hardware architecture, like hyper-threading or multicore processors, mean that parallel computing resources are available for inexpensive desktop computers. In only a few years, many standard software products will be based on concepts of parallel programming implemented on such hardware, and the range of applications will be much broader than that of scientific computing, up to now the main application area for parallel computing. Rauber and Rünger take up these recent developments in processor architecture by giving detailed descriptions of parallel programming techniques that are necessary for developing efficient programs for multicore processors as well as for parallel cluster systems and supercomputers. Their book is structured in three main parts, covering all areas of parallel computing: the architecture of parallel systems, parallel programming models and environments, and the implementation of efficient application algorithms. The emphasis lies on parallel programming techniques needed for different architectures. The main goal of the book is to present parallel programming techniques that can be used in many situations for many application areas and which enable the reader to develop correct and efficient parallel programs. Many examples and exercises are provided to show how to apply the techniques. The book can be used as both a textbook for students and a reference book for professionals. The presented material has been used for courses in parallel programming at different universities for many years.


Book
Process algebra : equational theories of communicating processes
Authors: --- ---
ISBN: 9780521820493 0521820499 9781139195003 9780511714429 0511714424 9780511712340 0511712340 113919500X 9780511722493 0511722494 1107209595 9781107209596 1282560689 9781282560680 9786612560682 6612560681 0511713177 9780511713170 0511715676 9780511715679 Year: 2010 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified framework and notation. The authors describe the theory underlying the development, realization and maintenance of software that occurs in parallel or distributed systems. A system can be specified in the syntax provided, and the axioms can be used to verify that a composed system has the required external behaviour. As examples, two protocols are completely specified and verified in the text: the Alternating-Bit Protocol for Data Communication, and Fischer's Protocol of Mutual Exclusion. The book serves as a reference text for researchers and graduate students in computer science, offering a complete overview of the field and referring to further literature where appropriate.


Book
Parallel Programming : for Multicore and Cluster Systems
Authors: ---
ISBN: 364204817X 3642048668 3642048188 9786613563200 1280385286 Year: 2010 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Innovations in hardware architecture, like hyper-threading or multicore processors, mean that parallel computing resources are available for inexpensive desktop computers. In only a few years, many standard software products will be based on concepts of parallel programming implemented on such hardware, and the range of applications will be much broader than that of scientific computing, up to now the main application area for parallel computing. Rauber and Rünger take up these recent developments in processor architecture by giving detailed descriptions of parallel programming techniques that are necessary for developing efficient programs for multicore processors as well as for parallel cluster systems and supercomputers. Their book is structured in three main parts, covering all areas of parallel computing: the architecture of parallel systems, parallel programming models and environments, and the implementation of efficient application algorithms. The emphasis lies on parallel programming techniques needed for different architectures. The main goal of the book is to present parallel programming techniques that can be used in many situations for many application areas and which enable the reader to develop correct and efficient parallel programs. Many examples and exercises are provided to show how to apply the techniques. The book can be used as both a textbook for students and a reference book for professionals. The presented material has been used for courses in parallel programming at different universities for many years.

Keywords

Electronic books. -- local. --- Multiprocessors. --- Parallel programming (Computer science). --- Engineering & Applied Sciences --- Computer Science --- Information Technology --- Computer Science (Hardware & Networks) --- Parallel programming (Computer science) --- Computer science. --- Microprocessors. --- Computer communication systems. --- Computer system failures. --- Software engineering. --- Computer programming. --- Computer mathematics. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Computer Communication Networks. --- Programming Techniques. --- Computational Science and Engineering. --- System Performance and Evaluation. --- Processor Architectures. --- Electronic digital computers --- Multiprogramming (Electronic computers) --- Parallel processing (Electronic computers) --- Computer programming --- Computer system performance. --- Informatics --- Science --- Computer software engineering --- Engineering --- Minicomputers --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Computer mathematics --- Electronic data processing --- Mathematics --- Computers --- Electronic computer programming --- Programming (Electronic computers) --- Coding theory --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Failures --- Programming --- Distributed processing


Book
Understanding Concurrent Systems
Author:
ISBN: 184882257X 1848822588 Year: 2010 Publisher: London : Springer London : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Communicating Sequential Processes (CSP) has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of the family of process algebras, the concepts of communication and interaction are presented in an algebraic style. An invaluable textbook/reference on the state of the art in CSP, Understanding Concurrent Systems also serves as a comprehensive introduction to the field, in addition to providing material for a number of more advanced courses. A first point of reference for anyone wanting to use CSP or learn about its theory, the book also introduces other views of concurrency, using CSP to model and explain these. The text is fully integrated with CSP-based tools such as Failures-Divergences Refinement (FDR), and describes how to create new tools based on FDR. Most of the book relies on no previous knowledge of the theoretical background other than a basic knowledge of sets and sequences. Sophisticated mathematical arguments are avoided whenever possible. Topics and features: Presents a comprehensive, accessible introduction to CSP Discusses the latest advances in CSP, giving novel presentations of its operational and algebraic semantics as well as the first comprehensive survey of its hierarchy of behavioural denotational models Explores the practical application of CSP, including timed modelling, discrete modelling, parameterised verifications and the state explosion problem, as well as advanced topics in the use of FDR Examines the ability of CSP to describe and enable reasoning about parallel systems modelled in other paradigms including two chapters on shared variable programming Covers a broad variety of concurrent systems, including combinatorial, timed, priority-based, mobile, shared variable, statecharts, buffered and asynchronous systems Contains ample exercises and case studies to support the text and aid in the explanation Supplies further tools and information at the associated website: http://www.comlab.ox.ac.uk/ucs/ From undergraduate students of computer science in need of an introduction to the area, to researchers and practitioners desiring a more in-depth understanding of theory and practice of concurrent systems, this broad-ranging text/reference is essential reading for anyone interested in Hoare's CSP. Bill Roscoe has been Head of Department at Oxford University Computing Laboratory since 2003 and a Professor of Computer Science there since 1997. He is a Fellow of University College, Oxford and co-Director of the James Martin Institute for the Future of Computing. He is also co-editor of the Springer book Reflections on the Work of C.A.R. Hoare.


Book
Parallel robotic machine tools
Author:
ISBN: 1441911162 9786612837685 1441911170 1282837680 1489984860 Year: 2010 Publisher: New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Research and development of various parallel mechanism applications in engineering is being performed more and more across every industrial field. Parallel robot based machine tools development is considered a key technology of robot applications in manufacturing industries. Parallel Robotic Machine Tools describes the basic theory, approaches, and algorithms in the field. In addition, families of new alternative mechanical architectures, which can be used for machine tools with parallel architecture, are introduced. Also receiving discussion is the design of mechanism systems such as kinematic analysis, stiffness analysis, kinetostatic modeling, and optimization. Author Dan Zhang uses his years of experience in the field to also: Cover the latest material in parallel kinematic machine tools and the junction of parallel robot and machine tools. Include novel conceptions and approaches such as the general kinetostatic model, artificial intelligence based performance optimization, and the global stiffness model. Provide a large numbers of case studies and numerical analyses that will help readers understand and apply the material presented in the book. .

Listing 1 - 10 of 19 << page
of 2
>>
Sort by