Author: University of Maryland at College Park. Department of Computer Science
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Dynamic Reconfiguration in Distributed Systems: Adapted Software Modules for Replacement
Author: University of Maryland at College Park. Department of Computer Science
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Consistency Preserving Dynamic Reconfiguration of Distributed Systems
An Approach to Dynamic Reconfiguration of Distributed Systems Based on Object-middleware
Author: João Paulo Andrade Almeida
Publisher:
ISBN:
Category :
Languages : en
Pages : 16
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 16
Book Description
Type Systems for Distributed Programs: Components and Sessions
Author: Ornela Dardha
Publisher: Springer
ISBN: 9462392048
Category : Mathematics
Languages : en
Pages : 200
Book Description
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings.The main contributions of this book are twofold. i) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations. ii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus.
Publisher: Springer
ISBN: 9462392048
Category : Mathematics
Languages : en
Pages : 200
Book Description
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings.The main contributions of this book are twofold. i) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations. ii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus.
Dynamic Reconfiguration in Distributed Systems
Author: Christine Hofmeister
Publisher:
ISBN:
Category : Distributed parameter systems
Languages : en
Pages : 17
Book Description
We present a technique for automatically preparing a module to capture and restore its state during reconfiguration, given a set of reconfiguration points designated by the programmer. Our focus in this paper is on the difficult problem of capturing and restoring the state of a module in the midst of a procedure call, when the information stored in the activation record stack is a crucial part of the process state."
Publisher:
ISBN:
Category : Distributed parameter systems
Languages : en
Pages : 17
Book Description
We present a technique for automatically preparing a module to capture and restore its state during reconfiguration, given a set of reconfiguration points designated by the programmer. Our focus in this paper is on the difficult problem of capturing and restoring the state of a module in the midst of a procedure call, when the information stored in the activation record stack is a crucial part of the process state."
A State Machine Approach to Reliable and Dynamically Reconfigurable Distributed Systems
Dynamic Reconfiguration
Author: Ramachandran Vaidyanathan
Publisher: Springer Science & Business Media
ISBN: 0306481898
Category : Computers
Languages : en
Pages : 525
Book Description
Dynamic Reconfiguration: Architectures and Algorithms offers a comprehensive treatment of dynamically reconfigurable computer architectures and algorithms for them. The coverage is broad starting from fundamental algorithmic techniques, ranging across algorithms for a wide array of problems and applications, to simulations between models. The presentation employs a single reconfigurable model (the reconfigurable mesh) for most algorithms, to enable the reader to distill key ideas without the cumbersome details of a myriad of models. In addition to algorithms, the book discusses topics that provide a better understanding of dynamic reconfiguration such as scalability and computational power, and more recent advances such as optical models, run-time reconfiguration (on FPGA and related platforms), and implementing dynamic reconfiguration. The book, featuring many examples and a large set of exercises, is an excellent textbook or reference for a graduate course. It is also a useful reference to researchers and system developers in the area.
Publisher: Springer Science & Business Media
ISBN: 0306481898
Category : Computers
Languages : en
Pages : 525
Book Description
Dynamic Reconfiguration: Architectures and Algorithms offers a comprehensive treatment of dynamically reconfigurable computer architectures and algorithms for them. The coverage is broad starting from fundamental algorithmic techniques, ranging across algorithms for a wide array of problems and applications, to simulations between models. The presentation employs a single reconfigurable model (the reconfigurable mesh) for most algorithms, to enable the reader to distill key ideas without the cumbersome details of a myriad of models. In addition to algorithms, the book discusses topics that provide a better understanding of dynamic reconfiguration such as scalability and computational power, and more recent advances such as optical models, run-time reconfiguration (on FPGA and related platforms), and implementing dynamic reconfiguration. The book, featuring many examples and a large set of exercises, is an excellent textbook or reference for a graduate course. It is also a useful reference to researchers and system developers in the area.
Dynamic Reconfiguration in Distributed Hard Real-time Systems
Dynamic Reconfiguration
Author: Ramachandran Vaidyanathan
Publisher: Springer Science & Business Media
ISBN: 0306484285
Category : Computers
Languages : en
Pages : 525
Book Description
Dynamic Reconfiguration: Architectures and Algorithms offers a comprehensive treatment of dynamically reconfigurable computer architectures and algorithms for them. The coverage is broad starting from fundamental algorithmic techniques, ranging across algorithms for a wide array of problems and applications, to simulations between models. The presentation employs a single reconfigurable model (the reconfigurable mesh) for most algorithms, to enable the reader to distill key ideas without the cumbersome details of a myriad of models. In addition to algorithms, the book discusses topics that provide a better understanding of dynamic reconfiguration such as scalability and computational power, and more recent advances such as optical models, run-time reconfiguration (on FPGA and related platforms), and implementing dynamic reconfiguration. The book, featuring many examples and a large set of exercises, is an excellent textbook or reference for a graduate course. It is also a useful reference to researchers and system developers in the area.
Publisher: Springer Science & Business Media
ISBN: 0306484285
Category : Computers
Languages : en
Pages : 525
Book Description
Dynamic Reconfiguration: Architectures and Algorithms offers a comprehensive treatment of dynamically reconfigurable computer architectures and algorithms for them. The coverage is broad starting from fundamental algorithmic techniques, ranging across algorithms for a wide array of problems and applications, to simulations between models. The presentation employs a single reconfigurable model (the reconfigurable mesh) for most algorithms, to enable the reader to distill key ideas without the cumbersome details of a myriad of models. In addition to algorithms, the book discusses topics that provide a better understanding of dynamic reconfiguration such as scalability and computational power, and more recent advances such as optical models, run-time reconfiguration (on FPGA and related platforms), and implementing dynamic reconfiguration. The book, featuring many examples and a large set of exercises, is an excellent textbook or reference for a graduate course. It is also a useful reference to researchers and system developers in the area.