Filters








184,588 Hits in 4.8 sec

Dynamic analysis of the arrow distributed protocol

Fabian Kuhn, Roger Wattenhofer
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

Maurice Herlihy, Fabian Kuhn, Srikanta Tirthapura, Roger Wattenhofer
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]

Abdolhamid Ghodselahi, Fabian Kuhn
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 *

Abdolhamid Ghodselahi, Fabian Kuhn
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

Michael Messerli, Fotis Kotasidis, Daniela A. Ferraro, Ken Kudura, Valerie Treyer, Josephine Trinckauf, Corina Weyermann, Martin Hüllner, Philipp Kaufmann, Irene A. Burger
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

Edward H. Feng, Gavin E. Crooks
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

Wilhelm Hasselbring, Andreas Kröber
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

Michele Campisi, Peter Hänggi
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

Daniel A. Lichtenstein
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

Shigeo Okabe, Tomoe Urushido, Daijiro Konno, Haruo Okado, Kenji Sobue
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

S. A. Goodwin, R. A. Weed, L. N. Sankar, P. Raj
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]

Luís Caires, Hugo Torres Vieira
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

S. Tirthapura, M. Herlihy
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]

Maurice Herlihy, Srikanta Tirthapura
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