Filters








1,299 Hits in 5.2 sec

Replicated distributed programs

Eric C. Cooper
1985 ACM SIGOPS Operating Systems Review  
The incremental expense of a Circus replicated procedure call as the degree of replication increases is more reasonable.  ...  This chapter defines the semantics of replicated procedure calls and describes Circus, a replicated procedure call system that has been implemented for Berkeley 4.2BSD.  ... 
doi:10.1145/323627.323635 fatcat:2bwjewrlpvelpaiehog6tuqf6e

Replicated distributed programs

Eric C. Cooper
1985 Proceedings of the tenth ACM symposium on Operating systems principles - SOSP '85  
The incremental expense of a Circus replicated procedure call as the degree of replication increases is more reasonable.  ...  This chapter defines the semantics of replicated procedure calls and describes Circus, a replicated procedure call system that has been implemented for Berkeley 4.2BSD.  ... 
doi:10.1145/323647.323635 dblp:conf/sosp/Cooper85 fatcat:cgtdxuj4n5dkxm2mbcqnyd4zie

Rare birds : a global ethnography of Ethiopian circus performers

Jessica Kendall
2017
an acrobatics training facility in China.  ...  as the nexus for the replication of symbolic domination, or power.  ...  Handstand: an acrobatic movement in which a performer is positioned in a vertical upright position on the floor by balancing on their (sic) hands ("Handstand," def.  ... 
doi:10.25501/soas.00024393 fatcat:m7ee5yku7zhohnwtc7wtgt3deq

Bodies, Temporality and Spatiality in Australian Contemporary Circus

Kristy Danialle Seymour, University, My, Patricia Wise
2018
I undertake a conceptual discussion of the development of Australian contemporary circus and of its current features.  ...  Informed and impelled by my professional experience as a circus artist, this dissertation maps the practice features and cultural influence of contemporary circus in Australia, investigating its development  ...  This is being called "Post-Contemporary Circus".  ... 
doi:10.25904/1912/1522 fatcat:ai5yzwxkzrcypcs6rbwqdn3fyu

Replication and fault-tolerance in the ISIS system

Kenneth P. Birman
1985 ACM SIGOPS Operating Systems Review  
This paper discusses tedmiques for obtaining a fault-tolerant implementation from a now distributed specification and for achieving improved performanc~ by concurrently updating replicated data.  ...  A B S T R A C T The ISIS system transforms abstract type specifications into fault-tolerant distributed implementations while insulating users from the mechanisms used tO achieve fault-toleram:e.  ...  Remote procedure calls. A flexible RPC mechanism is provided, includin8 nested, recursive, and asynchronous RPC's, as well as RPC's in which the function to call is a parameter.  ... 
doi:10.1145/323627.323636 fatcat:sn3ll5yanbbyjb4e2ajyg2l2we

Replication and fault-tolerance in the ISIS system

Kenneth P. Birman
1985 Proceedings of the tenth ACM symposium on Operating systems principles - SOSP '85  
This paper discusses tedmiques for obtaining a fault-tolerant implementation from a now distributed specification and for achieving improved performanc~ by concurrently updating replicated data.  ...  A B S T R A C T The ISIS system transforms abstract type specifications into fault-tolerant distributed implementations while insulating users from the mechanisms used tO achieve fault-toleram:e.  ...  Remote procedure calls. A flexible RPC mechanism is provided, includin8 nested, recursive, and asynchronous RPC's, as well as RPC's in which the function to call is a parameter.  ... 
doi:10.1145/323647.323636 dblp:conf/sosp/Birman85 fatcat:twkkkn3qnnfrlkaohuobfa2amq

Automatic Translation from Combined B and CSP Specification to Java Programs [chapter]

Letu Yang, Michael R. Poppleton
2006 Lecture Notes in Computer Science  
We briefly present a prototype translation tool which extends ProB, with a worked example, and conclude with a strategy for formally verifying the translation.  ...  The JCSP package was originally designed as a proven clean Java concurrency vehicle for the implementation of certain CSP specifications.  ...  Acknowledgements: We would like to thank Denis A. Nicole for his very helpful comments.  ... 
doi:10.1007/11955757_8 fatcat:pd3eu3snunbnzb4lkjayq7o4p4

Parallel communication in a large distributed environment

M. Satyanarayanan, E.H. Siegel
1990 IEEE transactions on computers  
In this paper, we describe the evolution of Multi-RPC, a parallel remote procedure call mechanism implemented in Unix.  ...  Each of the parallel calls retains the semantics and functionality of our standard remote procedure calls. The underlying communication medium need not support multicast or broadcast transmissions.  ...  One such system is Circus [5], which focuses on achieving high availability by using parallel RPC as a vehicle for replication.  ... 
doi:10.1109/12.48864 fatcat:jfj5c4jk6jaxjhhdfhavp4izny

Exploiting virtual synchrony in distributed systems

K. Birman, T. Joseph
1987 ACM SIGOPS Operating Systems Review  
Group remote procedure calls Using the broadcast primitives, a process can send messages to a single process group or a list of process groups, with ordering properties that vill depend on the choice of  ...  ,em as was done in CIRCUS L 'Cooper] .  ... 
doi:10.1145/37499.37515 fatcat:34coagkrufa4hiso3l2uur55eu

Distributed fault tolerance: lessons from Delta-4

D. Powell
1994 IEEE Micro  
The OMEs of each replicated capsule and the RDM have replicated endpoints on a domain-wide multipoint association (called the replication domain association in Figure 4 ).  ...  Delta-4 manages passive replication by system code, called a rep-entity, included in a capsule when an application object is compiled.'"  ... 
doi:10.1109/40.259898 fatcat:6435u4ycijetdhzbpguzsybmja

Modelling and Verification of Timed Robotic Controllers [chapter]

Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis
2017 Lecture Notes in Computer Science  
The ability to perform formal analysis and replicate results across different robotic platforms is hindered by the lack of well-defined formal notations.  ...  In this paper we present a timed state-machine based formal notation for robotics that is informed by current practice.  ...  FDR includes facilities to translate untimed processes into tock-CSP.  ... 
doi:10.1007/978-3-319-66845-1_2 fatcat:qkcngbdfabfaxkqn2wosd2n45a

How Prior Knowledge Affects Visual Attention of Japanese Mimicry and Onomatopoeia and Learning Outcomes: Evidence from Virtual Reality Eye Tracking

Chun-Chia Wang, Jason C. Hung, Hsuan-Chu Chen
2021 Sustainability  
The results revealed that the gaze sequences of the two prior knowledge groups gazing at the ROIs in theme parks were different, except for the gaze sequence in the circus theme park.  ...  In addition, a heat zone map was also generated to show the overall visual distribution of each group.  ...  Four ROIs, ROI12~ROI15, indicate MIO words in the circus facility. Four ROIs, ROI16~ROI19, indicate MIO words in the haunted house facility.  ... 
doi:10.3390/su131911058 fatcat:rgqzhmsxobdabndt3zf2yj5awa

Unifying Theories of Reactive Design Contracts [article]

Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda
2019 arXiv   pre-print
We provide a language for expression and composition of contracts that is supported by a rich calculational theory.  ...  Practical reasoning support is provided via our proof framework, Isabelle/UTP, including a proof tactic that reduces a conjecture about a reactive program to three predicates, symbolically characterising  ...  This procedure was applied to a small cash-card verification example in Section 5 based in the Circus [61] language.  ... 
arXiv:1712.10233v2 fatcat:nucijwgabvbx5e2takfqiubtou

Hypersensitivity reactions of the heart: reduction of anaphylactic crisis by theophylline or glucagon

R Levi
1971 Bulletin of the New York Academy of Medicine  
may select strands replicating at a slower rate.  ...  Twenty patients receiving maintenance digoxin who underwent cardiopulmonary bypass for a variety of cardiac surgical procedures were studied. Eight developed arrhythmias 2-18 hours following bypass.  ...  In one type of reentry, which we call reflection, the impulse reaching a depressed area turns back in the direction from which it came.  ... 
pmid:4398767 pmcid:PMC1749957 fatcat:e454b5i3tnaadcsys3box4ov7e

Vegas, Disney, and the Metaverse [chapter]

Gundolf S. Freyermuth
2022 Playful Materialities  
Value: Can one lead a good life in Plato's cave?"  ...  Chalmers outlines Zuanghzi's dream about being a butterfly, Narada's dream in which he lived an entire life as a woman, and Plato's allegory of the cave whose imprisoned inhabitants mistake distorted and  ...  The design procedure of selecting audiovisual signs that denote and connote a distinctive aesthetic and meaning for the respective attraction, Disney called theming.  ... 
doi:10.1515/9783839462003-002 fatcat:awsr3uucl5htfhjsq3hqkfjity
« Previous Showing results 1 — 15 out of 1,299 results