Author of the publication

Efficient Parallel Algorithms for Anti-Unification and Relative Complement

, , , and . LICS, page 112-120. IEEE Computer Society, (1988)

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

Language Support for Adaptation: Intent-Driven Programming in FAST., , , , , , , , , and . CoRR, (2019)Energy Aware Computing through Probabilistic Switching: A Study of Limits.. IEEE Trans. Computers, 54 (9): 1123-1137 (2005)Computational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective.. Verification: Theory and Practice, volume 2772 of Lecture Notes in Computer Science, page 524-547. Springer, (2003)The Arrow of Time through the Lens of Computing.. Essays in Memory of Amir Pnueli, volume 6200 of Lecture Notes in Computer Science, page 362-369. Springer, (2010)Synthesizing Parsimonious Inexact Circuits through Probabilistic Design Techniques., , , and . ACM Trans. Embed. Comput. Syst., 12 (2s): 93:1-93:26 (2013)Compiler optimization of embedded applications for an adaptive SoC architecture., , and . CASES, page 312-322. ACM, (2006)Probabilistic system-on-a-chip architectures., , , and . ACM Trans. Design Autom. Electr. Syst., 12 (3): 29:1-29:28 (2007)A fast pruning technique for low-power inexact Circuit design., , , , , and . LASCAS, page 1-4. IEEE, (2015)Energy, Performance, and Probability Tradeoffs for Energy-Efficient Probabilistic CMOS Circuits., , and . IEEE Trans. Circuits Syst. I Regul. Pap., 55-I (8): 2249-2262 (2008)Fast Parallel Algorithms for Coloring Random Graphs., , , , and . WG, volume 570 of Lecture Notes in Computer Science, page 135-147. Springer, (1991)