In this paper, we present two slicing tools: VHDL_Slice and Est_slice that compute static executable slices of VHDL and Esterel programs respectively. The slicers have been tested on a number of small and medium sized examples.
Objective. To evaluate the efficacy and tolerability of a fixed-dose combination of dexketoprofen and dicyclomine (DXD) injection in patients with acute renal colic. Patients and Methods. Two hundred and seventeen patients were randomized to receive either DXD (n = 109) or fixed-dose combination of diclofenac and dicyclomine injection (DLD; n = 108),… (More)