Results 221 to 230 of about 46,345 (266)
Some of the next articles are maybe not open access.

Predicting the Performance of SoC Verification Technologies

Proceedings VHDL International Users Forum Fall Workshop, 2002
Verification demands for system on chip (SoC) design looms as one of the most significant challenges to designers. With the substantial costs and increasing importance of system verification technologies, determining the best verification strategy is critical to SoC design and business success.
openaire   +1 more source

Environmental technology verification program verification strategy

1998
Publisher Summary The U.S. Environmental Protection Agency (EPA) has always evaluated technologies to determine their effectiveness in monitoring, preventing, controlling, and cleaning up pollution. However, numerous government and private groups have identified the lack of an organized and ongoing program to produce independent, credible performance
openaire   +1 more source

Prolog technology as a basis for verification systems

ACM SIGSOFT Software Engineering Notes, 1985
Prolog presents an interesting alternative technology to Lisp and Pascal-like languages for implementing verification systems. The AFFIRM Specification and Verification System has been partially re-implemented successfully in Prolog. Experiences and conjectures about the future role of Prolog are discussed.
openaire   +1 more source

Verification Technologies: Sampling and Identification

2000
It is commonly agreed between states parties to the biological convention that in some types of investigation to address a non-compliance concern, sampling and analysis could be very useful. This is particularly true for challenge inspections and in case of alleged use of biological weapons and unusual outbreak diseases.
Claude Eon, Henri Garrigue
openaire   +1 more source

Environmental technology verification methods

2016 International Conference on the Domestic Use of Energy (DUE), 2016
Environmental Technology Verification (ETV) is a tool that has been developed in the United States of America, Europe and many other countries around the world to help innovative environmental technologies reach the market. Claims about the performance of innovative environmental technologies can be verified by qualified third parties called ...
openaire   +1 more source

Ground Test Verification Technology

2020
There are many similarities between deep space probe and Earth orbit spacecraft in terms of environmental adaptability and environmental testing, but there are also differences between them. Especially, to adapt to the special space environment, entry environment, landing environment and the surface environment of celestial bodies in the orbiting and ...
openaire   +1 more source

Components of verification technology

ACM SIGSOFT Software Engineering Notes, 1985
openaire   +1 more source

Home - About - Disclaimer - Privacy