Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing Probability Analysis. Lakshminarayana, G., Raghunathan, A., & Jha, N. K. In Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996, pages 336–345, 1996.
Paper doi bibtex @inproceedings{DBLP:conf/ftcs/LakshminarayanaRJ96,
author = {Ganesh Lakshminarayana and
Anand Raghunathan and
Niraj K. Jha},
title = {Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing
Probability Analysis},
booktitle = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
pages = {336--345},
year = {1996},
crossref = {DBLP:conf/ftcs/1996},
url = {https://doi.org/10.1109/FTCS.1996.534618},
doi = {10.1109/FTCS.1996.534618},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/ftcs/LakshminarayanaRJ96},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"9Bi5aowchYPMytNP8","bibbaseid":"lakshminarayana-raghunathan-jha-behavioralsynthesisoffaultsecurecontrollerdatapathsusingaliasingprobabilityanalysis-1996","downloads":0,"creationDate":"2018-06-20T07:11:31.809Z","title":"Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing Probability Analysis","author_short":["Lakshminarayana, G.","Raghunathan, A.","Jha, N. K."],"year":1996,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/74/3747.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ganesh"],"propositions":[],"lastnames":["Lakshminarayana"],"suffixes":[]},{"firstnames":["Anand"],"propositions":[],"lastnames":["Raghunathan"],"suffixes":[]},{"firstnames":["Niraj","K."],"propositions":[],"lastnames":["Jha"],"suffixes":[]}],"title":"Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing Probability Analysis","booktitle":"Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996","pages":"336–345","year":"1996","crossref":"DBLP:conf/ftcs/1996","url":"https://doi.org/10.1109/FTCS.1996.534618","doi":"10.1109/FTCS.1996.534618","timestamp":"Tue, 23 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/conf/ftcs/LakshminarayanaRJ96","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ftcs/LakshminarayanaRJ96,\n author = {Ganesh Lakshminarayana and\n Anand Raghunathan and\n Niraj K. Jha},\n title = {Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing\n Probability Analysis},\n booktitle = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium\n on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},\n pages = {336--345},\n year = {1996},\n crossref = {DBLP:conf/ftcs/1996},\n url = {https://doi.org/10.1109/FTCS.1996.534618},\n doi = {10.1109/FTCS.1996.534618},\n timestamp = {Tue, 23 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/conf/ftcs/LakshminarayanaRJ96},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Lakshminarayana, G.","Raghunathan, A.","Jha, N. K."],"key":"DBLP:conf/ftcs/LakshminarayanaRJ96","id":"DBLP:conf/ftcs/LakshminarayanaRJ96","bibbaseid":"lakshminarayana-raghunathan-jha-behavioralsynthesisoffaultsecurecontrollerdatapathsusingaliasingprobabilityanalysis-1996","role":"author","urls":{"Paper":"https://doi.org/10.1109/FTCS.1996.534618"},"downloads":0},"search_terms":["behavioral","synthesis","fault","secure","controller","datapaths","using","aliasing","probability","analysis","lakshminarayana","raghunathan","jha"],"keywords":[],"authorIDs":[],"dataSources":["QATSsZPCAGgNRpLA3"]}