{"id":"https://openalex.org/W1535891768","doi":"https://doi.org/10.1109/ftcs.1995.466975","title":"Towards totally self-checking delay-insensitive systems","display_name":"Towards totally self-checking delay-insensitive systems","publication_year":2002,"publication_date":"2002-11-19","ids":{"openalex":"https://openalex.org/W1535891768","doi":"https://doi.org/10.1109/ftcs.1995.466975","mag":"1535891768"},"language":"en","primary_location":{"id":"doi:10.1109/ftcs.1995.466975","doi":"https://doi.org/10.1109/ftcs.1995.466975","is_oa":true,"landing_page_url":"https://doi.org/10.1109/ftcs.1995.466975","pdf_url":null,"source":{"id":"https://openalex.org/S4306418758","display_name":"IEEE International Symposium on Fault-Tolerant Computing","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers","raw_type":"proceedings-article"},"parent_works":[],"lineage":["https://openalex.org/W1535891768"],"child_works_count":0,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1109/ftcs.1995.466975","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060281193","display_name":"S.J. Piestrak","orcid":"https://orcid.org/0000-0003-1248-106X","observed_orcids":["https://orcid.org/0000-0003-1248-106X"]},"institutions":[{"id":"https://openalex.org/I11923345","display_name":"Wroc\u0142aw University of Science and Technology","ror":"https://ror.org/008fyn775","country_code":"PL","type":"education","lineage":["https://openalex.org/I11923345"]},{"id":"https://openalex.org/I219388962","display_name":"University of Wroc\u0142aw","ror":"https://ror.org/00yae6e25","country_code":"PL","type":"education","lineage":["https://openalex.org/I219388962"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"S.J. Piestrak","raw_affiliation_strings":["Institute of Engineering Cybernetics, Technical University of Wroclaw, Wroclaw, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Engineering Cybernetics, Technical University of Wroclaw, Wroclaw, Poland","institution_ids":["https://openalex.org/I11923345","https://openalex.org/I219388962"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073211567","display_name":"Takashi Nanya","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I114531698","display_name":"Tokyo Institute of Technology","ror":"https://ror.org/0112mx960","country_code":"JP","type":"education","lineage":["https://openalex.org/I114531698","https://openalex.org/I4400009020"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"T. Nanya","raw_affiliation_strings":["Department of Computer Science, Tokyo Institute of Technology, Meguro, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Tokyo Institute of Technology, Meguro, Tokyo, Japan","institution_ids":["https://openalex.org/I114531698"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0033,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.73490473,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"228","last_page":"237"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9696999788284302,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9696999788284302,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.018400000408291817,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.004100000020116568,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/totally-self-checking-circuits","display_name":"totally self-checking circuits","score":0.9380000233650208},{"id":"https://openalex.org/keywords/quasi-delay-insensitive-circuits","display_name":"quasi-delay-insensitive circuits","score":0.9610000252723694},{"id":"https://openalex.org/keywords/asynchronous-circuits","display_name":"asynchronous circuits","score":0.8790000081062317},{"id":"https://openalex.org/keywords/permanent-faults","display_name":"permanent faults","score":0.6740000247955322},{"id":"https://openalex.org/keywords/stuck-at-faults","display_name":"stuck-at faults","score":0.9309999942779541},{"id":"https://openalex.org/keywords/self-testing","display_name":"self-testing","score":0.7400000095367432},{"id":"https://openalex.org/keywords/combinational-circuits","display_name":"combinational circuits","score":0.6570000052452087}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7727189064025879},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.7299655079841614},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.7178798913955688},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.5518397688865662},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5251926183700562},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.48756688833236694},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.4870879650115967},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4807274639606476},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.42479878664016724},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33811619877815247},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3328354060649872},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.15455886721611023},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12097716331481934},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1097627580165863},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0698990523815155},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.06151449680328369},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0606938898563385},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ftcs.1995.466975","doi":"https://doi.org/10.1109/ftcs.1995.466975","is_oa":true,"landing_page_url":"https://doi.org/10.1109/ftcs.1995.466975","pdf_url":null,"source":{"id":"https://openalex.org/S4306418758","display_name":"IEEE International Symposium on Fault-Tolerant Computing","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1109/ftcs.1995.466975","doi":"https://doi.org/10.1109/ftcs.1995.466975","is_oa":true,"landing_page_url":"https://doi.org/10.1109/ftcs.1995.466975","pdf_url":null,"source":{"id":"https://openalex.org/S4306418758","display_name":"IEEE International Symposium on Fault-Tolerant Computing","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W127812686","https://openalex.org/W1521091459","https://openalex.org/W1534774275","https://openalex.org/W1554610019","https://openalex.org/W1766829730","https://openalex.org/W1768867300","https://openalex.org/W1821179458","https://openalex.org/W2044418087","https://openalex.org/W2060139911","https://openalex.org/W2079389379","https://openalex.org/W2101189137","https://openalex.org/W2102969748","https://openalex.org/W2111426033","https://openalex.org/W2111989077","https://openalex.org/W2119497031","https://openalex.org/W2123527809","https://openalex.org/W2126590585","https://openalex.org/W2134829921","https://openalex.org/W2145435181","https://openalex.org/W2147779504","https://openalex.org/W2148713171","https://openalex.org/W2151959865","https://openalex.org/W2162443932","https://openalex.org/W2174635824"],"related_works":["https://openalex.org/W2303508476","https://openalex.org/W6946191077","https://openalex.org/W1502955189","https://openalex.org/W2033605334","https://openalex.org/W1965435226","https://openalex.org/W2139619170","https://openalex.org/W133909868","https://openalex.org/W1611231362","https://openalex.org/W7027305283","https://openalex.org/W2110887560"],"abstract_inverted_index":{"Considers":[0],"designing":[1,149],"quasi-delay-insensitive":[2],"(QDI)":[3],"combinational":[4],"circuits":[5],"(CCs),":[6],"a":[7,39,88],"class":[8],"of":[9,15,21,36,38,63,66,72,84,87,104,106,119,148],"self-timed":[10],"(asynchronous)":[11],"circuits.":[12],"The":[13,34,60,81,135],"necessity":[14],"coding":[16],"both":[17],"inputs":[18],"and":[19,71,109],"outputs":[20],"any":[22,120],"QDI":[23,40,69,77,90,121,152],"CC":[24,41,70,78],"by":[25],"using":[26],"unordered":[27],"codes":[28],"naturally":[29],"leads":[30,45],"to":[31,46,53,114],"inverter-free":[32],"realization.":[33],"analysis":[35,83],"behavior":[37,86],"with":[42,92],"input":[43],"errors":[44],"the":[47,55,67,73,85,102,116],"observation":[48],"that":[49],"it":[50],"is":[51,79,142,154],"impossible":[52],"avoid":[54],"so-called":[56],"late":[57,99],"detection":[58],"problem.":[59],"new":[61],"set":[62],"correct":[64],"definitions":[65],"code-disjoint":[68,139,151],"totally":[74],"self-checking":[75],"(TSC)":[76],"introduced.":[80],"detailed":[82],"faulty":[89],"system":[91],"internal":[93],"permanent":[94],"faults":[95],"shows":[96],"that:":[97],"(1)":[98],"detection,":[100],"(2)":[101],"possibility":[103],"occurrence":[105],"invalid":[107],"transitions,":[108],"(3)":[110],"premature":[111],"completion,":[112],"seem":[113],"be":[115],"inherent":[117],"properties":[118],"CC,":[122],"which":[123],"preclude":[124],"its":[125],"fault-secure":[126],"(hence":[127],"TSC)":[128],"implementation":[129],"for":[130],"some":[131],"single":[132],"stuck-at":[133],"faults.":[134],"first":[136],"ever":[137],"self-testing":[138,150],"completion":[140],"checker":[141],"proposed.":[143],"Finally,":[144],"an":[145],"extensive":[146],"study":[147],"CCs":[153],"presented.>":[155]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-14T11:04:58.165337","created_date":"2016-06-24T00:00:00"}