No abstract available.
Cited By
- Gasarch W (2021). Review of Ideas that Created the Future, ACM SIGACT News, 52:2, (10-17), Online publication date: 14-Jun-2021.
- Tracy K (2021). Software, 10.1145/3477339, Online publication date: 6-Sep-2021.
- Straubing H (2018). First-order logic and aperiodic languages, ACM SIGLOG News, 5:3, (4-20), Online publication date: 26-Jul-2018.
- Robinson M (2012). Asynchronous Logic Circuits and Sheaf Obstructions, Electronic Notes in Theoretical Computer Science (ENTCS), 283:C, (159-177), Online publication date: 15-Jun-2012.
- Maurer P (2011). Conjugate symmetry, Formal Methods in System Design, 38:3, (263-288), Online publication date: 1-Jun-2011.
- Kettle N and King A An anytime symmetry detection algorithm for ROBDDs Proceedings of the 2006 Asia and South Pacific Design Automation Conference, (243-248)
- Longo B (2004). Edmund Berkeley, Computers, and Modern Methods of Thinking, IEEE Annals of the History of Computing, 26:4, (4-18), Online publication date: 1-Oct-2004.
- Kravets V and Sakallah K Generalized symmetries in boolean functions Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design, (526-532)
- Woods S and Casinovi G Gate-level simulation of digital circuits using multi-valued Boolean algebras Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design, (413-419)
- Panda S, Somenzi F and Plessier B Symmetry detection and dynamic variable ordering of decision diagrams Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, (628-631)
- Der Tsai Lee and Se June Hong (1976). An Algorithm for Transformation of an Arbitrary Switching Function to a Completely Symmetric Function, IEEE Transactions on Computers, 25:11, (1117-1123), Online publication date: 1-Nov-1976.
- Dahlberg B (1973). On Symmetric Functions with Redundant Variables-Weighted Functions, IEEE Transactions on Computers, 22:5, (450-458), Online publication date: 1-May-1973.
- Khabra N and Das S (1973). Multiform Partial Symmetry and Linearity, IEEE Transactions on Computers, 22:8, (804-804), Online publication date: 1-Aug-1973.
- Das S and Sheng C (1971). On Detecting Total or Partial Symmetry of Switching Functions, IEEE Transactions on Computers, 20:3, (352-355), Online publication date: 1-Mar-1971.
- Rudin B A theorem on SPDT switching circuits Proceedings of the March 1-3, 1955, western joint computer conference, (129-132)
- Burkhart W Theorem minimization Proceedings of the 1952 ACM national meeting (Pittsburgh), (259-263)
Index Terms
- A symbolic analysis of relay and switching circuits
Recommendations
Analysis of power-performance for ultra-thin-body GeOI logic circuits
ISLPED '11: Proceedings of the 17th IEEE/ACM international symposium on Low-power electronics and designThis work analyzes the power-performance of the emerging Ultra-Thin-Body (UTB) GeOI devices for logic circuit applications. The impacts of temperature and Vdd scaling on the leakage/delay are studied. Compared with the subthreshold leakage dominated SOI ...
Analysis and optimization of a rateless coded joint relay system
We consider the code design for a half-duplex 4- node joint relay system with two sources, one relay, and one destination. The relay combines the information from both sources and transmits it to the destination together with both sources. We consider ...
Electronic circuits for switching-time reduction of bipolar semiconductor devices
ICC'09: Proceedings of the 13th WSEAS international conference on CircuitsBipolar semiconductor devices are often used as switches in very high power electronic circuits and systems. They have replaced the old conventional gas filled tubes and vacuum devices in many applications. This is mainly due to the fact that solid-...