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, 2002Verification 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
1998Publisher 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, 1985Prolog 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
2000It 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), 2016Environmental 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
A Framework for Online Document Verification Using Self-Sovereign Identity Technology
Sensors, 2022Abylay Satybaldy, Mariusz Nowostawski
exaly
Ground Test Verification Technology
2020There 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, 1985openaire +1 more source

