Trace-driven simulation of out-of-order superscalar processors is far from straightforward. The dynamic nature of out-of-order superscalar processors combined with the static nature of traces can lead to large inaccuracies in the results when the traces contain only a subset of executed instructions for trace reduction. In this paper, we describe and comprehensively evaluate the pairwise depend...

Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be decided for interesting classes of finite processes (i.e., without replication) by means of symbolic execution and constraint solving. However, this does not suffice to obtain practical tools. Current prototypes suffer ...

In a service environment a service provider needs to determine the amount and kinds of capacity to meet customers’ needs over many periods. To make good decisions, she needs to know the probability distribution of her customers’ demand in each period. We study a situation in which customers’ demand for a given service is random in each period, but inelastic, or modeled well by this assumption, ...

Background and Objective: Serum creatinine is the most used endogenous marker of glomerular filtration rate (GFR), but it also has multiple limitations. Therefore, some surrogate GFR markers, such as beta trace protein, have been introduced for GFR estimation. The aim of our study was to estimate GFR by serum beta trace protein using three available equations and compare them to DTPA GFR as the...

We use a search procedure called content analysis to determine the benefits of RFID in the retail sector. Content analysis classifies textual material, such as academic articles, and reduces them to manageable data. We find that the key RFID retailer benefits are better management of inventory, improved security, better operational efficiency, and reduced cost. We also find the key RFID busines...

The muscarinic acetylcholine receptor is an important modulator of medial prefrontal cortex (mPFC) functions, such as the working memory required to bridge a trace interval in associative leaning. Aversive and appetitive trace conditioning procedures were used to examine the effects of scopolamine (0.1 and 0.5 mg/kg, i.p.) in male rats. Follow-up experiments tested the effects of microinfusion ...