Listing 1 - 10 of 19 | << page >> |
Sort by
|
Choose an application
Choose an application
Choose an application
Choose an application
Programming --- 681.3*C53 --- Microcomputers: microprocessors (Computer system implementation) --- Computer architecture. --- Multiprocessors. --- Parallel processing (Electronic computers) --- Parallel programming (Computer science) --- Parallel processing (Electronic computers). --- Parallel programming (Computer science). --- 681.3*C53 Microcomputers: microprocessors (Computer system implementation) --- Computer architecture --- Multiprocessors --- Architecture, Computer --- Computer programming --- High performance computing --- Supercomputers --- Electronic digital computers --- Multiprogramming (Electronic computers)
Choose an application
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.
C# (Computer program language). --- Microsoft .NET Framework. --- Parallel programming (Computer science). --- Parallel programming (Computer science) --- Engineering & Applied Sciences --- Computer Science --- Technology - General --- Information Technology --- Computer Science (Hardware & Networks) --- Computer graphics --- C (Computer program language) --- Computer programs. --- Computer science. --- Computer Science. --- Computer Science, general. --- Microsoft software. --- Software engineering. --- Microsoft and .NET. --- Software Engineering/Programming and Operating Systems. --- Computer software engineering --- Engineering --- Computer software
Choose an application
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.
Computer Science. --- Programming Techniques. --- Computer Communication Networks. --- Computational Science and Engineering. --- System Performance and Evaluation. --- Processor Architectures. --- Communications Engineering, Networks. --- Computer science. --- Computer system performance. --- Telecommunication. --- Informatique --- Réseaux d'ordinateurs --- Télécommunications --- Programmation parallèle (informatique) --- Parallel programming (Computer science)
Choose an application
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.
Electronic data processing --- Parallel processing (Electronic computers). --- Distributed processing. --- Parallel processing (Electronic computers) --- Distributed computer systems in electronic data processing --- Distributed computing --- Distributed processing in electronic data processing --- Computer networks --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers
Choose an application
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.
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
Choose an application
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.
Parallel processing (Electronic computers) --- Sequential processing (Computer science) --- Engineering & Applied Sciences --- Computer Science --- Computer science. --- Operating systems (Computers). --- Computer logic. --- Computer Science. --- Operating Systems. --- Logics and Meanings of Programs. --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems --- Computer science logic --- Logic, Symbolic and mathematical
Choose an application
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. .
Parallel kinematic machines. --- Parallel kinematic machines --- Mechanical Engineering --- Industrial & Management Engineering --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Parallel processing (Electronic computers) --- Robotics. --- Engineering. --- Vibration. --- Dynamical systems. --- Dynamics. --- Control engineering. --- Mechatronics. --- Industrial engineering. --- Production engineering. --- Manufacturing industries. --- Machines. --- Tools. --- Control. --- Vibration, Dynamical Systems, Control. --- Industrial and Production Engineering. --- Control, Robotics, Mechatronics. --- Manufacturing, Machines, Tools. --- Automation --- Machine theory --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers
Listing 1 - 10 of 19 | << page >> |
Sort by
|