Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 3 of 3
Full-Text Articles in Statistics and Probability
Deadline Analysis Of Interrupt-Driven Software, Dennis Brylow, Jens Palsberg
Deadline Analysis Of Interrupt-Driven Software, Dennis Brylow, Jens Palsberg
Mathematics, Statistics and Computer Science Faculty Research and Publications
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others). For real-time, interrupt-driven software, timely interrupt handling is part of correctness. It is vital for software verification in such systems to check that all specified deadlines for interrupt handling are met. Such verification is a daunting task because of the large number of different possible interrupt arrival scenarios. For example, for a Z86-based microcontroller, there can be up to six interrupt sources and each interrupt can arrive during any clock cycle. Verification of such systems has traditionally relied …
Modulation Of Airway Inflammation By Immunostimulatory Cpg Oligodeoxynucleotides In A Murine Model Of Allergic Aspergillosis, Banani Banerjee, Kevin J. Kelly, Jordan N. Fink, James D. Henderson Jr., Naveen K. Bansal, Viswanath P. Kurup
Modulation Of Airway Inflammation By Immunostimulatory Cpg Oligodeoxynucleotides In A Murine Model Of Allergic Aspergillosis, Banani Banerjee, Kevin J. Kelly, Jordan N. Fink, James D. Henderson Jr., Naveen K. Bansal, Viswanath P. Kurup
Mathematics, Statistics and Computer Science Faculty Research and Publications
Allergic aspergillosis is a Th2 T-lymphocyte-mediated pulmonary complication in patients with atopic asthma and cystic fibrosis. Therefore, any therapeutic strategy that selectively inhibits Th2 T-cell activation may be useful in downregulating allergic lung inflammation in asthma. In the present study, we developed a CpG oligodeoxynucleotide (ODN)-based immune intervention of allergic inflammation in a mouse model of allergic aspergillosis. Four different groups of mice were used in a short-term immunization protocol. Three experimental groups of animals (groups 1 to 3) were sensitized with Aspergillus fumigatus antigens. Animals in group 1 were immunized with A. fumigatus antigen alone, while those in group …
Gamma-Set Domination Graphs. I: Complete Biorientations Of Q-Extended Stars And Wounded Spider Graphs, Kim A. S. Factor
Gamma-Set Domination Graphs. I: Complete Biorientations Of Q-Extended Stars And Wounded Spider Graphs, Kim A. S. Factor
Mathematics, Statistics and Computer Science Faculty Research and Publications
The domination number of a graph G, γ(G), and the domination graph of a digraph D, dom(D) are integrated in this paper. The γ-set domination graph of the complete biorientation of a graph G, domγ(G) is created. All γ-sets of specific trees T are found, and dom-γ(T) is characterized for those classes.