In order to realize System on a Chip (SoC) designs and to meet Time to Market (TTM) window at the same time, the development of a qualification methodology is necessary because transfer of IP modules is crucial. Since design for reuse (IP) is one possibility, but requires a design to be compliant to certain guidelines. This enables a quick integration of an IP module into a system. Detailed gui...

C ompanies are increasingly using outsourced multivendor qualification services for analytical instrumentation (1). This trend and the advantages of such an approach over other available options can be explained by some historical scene setting, along with descriptions of some of the main qualification approaches available. Like many other industries, the pharmaceutical industry is highly regul...

The qualification problem may be the most fundamental difficulty in formalizing common sense knowledge in general, and in formalizing knowledge about action in particular. This position paper argues that the qualification problem is intrinsicallycomputational as opposed to representational. This does not imply that explicit, formal, knowledge has no role in the production of commonsensical beha...

By analysis of performed spatial data infrastructures (SDIs) in developed countries, it is believed that one of the most important problems which obstacles the implementation of SDI’s objectives, is the lack of enough harmony in different parts. The solution given in management systems for more adaptability is using total quality management (TQM). In this paper, we compare SDI and TQM from adva...

Titanium is a parallel programming language that presents a single global address space for all concurrent computations. To improve performance on distributed memory architectures, programmers may explicitly qualify selected references as local to a single process. This paper proposes a static inference system for automatically applying “local” qualifications wherever possible, within the const...

Formal methods tools have been shown to be effective at finding defects in and verifying the correctness of safety-critical systems, many of which require some form of certification. However, there are still many issues that must be addressed before formal verification tools can be used as part of the certification of safety-critical systems. For example, most developers of avionics systems are...

SETTING The value of microbiological criteria in diagnosing non-tuberculous mycobacteria pulmonary disease (NTM-PD) and monitoring its epidemiology is unknown. OBJECTIVES To correlate the rate of NTM-PD based on microbiological criteria (American Thoracic Society/Infectious Diseases Society of America [ATS/IDSA] or stricter microbiological criteria) compared with the full ATS/IDSA criteria, t...