A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
Filters
Dynamic analysis of the arrow distributed protocol
2004
Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures - SPAA '04
We present a novel and comprehensive competitive analysis of the arrow protocol. ...
The arrow protocol is a solution to distributed queuing that is based on path reversal on a pre-selected spanning tree of the network. ...
Another queuing protocol is the dynamic distributed object manager protocol by Li and Hudak, as implemented in their Ivy system [15] . ...
doi:10.1145/1007912.1007962
dblp:conf/spaa/KuhnW04
fatcat:jarmxmugv5cede4wsfvp4ok3ku
Dynamic Analysis of the Arrow Distributed Protocol
2006
Theory of Computing Systems
We present a novel and comprehensive competitive analysis of the arrow protocol. ...
The arrow protocol is a solution to distributed queuing that is based on path reversal on a pre-selected spanning tree of the network. ...
Another queuing protocol is the dynamic distributed object manager protocol by Li and Hudak, as implemented in their Ivy system [15] . ...
doi:10.1007/s00224-006-1251-9
fatcat:f44w234hwvaihlxoodbvbitavq
Dynamic Analysis of the Arrow Distributed Directory Protocol in General Networks
[article]
2017
arXiv
pre-print
In this work we show that when running the Arrow protocol on top of the well-known probabilistic tree embedding of Fakcharoenphol, Rao, and Talwar [STOC 03], we obtain a randomized distributed queueing ...
It is known that the Arrow protocol solves the problem with a competitive ratio of O(log D) on trees of diameter D. ...
The Arrow Protocol: The Arrow protocol [22] is a distributed queueing protocol that operates on a tree network T = (V, E). ...
arXiv:1705.07327v1
fatcat:rdmqulgkkbfhrakzkx7l4ffuru
Dynamic Analysis of the Arrow Distributed Directory Protocol in General Networks *
unpublished
It is known that the Arrow protocol solves the problem with a competitive ratio of O(log D) on trees of diameter D. ...
In this work we show that when running the Arrow protocol on top of the well-known probabilistic tree embedding of Fakcharoenphol, Rao, and Talwar [STOC 03], we obtain a randomized distributed online queueing ...
This even holds if communication is asynchronous.
22:4 Dynamic Analysis of the Arrow Distributed Directory Protocol in General Networks Organization of the Paper. ...
fatcat:iyqxjj2uljdhhfhegl66cqrq4e
Whole-body parametric [18F]-FDG PET/CT improves interpretation of a distant lesion as venous embolus in a lung cancer patient
2021
European Journal of Nuclear Medicine and Molecular Imaging
Standard static imaging was performed after the WB dynamic protocol (2.5 min/bed) (a), axial images are given for both areas of interest (a1/a2, scaled SUV 0-6). ...
Despite well-known limitations of static analysis of FDG-PET images, the ease of its use leads to a widespread use of semiquantitative indices, most commonly the standardized uptake value (SUV). ...
Funding The Nuclear Medicine Department holds GE grants.
Compliance with ethical standards Conflict of interest F.K. is an employee of GE imaging. ...
doi:10.1007/s00259-020-05176-0
pmid:33452635
fatcat:zilenn6f2rg4tfrmbymlal6ipa
Length of Time's Arrow
2008
Physical Review Letters
An unresolved problem in physics is how the thermodynamic arrow of time arises from an underlying time reversible dynamics. ...
Among other interesting properties, the length of time's arrow bounds the average dissipation and determines the difficulty of accurately estimating free energy differences in nonequilibrium experiments ...
It is enlightening to contrast the length of time's arrow with the hysteresis, the average dissipation of the forward and reverse protocols, h½Ã ¼ 1 2 hW½xjÃi à þ 1 2 hW½xjÃiÃ: (10) Because of Eq. (5), ...
doi:10.1103/physrevlett.101.090602
pmid:18851595
fatcat:n3cqvh3vgnawfpz2wpzqbbozfe
Page 1295 of Mathematical Reviews Vol. , Issue 2003B
[page]
2003
Mathematical Reviews
Herlihy, “The arrow distributed directory protocol”, in Proceed- ings of the 17th ACM Symposium on the Principles of Distributed Computing, 1998; per bibl.]. ...
Summary: “This paper considers an enhancement to the arrow distributed directory protocol, introduced in [J. Demmer and M. P. ...
Combining OMT with a prototyping approach
1998
Journal of Systems and Software
to requirements analysis of parallel systems to overcome some of the problems. ...
The experience with this combination for the analysis of the requirements on a specific parallel system -a configurable hospital communication server -is discussed. ...
of the HL7 protocol. ...
doi:10.1016/s0164-1212(98)10031-6
fatcat:vmpxuuo2bnavrgiqvnvtlbk4ne
Fluctuation, Dissipation and the Arrow of Time
2011
Entropy
The recent development of the theory of fluctuation relations has led to new insights into the ever-lasting question of how irreversible behavior emerges from time-reversal symmetric microscopic dynamics ...
We provide an introduction to fluctuation relations, examine their relation to dissipation and discuss their impact on the arrow of time question. ...
Acknowledgements This work was supported by the cluster of excellence Nanosystems Initiative Munich (NIM) and the Volkswagen Foundation (project I/83902). Entropy 2011, 13 ...
doi:10.3390/e13122024
fatcat:md56m3uxm5gh7d5ay22neuhqve
Lung Ultrasound (in the critically ill) Superior to CT: the Example of Lung Sliding
2017
Korean Journal of Critical Care Medicine
It describes the place of lung sliding in the BLUE-protocol (bedside lung ultrasound in emergency) (lung and venous ultrasound for diagnosing acute respiratory failure), the FALLS-protocol (fluid administration ...
limited by lung sonography) (the role of lung sliding in circulatory failure), and the SESAME-protocol (sequential assessment of sonography assessing mechanism or origin of severe shock of indistinct ...
In the BLUE-protocol (see below), we use three standardized points of analysis called the BLUE-points [4] . ...
doi:10.4266/kjccm.2016.00955
pmid:31723610
pmcid:PMC6786749
fatcat:sbczt7hvlnbk3jij6mmeofznwe
Rapid Redistribution of the Postsynaptic Density Protein PSD-Zip45 (Homer 1c) and Its Differential Regulation by NMDA Receptors and Calcium Channels
2001
Journal of Neuroscience
Differential stimulation protocols were found to alter the direction of PSD-Zip45 assembly-disassembly. ...
In contrast to the less dynamic properties of PSD-95, PSD-Zip45 showed rapid redistribution and a higher steady-state turnover rate. ...
We next characterized the basic properties of PSD-Zip45 dynamics following two stimulation protocols by quantifying the extent of PSD-Zip45 clustering. ...
doi:10.1523/jneurosci.21-24-09561.2001
pmid:11739567
fatcat:dyoy4uo2bnculk2njllxjrqg6e
Toward Cost-Effective Aeroelastic Analysis on Advanced Parallel Computing Systems
1999
Journal of Aircraft
Results and Discussion Arrow-Wing Body
To validate the PVM modified version of ENSAERO, computed steady solutions of the modified code are compared with those of the MPI original code for the arrow-wing ...
These solutions provided the starting point for the dynamic aeroelastic analysis using four mode shapes for which oblique projections are shown in Fig. 9. ...
doi:10.2514/2.2494
fatcat:lq4nyaoiqvfglilwepdiflmrb4
SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
[chapter]
2012
Lecture Notes in Computer Science
The SLMC is the only currently available tool supporting the combined analysis of behavioral and spatial properties of systems. ...
The Spatial Logic Model Checker is a tool for verifying safety, liveness, and structural properties of systems in the π-calculus, expressed in the spatial logic for concurrency of Caires and Cardelli. ...
We consider two systems: Milner's implementation of the Handover protocol [13] and a π-calculus implementation of the Arrow Distributed Directory Protocol [8] , both available in the SLMC homepage ...
doi:10.1007/978-3-642-28756-5_35
fatcat:cvkpseizdbhido4jjrh3fntggi
Self-stabilizing distributed queuing
2006
IEEE Transactions on Parallel and Distributed Systems
This protocol adds self-stabilizing actions to the arrow distributed queuing protocol, a simple path-reversal protocol that runs on a spanning tree of the network. ...
We present a proof that the protocol stabilizes to a stable state irrespective of the (perhaps faulty) initial state, and also present an analysis of the time till convergence. ...
Recently, Kuhn and Wattenhofer [15] , presented an analysis of the more general dynamic case: if nodes are allowed to initiate requests at arbitrary times, the arrow protocol is within a factor of O(s ...
doi:10.1109/tpds.2006.94
fatcat:4wp7c3kxq5f3dpk5ebfd6hwbd4
Self Stabilizing Distributed Queuing
[chapter]
2001
Lecture Notes in Computer Science
This protocol adds self-stabilizing actions to the arrow distributed queuing protocol, a simple path-reversal protocol that runs on a spanning tree of the network. ...
We present a proof that the protocol stabilizes to a stable state irrespective of the (perhaps faulty) initial state, and also present an analysis of the time till convergence. ...
Recently, Kuhn and Wattenhofer [15] , presented an analysis of the more general dynamic case: if nodes are allowed to initiate requests at arbitrary times, the arrow protocol is within a factor of O(s ...
doi:10.1007/3-540-45414-4_15
fatcat:wqc67yvz3bbtbaxdt75yhw4way
« Previous
Showing results 1 — 15 out of 184,588 results