Starting from the premise that understanding the foundations of concurrent programming is key to developing distributed computing systems, this book first presents the fundamental theories of concurrent computing and then introduces the programming languages that help develop distributed computing systems at a high level of abstraction. The major theories of concurrent computation -- including the -calculus, the actor model, the join calculus, and mobile ambients -- are explained with a focus on how they help design and reason about distributed and mobile computing systems. The book then presents programming languages that follow the theoretical models already described, including Pict, SALSA, and JoCaml. The parallel structure of the chapters in both part one (theory) and part two (practice) enable the reader not only to compare the different theories but also to see clearly how a programming language supports a theoretical model. The book is unique in bridging the gap between the theory and the practice of programming distributed computing systems. It can be used as a textbook for graduate and advanced undergraduate students in computer science or as a reference for researchers in the area of programming technology for distributed computing. By presenting theory first, the book allows readers to focus on the essential components of concurrency, distribution, and mobility without getting bogged down in syntactic details of specific programming languages. Once the theory is understood, the practical part of implementing a system in an actual programming language becomes much easier.
Автор: Sul Название: Control of Electric Machine Drive Systems ISBN: 0470590793 ISBN-13(EAN): 9780470590799 Издательство: Wiley Рейтинг: Цена: 22688 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Based on the author`s industry experience and collaborative works with other industries, Control of Electric Machine Drive System is packed with implemented, tested, and verified ideas that relate to everyday problems in the field.
Автор: Nancy A. Lynch Название: Distributed Algorithms, ISBN: 1558603484 ISBN-13(EAN): 9781558603486 Издательство: Elsevier Science Рейтинг: Цена: 19008 р. Наличие на складе: Поставка под заказ.
Описание: A guide to designing, implementing and analyzing distributed algorithms. It covers problems including resource allocation, communication, consensus among distributed processes, data consistency, deadlock detection, leader election and global snapshots.
Описание: Distributed Object Computing teaches readers the fundamentals of CORBA, the leading architecture for design of software used in parallel and distributed computing applications. Since CORBA is based on open standards, it is the only effective way to learn object--oriented programming for distributed systems. This language independent book allows material to be taught using Java, C++ or other Object Oriented Programming Languages.
Описание: Large and complex software systems, such as Internet applications, depend on distributed applications. Although Java has helped reduce the complexity of distributed systems, developers still have to contend with diverse hardware platforms, remote communication over networks, and system failures. "Java in Distributed Systems" provides a comprehensive guide for anyone wishing to deepen their knowledge of Java in distributed applications. Beginning with a tutorial guide to distributed programming in the Java environment, it shows you how building blocks from threads to Jini can help you to fulfil Sun's vision, that 'the Network is the Computer'. It then goes on to focus on aspects that are still challenging researchers such as concurrency, distribution, and persistence. The Key Features include: one of the few books to focus specifically on Java for building distributed applications; coverage includes threads and sockets, RMI, CORBA, Voyager, Mobile agents, JDBC, object-oriented databases, Java spaces and Jini; and includes advanced chapters on the cutting edge of Java language development, including the author's own proposed Dejay (Distributed Java), an open-source project that offers a unified approach to concurrency, distribution and persistence.
Описание: The first extensive reference on these important techniques The restructuring of the electric utility industry has created the need for a mechanism that can effectively coordinate the various entities in a power market, enabling them to communicate efficiently and perform at an optimal level. Communication and Control in Electric Power Systems, the first resource to address its subject in an extended format, introduces parallel and distributed processing techniques as a compelling solution to this critical problem. Drawing on their years of experience in the industry, Mohammad Shahidehpour and Yaoyu Wang deliver comprehensive coverage of parallel and distributed processing techniques with a focus on power system optimization, control, and communication. The authors begin with theoretical background and an overview of the increasingly deregulated power market, then move quickly into the practical applications and implementations of these pivotal techniques. Chapters include: Integrated Control Center Information Parallel and Distributed Computation of Power Systems Common Information Model and Middleware for Integration Online Distributed Security Assessment and Control Integration, Control, and Operation of Distributed Generation Agent Theory and Power Systems Management e-Commerce of Electricity A ready resource for both students and practitioners, Communication and Control in Electric Power Systems proves an ideal textbook for first-year graduate students in power engineering with an interest in computer communication systems and control center design. Designers, operators, planners, and researchers will likewise appreciate its unique contribution to the professional literature.
Автор: A. Sowmya Название: Distributed Computer Control Systems 2000, ISBN: 0080438571 ISBN-13(EAN): 9780080438573 Издательство: Elsevier Science Рейтинг: Цена: 9794 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes proceedings that contain the papers presented at the 16th IFAC Workshop on Distributed Computer Control Systems (DCCS) held in Sydney, Australia in December 2000. These papers fall in the areas of classical control theory, computer architecture, real-time computer networks, and formal methods for real-time systems.
Автор: Marvin Zelkowitz Название: Emphasizing Distributed Systems,53 ISBN: 0120121530 ISBN-13(EAN): 9780120121533 Издательство: Elsevier Science Рейтинг: Цена: 23018 р. Наличие на складе: Поставка под заказ.
Описание: Presents a common theme on distributed computing systems - using more than one processor to allow for parallel execution, and hence completion of a complex computing task in a minimal amount of time. This work describes advances from the late 1990s with an emphasis on software development, process improvement, measurement and legal liabilities.
Описание: This book constitutes the refereed proceedings of the International Workshop on Policies for Distributed Systems and Networks, POLICY 2001, held in Bristol, UK in January 2001. The 16 revised full papers presented were carefully reviewed and selected from 43 submissions. Among the topics covered are abstractions and notations for policy specifications, security policies, access control, implementations, applications, quality of service, and management.
Описание: This book constitutes the refereed proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms, Middleware 2001, held in Heidelberg, Germany, in November 2001.The 20 revised full papers presented were carefully reviewed and selected from a total of 116 submissions. The papers are organized in topical sections on Java, mobility, distributed abstractions, reliability, home and office, scalability, and quality of service.
Описание: The engineering life cycle for complex systems design and development requires the set-up of adequate and controlled processes involving different partners and disciplines. The design integration and the final physical/functional integration and qualification imply a high degree of cross-interaction among all partners.This book documents the outcome of a European project on distributed system environments by presenting the results of the user's requirements analysis and assessing the current available technology such as collaboration systems design, analysis, and verification; middleware; product data and workflow management; multicast communication; network QoS management; and groupware. Besides technical results, the book surveys and classifies existing products and tools for collaborative distributed systems engineering.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru