The Network Of Workstations (NOWs) is the trend for distributed computing, and the costeffectiveness of networking system is one of the key issues for NOWs. The IEEE 1394 bus can be a cost-effective solution for linking a network of computers, in this paper, we tested the performance of IEEE 1394 on the Linux system, and discussed how to improve the IEEE 1394 performance towards cluster computi...

This paper applies modeling in Alloy and verification with the Alloy Analyzer to the well-known Chord protocol. The results include the first rigorous proof that the join-only case is correct, and many counterexamples showing that the full protocol is not correct. The paper also explains the methods so they can be applied to other protocols, justifies their costeffectiveness in protocol design,...

S18 ENDOSCOPIC ULTRASOUND / VOLUME 6 / SUPPLEMENT 1 / AUGUST 2017 and adenocarcinoma was detected. None of the lesions had mucinous morphology. There were no periprocedural complications. Conclusion: EUS is an effective modality to detect occult primary in patients with CUPS with suspected pancreaticobiliary origin. Larger studies assessing its costeffectiveness and identifying positive predict...

Modelling A decision tree model was created to capture the central issues in acute DVT treatment and to examine the costeffectiveness of fondaparinux for DVT therapy compared with enoxaparin. The model was based on various assumptions on efficacy, drug dosing and costs, which were all reported in the current study but are too numerous to be reported here. However, the authors reported that thei...

Background Cardiac MRI (CMR) T2 mapping is a proven method for myocardial edema detection. However, the current approach requires multiple breath-holds and can take nearly 10-15 minutes to complete. Faster acquisitions could potentially improve patient comfort and costeffectiveness of CMR exams. the objecttive of this study is to develop and test a free-breathing, three-dimensional, cardiac MR ...

S18 ENDOSCOPIC ULTRASOUND / VOLUME 6 / SUPPLEMENT 1 / AUGUST 2017 and adenocarcinoma was detected. None of the lesions had mucinous morphology. There were no periprocedural complications. Conclusion: EUS is an effective modality to detect occult primary in patients with CUPS with suspected pancreaticobiliary origin. Larger studies assessing its costeffectiveness and identifying positive predict...

S18 ENDOSCOPIC ULTRASOUND / VOLUME 6 / SUPPLEMENT 1 / AUGUST 2017 and adenocarcinoma was detected. None of the lesions had mucinous morphology. There were no periprocedural complications. Conclusion: EUS is an effective modality to detect occult primary in patients with CUPS with suspected pancreaticobiliary origin. Larger studies assessing its costeffectiveness and identifying positive predict...

Objectives: To estimate the cost-effectiveness of switching patients with poorly controlled type 2 diabetes mellitus from human insulin (HI) to biphasic insulin aspart 30 (BIAsp 30) in South Korea. Methods: A published and validated diabetes computer simulation model (the IMS CORE Diabetes Model) was used to evaluate the long-term clinical and economic outcomes associated with switching to BIAs...

A methodology is proposed to aid in system design and evaluation of on-line bibliographic search systems. It uses multiple linear regression analysis to ascertain if there is a relationship between measures of search output (such as cost-effectiveness and cost) and input (such as the characteristics of the search—number of descriptors used, number of Boolean operators, charateristics of the req...