Results 251 to 260 of about 1,787,006 (286)

Generating concise assertions with complete coverage

Proceedings of the 23rd ACM international conference on Great lakes symposium on VLSI, 2013
Assertions are valuable and commonly applied to formal verification and simulation-based verification in IC design flow. Unfortunately, assertion generation is a time-consuming process that depends heavily on human efforts. Some dynamic methods based on simulation and static methods based on structure analysis are proposed to automate assertion ...
Chen-Hsuan Lin, Lingyi Liu, Shobha Vasudevan   +2 more
openaire   +1 more source

Network news: complete nuclear coverage

Nature Cell Biology, 2007
Mitosis in vertebrates involves nuclear-envelope breakdown and dispersal. On completion of chromatid segregation, disassembled nuclear-envelope components are reused to form nuclear membranes in the two daughter cells, and the endoplasmic reticulum membrane seems to make a key contribution to this process.
openaire   +1 more source

Complete Multi-Robot Coverage of Unknown Environments with Minimum Repeated Coverage

Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2006
In this paper, an algorithm for the complete multi-robot coverage of a connected space with unknown obstacles is presented. The proposed algorithm mainly operates by maintaining, as far as possible, small uncovered regions between covered areas and obstacles.
null Shuzhi Sam Ge, C. Fua
openaire   +1 more source

Complete Dental Coverage Through Postpayment and Prepayment

The Journal of the American Dental Association, 1964
The intense interest of the dental profes­ sion in developing various mechanisms for the payment of dental care would in­ dicate that its members are taking seri­ ously Article II of the American Dental Association Constitution. Object: “ The object of this Association shall be to en­ courage the improvement of the health of the public and to promote ...
openaire   +2 more sources

The complete-coverage restoration and the gingival sulcus

The Journal of Prosthetic Dentistry, 1973
Abstract There is an interrelationship between complete coverage restorations and the gingiva. The terminal margin plays an important role in maintaining gingival health. Periodontal disease is minimal with restorations which do not invade the sulcus, but the caries attack rate, retention, or esthetic requirements may compel entry into the sulcus ...
openaire   +3 more sources

Design for Testability for Complete Test Coverage

IEEE Design & Test of Computers, 1984
Some design-for-testability techniques, such as level-sensitive scan design, scan path, and scan/set, reduce test pattern generation of sequential circuits to that of combinational circuits by enhancing the controllability and/or observability of all the memory elements. However, even for combinational circuits, 100 percent test coverage of large-scale
Akira Motohara, Hideo Fujiwara
openaire   +1 more source

Planning for Complete Sensor Coverage in Inspection

Computer Vision and Image Understanding, 1995
Abstract General purpose CAD-based inspection of manufactured objects often involves comparing a model created using intensity or range images of the actual object to a tolerance reference model of the ideal object. Before this comparison is made, a sufficiently complete geometric model of the workpiece must be synthesized from sensor data.
G.H. Tarbox, S.N. Gottschlich
openaire   +1 more source

Preservation of pulp health during complete coverage procedures

The Journal of the American Dental Association, 1965
Of what value is a restoration if the result is a pulp-involved, sensitive tooth? Steps for assuring pulp protection are listed.
openaire   +2 more sources

Predicting the Completeness of Newspaper Election Coverage

Journalism Quarterly, 1972
News hole, days published and wire services used account for 47% of the variance in completeness in this study of Texas newspapers offering a multiple regression solution to an old problem.
openaire   +1 more source

Complete, Decomposition-Free Coverage Path Planning

2022 IEEE 18th International Conference on Automation Science and Engineering (CASE), 2022
Tushar Kusnur, Maxim Likhachev
openaire   +1 more source