Search results for “[subject: distributed-systems-general]”

• Author(s): Jorge A. Pérez • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques f...

• Author(s): Alireza Poshtkohi • Publisher: Taylor & Francis • Publisher Imprint: Auerbach Publications • BISAC: Parallel ProcessingParallel and distributed systems (PADS) have evolved from the early days of computational science and supercom...

• Author(s): Franz J. Rammig • Publisher: Springer • Publisher Imprint: Springer • BISAC: Design, Graphics & Media - CAD-CAMEmbedded systems are becoming one of the major driving forces in computer science. Furthermore, it is the impact of em...

• Author(s): Sushil K. Prasad • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - GeneralThis book introduces beginning undergraduate students of computing and computational disciplines to modern parallel and distri...

• Author(s): Sushil K. Prasad • Publisher: Morgan Kaufmann Publishers • Publisher Imprint: Morgan Kaufmann Publishers • BISAC: Distributed Systems - General Topics in Parallel and Distributed Computing provides resources and guidance for those le...

• Author(s): Metin Feridun | Peter Kropf | Gilbert Babin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - Client-Server ComputingThis book constitutes the refereed proceedings of the 13th IFIP/IEEE International ...

• Author(s): James J. Kistler • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operating Systems - GeneralThis book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of...

• Author(s): Mariana Resener • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Operations ResearchFrom the Back CoverThis handbook gathers state-of-the-art research on optimization problems in power distri...

• Author(s): David Borge-Diez | Enrique Rosales-Asensio • Publisher: Springer • Publisher Imprint: Springer • BISAC: Power Resources - ElectricalThis book presents a methodology for assessing the advantages of microgrids from both a business and ...

• Author(s): Dattatraya Gaonkar • Publisher: Intechopen • Publisher Imprint: Intechopen • BISAC: ElectricalIn the recent years the electrical power utilities have undergone rapid restructuring process worldwide. Indeed, with deregulation, advance...

• Author(s): Anne Remke • Publisher: Springer • Publisher Imprint: Springer • BISAC: Networking - HardwareThis book constitutes the proceedings of the 20th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS ...

• Author(s): Delio D'Anna • Publisher: Apress • Publisher Imprint: Apress • BISAC: Programming Languages - General

• Author(s): Alex Petrov • Publisher: O'Reilly Media • Publisher Imprint: O'Reilly Media • BISAC: Data Science - Data AnalyticsWhen it comes to choosing, using, and maintaining a database, understanding its internals is essential. But with so man...

• Author(s): Miguel Matos • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 21st IFIP WG 6.1 International Conference on Distributed ...

• Author(s): David Eyers • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Distributed A...

• Author(s): Marta Patiño-Martínez • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Dis...

• Author(s): Kenneth P. Birman • Publisher: Springer • Publisher Imprint: Springer • BISAC: Information TechnologyFrom the Back CoverThis Guide to Reliable Distributed Systems describes the key concepts, principles and implementation options for ...

• Author(s): Daniel Balouek | Ibéria Medeiros • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Confer...

• Author(s): Jean-Marc Pierson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Database Administration & ManagementThis book constitutes revised selected papers from the Conference on Energy Efficiency in Large Scale Distributed ...

• Author(s): Radian Belu • Publisher: Taylor & Francis • Publisher Imprint: CRC Press • Subject: Engineering • BISAC: Electronics - GeneralThis textbook provides a comprehensive overview of smart grids, their role in the development of new el...

• Author(s): Anwesha Mukherjee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - General

• Author(s): Nolan Veyne • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Software Development & Engineering - Systems Analysis & Desi

• Author(s): Ornela Dardha • Publisher: Springer • Publisher Imprint: Atlantis Press • BISAC: LogicFrom the Back CoverIn this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety ...

• Author(s): Rachid Guerraoui • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralThis book constitutes the refereed proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms, Middleware 2001, held in H...

• Author(s): Zhengshuo Li • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverTo ensure the security and economy of future power system operation in the context of a high degree of renew...

• Author(s): Paolo Ciancarini • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureFormal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orie...

• Author(s): Peter Simon Sapaty • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThe book describes a novel ideology and supporting information technology for integral management of ...

• Author(s): Fuheng Wu | Gang Zhao • Publisher: Packt Publishing • Publisher Imprint: Packt Publishing • BISAC: Languages - GeneralLearn distributed AI through hands-on experience with training frameworks, inference engines, and orchestration too...

• Author(s): Vladimir M. Vishnevskiy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Networking - GeneralThe proceedings constitute papers presented in the 26th International Conference, DCCN 2023, held in Moscow, Russia, during Sept...

• Author(s): Richard Astbury • Publisher: Apress • Publisher Imprint: Apress • BISAC: Programming - MicrosoftUse a simple programming model and the .NET language of your choice to build large distributed systems. This book teaches you the Microso...

• Author(s): Qingguo Lü • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsFrom the Back CoverThis book focuses on improving the performance (convergence rate, communication efficiency, computational efficiency, ...

• Author(s): Leijiao Ge • Publisher: Mdpi AG • Publisher Imprint: Mdpi AG • BISAC: GeneralIn recent years, the global climate has become variable due to intensification of the greenhouse effect, and natural disasters are frequently occurring, whi...

• Author(s): Lea Kutvonen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralMastering interoperability in a computing environment consisting of different operating systems and hardware architectures is a key requirem...

• Author(s): Marvin Zelkowitz • Publisher: Academic Press • Publisher Imprint: Academic Press • BISAC: Computer ScienceAs the computer industry moves into the 21st century, the long-running Advances in Computers is ready to tackle the challenges ...

• Author(s): Taisuke Izumi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Networking - HardwareThis book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed ...

• Author(s): Lea Kutvonen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralMastering interoperability in a computing environment consisting of different operating systems and hardware architectures is a key requirem...