Results 321 to 330 of about 1,501,622 (351)
Some of the next articles are maybe not open access.

High-Level Formal Equivalence

2023
Theo Drane, M. V. Achutha Kiran Kumar
openaire   +1 more source

Formalizing Object Equivalence in Machine Knitting

Correctness is a desirable property for any program, whether that program computes an equation, controls a machine, or interprets data. Defining what it means for a program to be correct can be surprisingly nuanced, however, especially when that program is used to create a physical object.
openaire   +1 more source

Embedded tutorial: formal equivalence checking between system-level models and RTL

ICCAD. IEEE/ACM International Conference on Computer-Aided Design, 2005
Alfred Kölbl, Yuan Lu, Anmol Mathur
semanticscholar   +1 more source

American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer

Ca-A Cancer Journal for Clinicians, 2002
Carolyn D Runowicz   +2 more
exaly  

American Cancer Society Guideline for Human Papillomavirus (HPV) Vaccine Use to Prevent Cervical Cancer and Its Precursors

Ca-A Cancer Journal for Clinicians, 2007
Philip E Castle   +2 more
exaly  

American Cancer Society Guidelines for Breast Cancer Screening: Update 2003

Ca-A Cancer Journal for Clinicians, 2003
Robert A Smith, Ning Wang
exaly  

An enhanced cut-points algorithm in formal equivalence verification

Sixth IEEE International High-Level Design Validation and Test Workshop, 2001
Z. Khasidashvili   +3 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy