Author of the publication

Knowledge Representation and Reasoning in a Software Synthesis Architecture.

, and . IEEE Trans. Software Eng., 18 (6): 523-533 (1992)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Error Resilient and Energy Efficient MRF Message-Passing-Based Stereo Matching., , , and . IEEE Trans. Very Large Scale Integr. Syst., 24 (3): 897-908 (2016)Testability-oriented channel routing., , , , and . VLSI Design, page 208-213. IEEE Computer Society, (1995)Next-Generation Design and EDA Challenges: Small Physics, Big Systems, and Tall Tool-Chains.. ASP-DAC, IEEE Computer Society, (2007)Will Moore's Law rule in the land of analog?, , , , , , and . DAC, page 633. ACM, (2004)Exploiting Correlation Kernels for Efficient Handling of Intra-Die Spatial Correlation, with Application to Statistical Timing., , and . DATE, page 856-861. ACM, (2008)Stereophonic spectrogram segmentation using Markov random fields., , , and . MLSP, page 1-6. IEEE, (2012)Mixed signals on mixed-signal: the right next technology., , , , , , and . DAC, page 278-279. ACM, (2003)Statistical blockade: a novel method for very fast Monte Carlo simulation of rare circuit events, and its application., and . DATE, page 1379-1384. EDA Consortium, San Jose, CA, USA, (2007)Case studies: Chip design on the bleeding edge (panel session abstract)., , , , and . DAC, page 648. ACM, (2000)A Pixel-Parallel Virtual-Image Architecture for High Performance and Power Efficient Graph Cuts Inference., and . FPGA, page 120. ACM, (2019)