( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Commercial Design Verification: Methodology and Tools.

, , , , , , , , , и . ITC, стр. 839-848. IEEE Computer Society, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Calum Burns

Barbara Burns

Nicola Burns

Glen Burns

John Burns

 

Другие публикации лиц с тем же именем

Adaptive cutaways for comprehensible rendering of polygonal scenes., и . ACM Trans. Graph., 27 (5): 154 (2008)Using Subsystem MT2 for Complete Mass Determinations in Decay Chains with Missing Energy at Hadron Colliders, , , и . JHEP, (2009)Commercial Design Verification: Methodology and Tools., , , , , , , , , и . ITC, стр. 839-848. IEEE Computer Society, (1996)Exaggerated shading for depicting shape and detail., , и . ACM Trans. Graph., 25 (3): 1199-1205 (2006)Graph Coloring Algorithms for Fast Evaluation of Curtis Decompositions., , , , и . DAC, стр. 225-230. ACM Press, (1999)A system for high-volume acquisition and matching of fresco fragments: reassembling Theran wall paintings., , , , , , , , и . ACM Trans. Graph., 27 (3): 84 (2008)An Efficient Approach to Decomposition of Multi-Output Boolean Functions with Large Sets of Bound Variables., , и . EUROMICRO, стр. 10016-10023. IEEE Computer Society, (1998)Feature Emphasis and Contextual Cutaways for Multimodal Medical Visualization., , , , и . EuroVis, стр. 275-282. Eurographics Association, (2007)An Efficient Logic Equivalence Checker for Industrial Circuits., , , и . J. Electron. Test., 16 (1-2): 91-106 (2000)Line drawings from volume data., , , , и . ACM Trans. Graph., 24 (3): 512-518 (2005)