Remote procedure calls (RPCs) lie at the heart of any client/server software. Thus, formal specification and verification of RPC mechanisms is a prerequisite for the verification of any such software. In this paper, we present a mathematical specification of an RPC mechanism and we outline how to prove the correctness of an implementation — say written in C — of this mechanism at the code level...

Cooperative groups, of which the Radiation Therapy Oncology Group is one example, conduct national clinical trials that often involve the use of radiation therapy. In preparation for such a trial, the cooperative group prepares a protocol to define the goals of the trial, the rationale for its design, and the details of the treatment procedure to be followed. The Radiological Physics Center (RP...

Objective To evaluate how rating of perceived capacity (RPC) is related to maximal oxygen uptake (VO2max) and examine VO2max at onset of training in healthy adults. Methods In total, 125 newly registered fitness centre members, equally men and women, answered the RPC scale and performed a treadmill test for measurement of VO2max. Eligible criteria were <4 weeks of fitness centre membership, p...

RPC geometry and Muon Trigger acceptance study is presented. Innuence of detector dead areas on the trigger performance is discussed. Various possible trigger algorithms are compared. Recommendations for designing RPC geometry and choosing among trigger algorithms are given. 1 RPC geometrical coverage in the barrel The CMS Muon System 1] consists of 4 muon stations (both in the barrel and in th...

Forty Holstein dairy cows in their first and second lactation were used in a lactation study from 4-week prepartum through 14-week postpartum to investigate the potential effect of feeding different levels of ruminally protected methionine and choline on milk yield persistency of Holstein dairy cows. Cows were randomly assigned to receive one of the following treatments: 18 g/d of rumen-protect...

Consider the statement that packet headers of a modern protocol should not have a version number field. Today, it is not immediately clear whether this is a good advice or a problematic guideline. In this technical report we argue that remote procedure calls (RPC) –usually classified as a higher level service– can operate anywhere in the protocol stack and replaces protocol version numbers. We ...

Current Remote Procedure Call (RPC) services implement a variety of semantics, with many of the differences related to how communication and server failures are handled. The list increases even more when considering group RPC, a variant of RPC often used for fault-tolerance where an invocation is sent to a group of servers rather than one. This paper presents an approach to constructing group R...

Providing good quality of service (e.g., low response times) in distributed computer systems requires measuring enduser perceptions of performance. Unfortunately, such measures are often expensive or impossible to obtain. Herein, we propose a machine-learning approach to recognizing enduser transactions consisting of sequences of remote procedure calls (RPCs) received at a server. Two problems ...

Dear Editor, A standard dataset for small field output factors was published by the Radiological Physics Center (RPC).(1) The data are to be used as part of the quality control in other radiotherapy departments. As part of commissioning a new linear accelerator, we performed a comparison of our data against the original RPC dataset and found relative large deviations. We, therefore, conducted a...