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

• Author(s): S. Ramesh • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis volume is the proceedings of the workshop "Next Generation Design and Verification Methodologies for Distr...

• Author(s): Berthold Butscher | Eckhard Moeller | Herwart Pusch • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsThis book constitutes the refereed proceedings of the first Eu...

• Author(s): Hans-Arno Jacobsen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureDistributed Infrastructure Support For E-Commerce And Distributed Applications is organized in three parts. The first part constitut...

• Author(s): Muhammad Atif • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - GeneralFrom the Back CoverThis book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The too...

• Author(s): William E. Clark • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: GeneralHigh-Performance Concurrency with HPX: Designing Scalable, Asynchronous C++ Systems for Modern Multicore and Distribut...

• Author(s): Jacek Blazewicz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Information TechnologyIn this volume such aspects of parallel and distributed processing as efficient parallel algorithms, languages for parallel processing...

• Author(s): Lucian Mihet-Popa • Publisher: Intechopen • Publisher Imprint: Intechopen • BISAC: Electronics - Solid StateThe book contains 10 chapters, and it is divided into four sections. The first section includes three chapters, providing an ...

• Author(s): Dan C. Marinescu • Publisher: Elsevier • Publisher Imprint: Elsevier • BISAC: Software Development & Engineering - GeneralComplex Systems and Clouds: A Self-Organization and Self-Management Perspective provides insights into the ...

• Author(s): Ajit Pal • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralWe also thank all the members of the Organizing Committee, Arobinda Gupta, AjitPal, ShamikSural, IndranilSengupta, ...

• Author(s): Erika Ábrahám • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Comp...

• Author(s): Richard M. Fujimoto • Publisher: Wiley-Interscience • Publisher Imprint: Wiley-Interscience • BISAC: Computer SimulationA state-of-the-art guide for the implementation of distributed simulation technology. The rapid expansion of the...

• Author(s): Wolfgang Reisig • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverDistributed Computing is rapidly becoming the principal computing paradigm in diverse are...

• Author(s): Ayla Song • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Neural NetworksThe convergence of large language models with distributed computing infrastructure has produced a new class of engine...

• Author(s): Joseph S. P. Fong • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDatabase technology is an important subject in Computer Science. Every large company and nation needs a da...

• Author(s): Jean-Michel Helary | Michel Raynal • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - Client-Server ComputingThis book constitutes the proceedings of the 9th International Workshop on Distributed Algor...

• Author(s): Shlomi Dolev • Publisher: Springer • Publisher Imprint: Springer • BISAC: Security - Cryptography & EncryptionThis book constitutes the proceedings of 25th International Symposium, SSS 2023, in Jersey City, NJ, USA, in October 20...

• Author(s): Marcus Bisogno • Publisher: Createspace Independent Publishing Platform • Publisher Imprint: Createspace Independent Publishing Platform • BISAC: Systems Architecture - Distributed Systems & ComputingGrid computing is the collect...

• Author(s): Ahmed Bouajjani • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Co...

• Author(s): Costin Badica • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverThis book represents the peer-reviewed proceedings of the Second International Symposium on Intelligent Distributed Computing - IDC ...

• Author(s): Alexander S. Mikhailov • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureThis book gives an introduction to the mathematical theory of cooperative behavior in active systems of various origins, both na...

• Author(s): David Lee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Op...

• Author(s): Sivaraman Palanisamy • Publisher: Elsevier • Publisher Imprint: Elsevier • BISAC: Power Resources - ElectricalDistributed Energy Storage Systems for Digital Power Systems offers detailed information of all aspects of distributed ener...

• Author(s): José Cecílio • Publisher: Springer • Publisher Imprint: Springer • BISAC: Networking - HardwareFrom the Back CoverSensor networks are increasingly being deployed in a diverse range of applications. Within many of these networks wired...

• Author(s): M. Teresa Higuera-Toledano • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverResearch on real-time Java technology has been prolific over the past decade, leading to a lar...

• Author(s): Mohammad Reza Mousavi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on For...

• Author(s): Amir Hossein Jahangir • Publisher: Springer • Publisher Imprint: Springer • BISAC: Networking - HardwareThis book constitutes the refereed proceedings of the International Symposium on Computer Networks and Distributed Systems, CNDS ...

• Author(s): Shahid H. Bokhari • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - GeneralThis book has been written for practitioners, researchers and stu- dents in the fields of parallel and distributed computing....

• Author(s): Bernd Kleinjohann | Lisa Kleinjohann | Ricardo J. Machado • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiEmbedded computing systems have started to car...

• Author(s): Basu S. K. • Publisher: PHI Learning Pvt Ltd • Publisher Imprint: PHI Learning Pvt LtdMedical electronics is using vast and varied applications in numerous spheres of human endeavour—ranging from communication, biomedical engineering...

• Author(s): U. Vishkin • Publisher: Sagwan Press • Publisher Imprint: Sagwan Press • BISAC: GeneralThis work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work ...

• Author(s): Andrei Karatkevich • Publisher: Springer • Publisher Imprint: Springer • BISAC: ElectricalDesign of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution o...

• Author(s): Wenfeng Li • Publisher: Springer • Publisher Imprint: Springer • BISAC: Networking - HardwareThis book constitutes the proceedings of the 9th International Conference on Internet and Distributed Computing Systems, IDCS 2016, held in ...

• Author(s): Christel Baier • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques f...

• Author(s): Esteban Jove • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)From the Back CoverThis book of LNNS contains accepted papers presented at DCAI conference in the Special Session on Intelligent Systems A...

• Author(s): Guanglin Zhang | Ping Zhao | Anqi Zhang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Telecommunications

• Author(s): David Powell • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - GeneralThe design of computer systems to be embedded in critical real-time applications is a complex task. Such systems must not only guarantee ...