Evaluation of a Newly Implemented Critical Thromboelastography (TEG) Value Callback System.
Sign Up to like & getrecommendations! Published in 2022 at "American journal of clinical pathology"
DOI: 10.1093/ajcp/aqac114
Abstract: OBJECTIVES Thromboelastography (TEG) measures whole blood coagulation kinetics in real time and is useful in guiding blood product transfusion. At our institution, providers have immediate remote access to TEG results. However, some critical values are… read more here.
Keywords: teg; callback; callback system; thromboelastography teg ... See more keywords
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Dependable and Secure Computing"
DOI: 10.1109/tdsc.2022.3178836
Abstract: Callbacks are an essential mechanism for event-driven programming. Unfortunately, callbacks make reasoning challenging because they introduce behaviors where calls to the module are interleaved. We present a parametric method that, from a particular invariant of… read more here.
Keywords: effective callback; callback freedom; callback; callback free ... See more keywords