The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Off-the-shelf availability of human adipose-derived mesenchymal stromal cells (ASCs) for regenerative medicine application requires the development of nontoxic, safe, and efficient protocols for cryopreservation. Favorably, such cell processing protocols should not contain xenogeneic or toxic components, such as fetal bovine serum (FS) and dimethyl sulfoxide (DMSO). The objective of the study was...
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test derivation from the resulting formal specifications. Strong technological support of such a process in its engineering aspects makes it applicable to software standards of real-life complexity. This is illustrated by its application...
KVEST - Kernel VErification and Specification Technology - is based on automated test generation from formal specifications in the RAISE specification language. The technology was developed under contract with Nortel Networks. As of 1999, the methodology and toolset have been applied in three industrial project dealing with verification of large-scale telecommunication software. The first project,...
Developing an adequate set of tests also called a test suite is an important part of software development process. We faced this problem while working on mpC parallel programming language compiler. The general task was to develop a test suite for checking whether the particular compiler implementation correctly processes the programming language.
This paper presents an initiative program aimed at enhancing Linux device driver designing and maintenance by launching a long-term process that will attend the OS kernel development. This process includes two adjacent lines of activity: 1) creation and replenishment of a repository of potential faults and errors that may occur in Linux device drivers, and 2) development and improvement of special-purpose...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.