Results 221 to 230 of about 3,308,530 (269)

Dissipative distributed systems

Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187), 2002
Deals with systems described by constant coefficient linear partial differential equations. We define dissipativity with respect to a quadratic differential form, i.e., a quadratic functional in the system variables and their partial derivatives. The main result states the equivalence of dissipativity and the existence of a storage function or of a ...
Harish K. Pillai, Jan C. Willems
openaire   +1 more source

Load distributing for locally distributed systems

Computer, 1992
The problem of judiciously and transparently redistributing the load of the system among its nodes so that overall performance is maximized is discussed. Several key issues in load distributing for general-purpose systems, including the motivations and design trade-offs for load-distributing algorithms, are reviewed.
Niranjan G. Shivaratri, Phillip Krueger, Mukesh Singhal   +2 more
openaire   +1 more source

Testing a distributed system

Communications of the ACM, 2015
Testing a distributed system can be trying even under the best of circumstances.
openaire   +1 more source

Monitoring distributed systems with distributed algorithms

Proceedings of the 41st IEEE Conference on Decision and Control, 2002., 2003
Proposes a framework to process large distributed systems by parts, through distributed algorithms. We consider distributed (discrete event) systems as the combination of elementary components. Each component defines dynamics on several state variables, and the composition is simply defined by sharing variables.
Eric Fabre, Vincent Pigourier
openaire   +1 more source

Distributing Distributed Revision Control Systems

2016 IEEE 41st Conference on Local Computer Networks (LCN), 2016
Current revision control systems are commonly used in a distributed fashion but rely on centralized stores and low-latency communication. In this work we evaluate how they would fare in fully distributed high latency networks such as delay tolerant networks (DTNs).
Philipp Hagemeister, Martin Mauve
openaire   +1 more source

Recognition in a Distributed System

Applied Categorical Structures, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

The verification of a distributed system

Communications of the ACM, 2016
A practitioner's guide to increasing confidence in system correctness.
openaire   +1 more source

Synthesizing distributed systems

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 2002
In system synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. When the system is distributed, the goal is to construct the system's underlying processes. Results on multi-player games imply that the synthesis problem for linear specifications is undecidable for general architectures, and is ...
Orna Kupferman, Moshe Y. Vardi
openaire   +1 more source

Programming Distributed Systems

Proceedings of the 1978 annual conference on - ACM 78, 1978
For a number of technical and economic reasons, distributed computing is increasing rapidly in importance. The main technical considerations are the increased performance of small machines and of communications systems relative to that of giant computers and the opportunity for greater system reliability through redundancy.
Jerome A. Feldman, James R. Low, Paul Rovner   +2 more
openaire   +1 more source

Security in distributed system

Proceedings of the International Conference and Workshop on Emerging Trends in Technology, 2010
Security is the very important principle of distributed systems. Security in distributed systems can be divided into two parts. One part concerns the communication between users and processes, possibly residing on different machines. The principal mechanism for ensuring secure communication is that of a secure channel and via authorization.In this ...
P. K. Mudholkar, M. Mudholkar
openaire   +1 more source