With the advent of new the RT-level design and test flows, new tools are needed to migrate at the RT-level the activities of fault simulation, testability analysis, and test pattern generation. This paper focuses on fault simulation at the RT-level, and aims at exploiting the capabilities of VHDL simulators to compute faulty responses. The simulator was implemented as a prototypical tool, and e...

Twitter is one of the most influential Online Social Networks (OSNs), adopted not only by hundreds of millions of users but also by public figures, organizations, news media, and official authorities. One of the factors contributing to this success is the inherent property of the platform for spreading news – encapsulated in short messages that are tweeted from one user to another – across the ...

Interprocess communication (IPC) provides the fundamental mechanism for the Mach microkernel to be extensible and exible. Mach IPC provides eecient communication mechanisms for many applications. However, it does not provide suucient functionality for real-time applications which have rigid timing constraints among threads. In Real-Time Mach (RT-Mach), we have extended Mach IPC to be priority i...

Technologies advanced in communication devices and wireless networks enable telecommunication network operators to provide rich personalized multimedia services. To attract potential customers and increase average revenue per customer, network operators will provide personalized services as differentiating factors in the near future. To accommodate the diversity and complexity of future network...

soybean mosaic virus (smv) which belongs to the virus family potyviridae, causes a disease in soybean that is present in soybean-growing areas of the world, and is widely distributed in northern iran. detection of smv is very important for disease management. in the present study several serological and molecular (nucleic acid- based) methods of rapid virus detection were compared. serological ...

OBJECTIVE To evaluate the utility of SNOMED RT in support of a natural language interface for encoding of clinical assessments. METHOD Using a random sample of clinical terms from the UNMC Lexicon, I mapped the terminology into canonical data entries using SNOMED RT. Working from the source term language, I evaluated lexical mapping to the SNOMED term set, and the function of the SNOMED RT se...

Capturing the system requirements and integrating them into a well balanced system architecture is a key issue in the development of reactive software systems. In this report, we explore by means of a case study how an architecture can be derived systematically for systems whose communication model is based on broadcasting. We are especially interested in two important questions: can the deriva...