scholarly journals Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP

Author(s):  
D. Drusinsky ◽  
M. Shing ◽  
K. Demir
Keyword(s):  
Run Time ◽  
1981 ◽  
Vol 45 (03) ◽  
pp. 204-207 ◽  
Author(s):  
Wolfgang Siess ◽  
Peter Roth ◽  
Peter C Weber

SummaryPlatelets have been implicated in the development of atherosclerotic and thrombotic vascular diseases. Evaluation of platelet aggregation in relation to endogenously formed compounds which affect platelet function may provide information of clinical and pharmacological relevance. We describe a method in which thromboxane B2 (TXB2) formation was analyzed following stimulation of platelet-rich plasma (PRP) with ADP, 1-epinephrine, collagen, and arachidonic acid. In addition, we determined platelet sensitivity to prostacyclin following ADP- and collagen-induced platelet aggregation. The parameters under study were found to depend on the platelet count in PRP, on the type and dose of the aggregating agent used, and on the test time after blood sampling. By standardization of these variables, a reliable method was established which can be used in clinical and pharmacological trials.


PIERS Online ◽  
2006 ◽  
Vol 2 (5) ◽  
pp. 510-513 ◽  
Author(s):  
Dmitry A. Gorodetsky ◽  
Philip A. Wilsey

10.28945/3391 ◽  
2009 ◽  
Author(s):  
Moshe Pelleh

In our world, where most systems become embedded systems, the approach of designing embedded systems is still frequently similar to the approach of designing organic systems (or not embedded systems). An organic system, like a personal computer or a work station, must be able to run any task submitted to it at any time (with certain constrains depending on the machine). Consequently, it must have a sophisticated general purpose Operating System (OS) to schedule, dispatch, maintain and monitor the tasks and assist them in special cases (particularly communication and synchronization between them and with external devices). These OSs require an overhead on the memory, on the cache and on the run time. Moreover, generally they are task oriented rather than machine oriented; therefore the processor's throughput is penalized. On the other hand, an embedded system, like an Anti-lock Braking System (ABS), executes always the same software application. Frequently it is a small or medium size system, or made up of several such systems. Many small or medium size embedded systems, with limited number of tasks, can be scheduled by our proposed hardware architecture, based on the Motorola 500MHz MPC7410 processor, enhancing its throughput and avoiding the software OS overhead, complexity, maintenance and price. Encouraged by our experimental results, we shall develop a compiler to assist our method. In the meantime we will present here our proposal and the experimental results.


2016 ◽  
Vol 5 (2) ◽  
pp. 83-91
Author(s):  
Miftafu Darussalam ◽  
Dwi Kartika Rukmi

Background: Uric acid is a final product or a waste that is resulted from the metabolism of purines. A high level of uric acid (hyperuricemia) will cause several health problems, such as vascular inflammation, smooth muscle proliferation, and vascular lesion in kidneys. The syzygium polyanthum leaves contain bioactive substances that may affect the level of uric acid in blood. Objective: This study aimed to determine the influence of boiled water of syzygium polyanthum leaves to the changes of uric acid levels in the target area of Puskesmas Pandak 1 Bantul. Methods: This study employed pre- and post-test without control group design. The population consisted of all patients with hyperuricemia in the target area of Puskesmas Pandak 1 Bantul. Sample was selected with a concecutive sampling, gaining a total number of 24 respondents. Data were analyzed with the Wilcoxon test. The dose of boiled water of syzygium polyanthum leaves intake was 0.36g/ KgBW, once a day for 14 days. Result: This research showed that the boiled water of syzygium polyanthum leaves decreased hyperuricemia (uric acid levels), along with the significancy value of 0.009 (p <0.05). At the pre-test time, the average level of uric acid reached 7.279 mg/dl, and after the treatment, it decreased to 6.76 mg/dl. Conclusion: This study has established evidence that the boiled water of syzygium polyanthum leaves is able to decrease hyperuricemia (uric acid level in blood). Keywords: syzygium polyanthum, boiled water of syzygium polyanthum leaves, hyperuricemia


Sign in / Sign up

Export Citation Format

Share Document