![]() |
Algebra of Communicating Processes: Proceedings of Acp94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-1
ISBN: 9783540199090 / Angielski / Miękka / 359 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in the early eighties. These proceedings comprise the contributions to ACP94, the first workshop devoted to ACP. The work shop was held at Utrecht University, 16-17 May 1994. These proceedings are meant to provide an overview of current research in the area of ACP. They contain fifteen contributions. The first one is a classical paper on ACP by J.A. Bergstra and J.W. Klop: The Algebra of Recursively Defined Processes and the Algebra of...
ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em ...
|
cena:
201,24 |
![]() |
Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (Strict), Berlin, 11-13 May 1995
ISBN: 9783540199823 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the latest volume in the Workshops in Computing series, and contains the papers presented at the International Workshop on Structures in Concurrency Theory (STRICT), held in Berlin, from 11 - 13 May 1995. Concurrency theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and structures. This workshop was jointly organised by the Humboldt-Universitat zu Berlin and the ESPRIT Basic Research Working Group CALIBAN. CALIBAN and its predecessor DEMON are ESPRIT Basic Research projects with the aim of developing design...
This is the latest volume in the Workshops in Computing series, and contains the papers presented at the International Workshop on Structures in Concu...
|
cena:
201,24 |
![]() |
Modal and Temporal Properties of Processes
ISBN: 9781441931535 / Angielski / Miękka / 191 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many ...
|
cena:
201,24 |
![]() |
Programming Concurrency on the Jvm: Mastering Synchronization, Stm, and Actors
ISBN: 9781934356760 / Angielski / Miękka / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. More than ever, learning to program concurrency is critical to creating faster, responsive applications. Speedy and affordable multicore hardware is driving the demand for high-performing applications, and you can leverage the Java platform to bring these applications to life. More than ever, learning to program concurrency is critical to creating faster, responsive applications. Speedy and affordable multicore hardware i... |
cena:
157,88 |
![]() |
Parallel Architectures and Bioinspired Algorithms
ISBN: 9783642287886 / Angielski / Twarda / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph presents examples of best practices when combining bioinspired algorithms with parallel architectures. The book includes recent work by leading researchers in the field and offers a map with the main paths already explored and new ways towards the future. Parallel Architectures and Bioinspired Algorithms will be of value to both specialists in Bioinspired Algorithms, Parallel and Distributed Computing, as well as computer science students trying to understand the present and the future of Parallel Architectures and Bioinspired Algorithms. This monograph presents examples of best practices when combining bioinspired algorithms with parallel architectures. The book includes recent work... |
cena:
603,81 |
![]() |
The Art of Multiprocessor Programming, Revised Reprint
ISBN: 9780123973375 / Angielski / Miękka / 508 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Revised and updated with improvements conceived in parallel programming courses, The Art of Multiprocessor Programming is an authoritative guide to multicore programming. It introduces a higher level set of software development skills than that needed for efficient single-core programming. This book provides comprehensive coverage of the new principles, algorithms, and tools necessary for effective multiprocessor programming. Students and professionals alike will benefit from thorough coverage of key multiprocessor programming issues.
Revised and updated with improvements conceived in parallel programming courses, The Art of Multiprocessor Programming is an authoritative g... |
cena:
364,09 |
![]() |
Input/Output in Parallel and Distributed Computer Systems
ISBN: 9781461286073 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Input/Output in Parallel and Distributed Computer Systems has attracted increasing attention over the last few years, as it has become apparent that input/output performance, rather than CPU performance, may be the key limiting factor in the performance of future systems. This I/O bottleneck is caused by the increasing speed mismatch between processing units and storage devices, the use of multiple processors operating simultaneously in parallel and distributed systems, and by the increasing I/O demands of new classes of applications, like multimedia. It is also important to note...
Input/Output in Parallel and Distributed Computer Systems has attracted increasing attention over the last few years, as it has become appare...
|
cena:
805,10 |
![]() |
Advanced Distributed Measuring Systems - Exhibits of Application
ISBN: 9788792329721 / Angielski / Twarda / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Measuring systems are an essential part of all automated production systems. They can serve to ensure the quality of production, or they can be used to assure the reliability and safety in various areas. The same applies in principle for fields of telecommunication, energy production and distribution, health care, etc. Similarly, no serious scientific research in the field of natural and technical sciences can be performed without objective data about the investigated object, which is usually acquired using measuring system. Demands on the speed and accuracy of measurement increase in all...
Measuring systems are an essential part of all automated production systems. They can serve to ensure the quality of production, or they can be used t...
|
cena:
469,22 |
![]() |
Parallel Scientific Computing
ISBN: 9781848215818 / Angielski / Twarda / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Scientific computing has become an indispensable tool in numerous fields, such as physics, mechanics, biology, Scientific computing has become an indispensable tool in numerous fields, such as physics, mechanics, biology, |
cena:
672,22 |
![]() |
Arrays, Functional Languages, and Parallel Systems
ISBN: 9781461367895 / Angielski / Miękka / 319 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. During a meeting in Toronto last winter, Mike Jenkins, Bob Bernecky and I were discussing how the two existing theories on arrays influenced or were in fluenced by programming languages and systems. More's Army Theory was the basis for NIAL and APL2 and Mullin's A Mathematics of A rmys(MOA), is being used as an algebra of arrays in functional and A-calculus based pro gramming languages. MOA was influenced by Iverson's initial and extended algebra, the foundations for APL and J respectively. We discussed that there is a lot of interest in the Computer Science and Engineering communities...
During a meeting in Toronto last winter, Mike Jenkins, Bob Bernecky and I were discussing how the two existing theories on arrays influenced or were i...
|
cena:
603,81 |
![]() |
Practical Monitoring: Effective Strategies for the Real World
ISBN: 9781491957356 / Angielski / Miękka / 170 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Do you have a nagging feeling that your monitoring could be improved, but you just aren't sure how? This is the book for you. Monitoring Monitoring explains what makes your monitoring less than stellar, and provides a practical approach to designing and implementing a monitoring strategy, from the application down to the hardware in the datacenter and everything in between. In the world of technical operations, monitoring is core to everything you do. In today's changing landscape of microservices, cloud infrastructure, and more, monitoring is experiencing a new surge of... Do you have a nagging feeling that your monitoring could be improved, but you just aren't sure how? This is the book for you. Monitoring Monitor... |
cena:
113,67 |
![]() |
Mastering Cloud Computing: Foundations and Applications Programming
ISBN: 9780124114548 / Angielski / Miękka / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mastering Cloud Computing is designed for undergraduate students learning to develop cloud computing applications. Tomorrow's applications won't live on a single computer but will be deployed from and reside on a virtual server, accessible anywhere, any time. Tomorrow's application developers need to understand the requirements of building apps for these virtual systems, including concurrent programming, high-performance computing, and data-intensive systems. The book introduces the principles of distributed and parallel computing underlying cloud architectures and... Mastering Cloud Computing is designed for undergraduate students learning to develop cloud computing applications. Tomorrow's applications w... |
cena:
319,25 |
![]() |
Fault-Tolerant Parallel and Distributed Systems
ISBN: 9781461374886 / Angielski / Miękka / 401 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The most important use of computing in the future will be in the context of the global "digital convergence" where everything becomes digital and every- thing is inter-networked. The application will be dominated by storage, search, retrieval, analysis, exchange and updating of information in a wide variety of forms. Heavy demands will be placed on systems by many simultaneous re- quests. And, fundamentally, all this shall be delivered at much higher levels of dependability, integrity and security. Increasingly, large parallel computing systems and networks are providing unique challenges to...
The most important use of computing in the future will be in the context of the global "digital convergence" where everything becomes digital and ever...
|
cena:
603,81 |
![]() |
An Introduction to Parallel Programming
ISBN: 9780123742605 / Angielski / Twarda / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An Introduction to Parallel Programming is the first undergraduate text to directly address compiling and running parallel programs on the new multi-core and cluster architecture. It explains how to design, debug, and evaluate the performance of distributed and shared-memory programs. The author Peter Pacheco uses a tutorial approach to show students how to develop effective parallel programs with MPI, Pthreads, and OpenMP, starting with small programming examples and building progressively to more challenging ones. The text is written for students in undergraduate parallel... An Introduction to Parallel Programming is the first undergraduate text to directly address compiling and running parallel programs on the n... |
cena:
416,44 |
![]() |
Structured Parallel Programming: Patterns for Efficient Computation
ISBN: 9780124159938 / Angielski / Miękka / 406 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Structured Parallel Programming offers the simplest way for developers to learn patterns for high-performance parallel programming. Written by parallel computing experts and industry insiders Michael McCool, Arch Robison, and James Reinders, this book explains how to design and implement maintainable and efficient parallel algorithms using a composable, structured, scalable, and machine-independent approach to parallel computing. It presents both theory and practice, and provides detailed concrete examples using multiple programming models. The examples in this book are... Structured Parallel Programming offers the simplest way for developers to learn patterns for high-performance parallel programming. Written ... |
cena:
227,34 |
![]() |
Parallel Scientific Computation: A Structured Approach Using BSP and MPI
ISBN: 9780198529392 / Angielski / Twarda / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Based on the author's extensive development, this is the first text explaining how to use BSPlib, the bulk synchronous parallel library, which is freely available for use in parallel programming. Aimed at graduate students and researchers in mathematics, physics and computer science, the main topics treated in the book are core in the area of scientific computation and many additional topics are treated in numerous exercises. An appendix on the message-passing interface (MPI) discusses how to program using the MPI communication library. MPI equivalents of all the programs are also presented....
Based on the author's extensive development, this is the first text explaining how to use BSPlib, the bulk synchronous parallel library, which is free...
|
cena:
682,33 |
![]() |
Building Parallel, Embedded, and Real-Time Applications with Ada
ISBN: 9780521197168 / Angielski / Twarda / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availability of low-cost microprocessors and sensors has generated a great interest in embedded real-time programs. This book provides students and programmers whose backgrounds are in traditional sequential programming with the opportunity to expand their capabilities into parallel, embedded, real-time and distributed computing. It also addresses the theoretical foundation of real-time scheduling analysis, focusing on theory that is useful for actual...
The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availabilit...
|
cena:
482,96 |
![]() |
Cloud Security and Privacy: An Enterprise Perspective on Risks and Compliance
ISBN: 9780596802769 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. You may regard cloud computing as an ideal way for your company to control IT costs, but do you know how private and secure this service really is? Not many people do. With Cloud Security and Privacy, you'll learn what's at stake when you trust your data to the cloud, and what you can do to keep your virtual infrastructure and web applications secure. You may regard cloud computing as an ideal way for your company to control IT costs, but do you know how private and secure this service really is?... |
cena:
142,54 |
![]() |
Heroku: Up and Running: Effortless Application Deployment and Scaling
ISBN: 9781449341398 / Angielski / Miękka / 83 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Take full advantage of Heroku s cloud-based hosting services. This guide takes you through the inner workings of this PaaS platform and delivers practical advice for architecting your application to work as efficiently as possible. You ll learn best practices for improving speed and throughput, solving latency issues, locating and fixing problems if your application goes down, and ensuring your deployments go smoothly. By covering everything from basic concepts and primary components to add-on services and advanced topics such as buildpacks, this book helps you effectively deploy and... Take full advantage of Heroku s cloud-based hosting services. This guide takes you through the inner workings of this PaaS platform and delivers pr... |
cena:
40,69 |
![]() |
Getting Started with the Internet of Things
ISBN: 9781449393571 / Angielski / Miękka / 194 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. What is the Internet of Things? It's billions of embedded computers, sensors, and actuators all connected online. If you have basic programming skills, you can use these powerful little devices to create a variety of useful systems such as a device that waters plants when the soil becomes dry. This hands-on guide shows you how to start building your own fun and fascinating projects. Learn to program embedded devices using the .NET Micro Framework and the Netduino Plus board. Then connect your devices to the Internet with Pachube, a cloud platform for sharing real-time sensor... What is the Internet of Things? It's billions of embedded computers, sensors, and actuators all connected online. If you have basic programm... |
cena:
94,72 |