Timing analysis of assembler code control-flow paths

Timinganalysis of assembler code is essential to achieve the strongest possible guarantee of correctness for safety-critical, real-time software. Previous work has shown how timingconstrain ts on controlflow paths through high-level language programs can be formalised using the semantics of the statements comprisingthe path. We extend these results to assembler-level code where it becomes possible to not only determine timingconstrain ts, but also to verify them against the known execution times for each instruction. A minimal formal model is developed with both a weakest liberal precondition and a strongest postcondition semantics. However, despite the formalism’s simplicity, it is shown that complex timingb ehaviour associated with instruction pipeliningand iterative code can be modelled accurately.

C-reactive protein mediates CD11b expression in monocytes through the non-receptor tyrosine kinase, Syk, and calcium mobilization but not through cytosolic peroxides

Objective: C-Reactive protein (CRP) can modulate integrin surface expression on monocytes following Fcγ receptor engagement. We have investigated the signal transduction events causing this phenotypic alteration. Methods: CRP-induced signalling events were examined in THP-1 and primary monocytes, measuring Syk phosphorylation by Western blotting, intracellular Ca2+ ([Ca2+]i) by Indo-1 fluorescence and surface expression of CD11b by flow cytometry. Cytosolic peroxides were determined by DCF fluorescence. Results: CRP induced phosphorylation of Syk and an increase in [Ca2+]i both of which were inhibitable by the Syk specific antagonist, piceatannol. Piceatannol also inhibited the CRP-induced increase in surface CD11b. In addition, pre-treatment of primary monoytes with the Ca2+ mobiliser, thapsigargin, increased CD11b expression; this effect was accentuated in the presence of CRP but was abolished in the presence of the [Ca2+]i chelator, BAPTA. CRP also increased cytosolic peroxide levels; this effect was attenuated by antioxidants (ascorbate, α-tocopherol), expression of surface CD11b not being inhibited by antioxidants alone. Conclusion: CRP induces CD11b expression in monocytes through a peroxide independent pathway involving both Syk phosphorylation and [Ca2+]i release. © Birkhäuser Verlag, 2005.

Vitamin C supplementation in normal subjects reduces constitutive ICAM-1 expression

Regulation of monocyte adhesion molecule gene expression is via redox sensitive transcription factors. We have investigated whether dietary antioxidant supplementation with vitamin C (250mg/day) can modulate monocyte ICAM-1 expression in healthy male subjects with low plasma vitamin C at baseline. In a randomised, double-blind, crossover study, monocyte ICAM-1 mRNA was analysed using quantitative reverse transcriptase PCR. Protein was determined by flow cytometry (monocytes) and ELISA (plasma). Monocyte numbers were unaltered by supplementation. Subjects with low plasma vitamin C (<50μM) prior to supplementation expressed higher levels of monocyte ICAM-1mRNA, and showed a significant (50%) reduction in ICAM-1mRNA expression after 6 weeks of 250mg/day vitamin C supplementation (p<0.05). This was paralleled by a reduction in sICAM-1 (p<0.05). For the first time, these results show that dietary vitamin C can modulate monocyte ICAM-1 gene expression in vivo, where regulation of gene expression represents a novel mechanism for benefit from dietary antioxidants. © 2003 Elsevier Inc. All rights reserved.

Dietary supplementation with vitamin C but not vitamin E reduces constitutive expression of ICAM-1 in peripheral blood monocytes of normal subjects with low plasma vitamin C levels

Monocytes play a central role in inflammatory responses through systemic antigen presentation and cytokine secretion. Regulation of monocyte adhesion molecule and inflammatory gene expression is via redox sensitive transcription factors. Therefore we have investigated the hypothesis that dietary antioxidant supplementation with vitamins C (250mg/d) or E (400iU/d) for six weeks can modulate monocyte ICAM-1 expression in healthy male subjects with low plasma vitamin C at baseline. In a randomised, double-blind, crossover study, ICAM-1 mRNA and protein was analysed using quantitative RTPCR with ELISA measurement of PCR products and by flow cytometry and ELISA respectively. Monocyte numbers were unaltered by supplementation. Subjects with low plasma vitamin C (<50uM) prior to supplementation expressed higher levels of monocyte ICAM-1 mRNA, and showed a significant (50%) reduction in ICAM-1 mRNA expression after 6 weeks of 250mg/d vitamin C supplementation compared to subjects with normal plasma vitamin C. This was paralleled by a reduction in plasma sICAM-1. Vitamin E supplementation had no effect on ICAM-1 expression. For the first time, these results show that dietary vitamin C can modulate monocyte ICAM-1 gene expression in vivo, where regulation of gene expression represents a novel mechanism for benefit from dietary antioxidants.

Direct modulatory effect of C-reactive protein on primary human monocyte adhesion to human endothelial cells

C-reactive protein (CRP) is the prototypic acute phase serum protein in humans. The effects of CRP on primary human monocyte adhesion molecule expression and interaction with the endothelium have not been studied. Herein, we describe an investigation into the phenotypic and functional consequences of CRP binding to peripheral blood monocytes ex vivo. Peripheral whole blood was collected from healthy, non-smoking males. Mononuclear cells (MNC) and monocytes were isolated by differential centrifugation using lymphoprep and Dynal negative isolation kit, respectively. Cells were exposed to CRP from 0 to 250 μg/ml for 0-60 min at 37°C and analysed for (a) CD11b, PECAM-1 (CD31) and CD32 expression by flow cytometry and (b) adhesion to LPS (1 μg/ml; 0-24 h) treated human umbilical vein endothelial cells (HUVEC). CD14+ monocyte expression of CD11b increased significantly up to twofold when exposed to CRP, compared to controls. There was no significant difference in CD32 expression, whereas CD31 expression decreased after exposure to CRP. CRP treatment of monocytes inhibited their adhesion to early LPS-activated HUVEC (0-5 h). However, the adhesion of CRP-treated monocytes to HUVEC was significantly greater to late activation antigens on HUVEC (24 h, LPS) compared to controls. We have shown that CRP can affect monocyte activation ex vivo and induce phenotypic changes that result in an altered recruitment to endothelial cells. This study provides the first evidence for a further role for C-reactive protein in both monocyte activation and adhesion, which may be of importance during an inflammatory event.

Determination of Coniothyrium minitans conidial and germling lectin avidity by flow cytometry and digital microscopy

The avidity of conidia and 48-h-old germlings of Coniothyrium minitans for FITC-conjugated lectins was characterised by flow cytometry and digital microscopy. Six isolates of C. minitans representing three morphological types were compared. Binding of Con A, SBA and WGA by conidial populations varied markedly in extent and pattern between isolates, however, with increasing culture age, conidia from all isolates demonstrated a significant reduction in lectin avidity. Germling isolates bound significantly different amounts of lectins and lectin binding differed significantly with locality. Spore walls of all germlings from all isolates bound more ConA compared with hyphal apices and mature hyphal walls. In contrast, hyphal apices of the majority of germling isolates, readily bound SBA and mature hyphal walls of germling isolates bound more WGA than other regions of the germlings. Such differential lectin binding by conidia and germlings may influence their specific surface interactions and adherence characteristics.