Results 321 to 330 of about 1,501,622 (351)
Some of the next articles are maybe not open access.
Formal Equivalence Checking and Design Debugging
, 1998Shi-Yu Huang, K. Cheng
semanticscholar +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, 2005Alfred 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, 2002Carolyn D Runowicz+2 more
exaly
American Cancer Society Guidelines for Breast Cancer Screening: Update 2003
Ca-A Cancer Journal for Clinicians, 2003Robert A Smith, Ning Wang
exaly
An enhanced cut-points algorithm in formal equivalence verification
Sixth IEEE International High-Level Design Validation and Test Workshop, 2001Z. Khasidashvili+3 more
semanticscholar +1 more source