Error-Correcting Codes for Ternary Content Addressable Memories.

Sriram C. Krishnan

Sriram C. Krishnan Rina Panigrahy Sunil Parthasarathy Error-Correcting Codes for Ternary Content Addressable Memories. 275-279 2009 58 IEEE Trans. Computers 2 https://doi.org/10.1109/TC.2008.179 http://doi.ieeecomputersociety.org/10.1109/TC.2008.179 db/journals/tc/tc58.html#KrishnanPP09

Punit Bhargava Sriram C. Krishnan Rina Panigrahy Efficient multicast on a terabit router. 61-67 2004 Hot Interconnects https://doi.org/10.1109/CONECT.2004.1375203 https://doi.ieeecomputersociety.org/10.1109/CONECT.2004.1375203 conf/hoti/2004 db/conf/hoti/hoti2004.html#BhargavaKP04 Thomas A. Henzinger Sriram C. Krishnan Orna Kupferman Freddy Y. C. Mang Synthesis of Uninitialized Systems. 644-656 2002 conf/icalp/2002 ICALP https://doi.org/10.1007/3-540-45465-9_55 db/conf/icalp/icalp2002.html#HenzingerKKM02 Sunil P. Khatri Amit Narayan Sriram C. Krishnan Kenneth L. McMillan Robert K. Brayton Alberto L. Sangiovanni-Vincentelli Engineering Change in a Non-Deterministic FSM Setting. 451-456 1996 conf/dac/1996 DAC https://doi.org/10.1145/240518.240604 db/conf/dac/dac96.html#KhatriNKMBS96 Ramin Hojati Sriram C. Krishnan Robert K. Brayton Early Quantification and Partitioned Transition Relations. 12-19 1996 conf/iccd/1996 ICCD https://doi.org/10.1109/ICCD.1996.563525 https://doi.ieeecomputersociety.org/10.1109/ICCD.1996.563525 db/conf/iccd/iccd1996.html#HojatiKB96 Sriram C. Krishnan Anuj Puri Robert K. Brayton Pravin Varaiya The Rabin Index and Chain Automata, with Applications to Automatas and Games. 253-266 1995 conf/cav/1995 CAV db/conf/cav/cav95.html#KrishnanPBV95 https://doi.org/10.1007/3-540-60045-0_55 Sriram C. Krishnan Anuj Puri Robert K. Brayton Structural Complexity of Omega-Automata. 143-156 1995 conf/stacs/1995 STACS db/conf/stacs/stacs95.html#KrishnanPB95 https://doi.org/10.1007/3-540-59042-0_69 Adnan Aziz Felice Balarin Szu-Tsung Cheng Ramin Hojati Timothy Kam Sriram C. Krishnan Rajeev K. Ranjan 0001 Thomas R. Shiple Vigyan Singhal Serdar Tasiran Huey-Yih Wang Robert K. Brayton Alberto L. Sangiovanni-Vincentelli HSIS: A BDD-Based Environment for Formal Verification. 454-459 1994 conf/dac/1994 DAC https://doi.org/10.1145/196244.196467 db/conf/dac/dac94.html#AzizBCHKKRSSTWBS94 Sriram C. Krishnan Anuj Puri Robert K. Brayton Deterministic w Automata vis-a-vis Deterministic Buchi Automata. 378-386 1994 conf/isaac/1994 ISAAC db/conf/isaac/isaac94.html#KrishnanPB94 https://doi.org/10.1007/3-540-58325-4_202 Adnan Aziz Felice Balarin Punit Bhargava Robert K. Brayton Szu-Tsung Cheng Thomas A. Henzinger Ramin Hojati Timothy Kam Sunil P. Khatri Orna Kupferman Freddy Y. C. Mang Kenneth L. McMillan Amit Narayan Rina Panigrahy Sunil Parthasarathy Anuj Puri Rajeev Ranjan 0001Rajeev K. Ranjan 0001 Alberto L. Sangiovanni-Vincentelli Thomas R. Shiple Vigyan Singhal Serdar Tasiran Pravin Varaiya Huey-Yih Wang