{"id":"https://openalex.org/W2043609748","doi":"https://doi.org/10.1145/1143394.1143395","title":"Application semantic driven assertions toward fault tolerant computing","display_name":"Application semantic driven assertions toward fault tolerant computing","publication_year":2006,"publication_date":"2006-06-01","ids":{"openalex":"https://openalex.org/W2043609748","doi":"https://doi.org/10.1145/1143394.1143395","mag":"2043609748"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://dl.acm.org/doi/pdf/10.1145/1147991.1143395","pdf_url":null,"source":{"id":"https://openalex.org/S134936796","display_name":"Ubiquity","issn_l":"1530-2180","issn":["1530-2180"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041660325","display_name":"Goutam Saha","orcid":"https://orcid.org/0000-0003-0679-5855"},"institutions":[{"id":"https://openalex.org/I1331500379","display_name":"Centre for Development of Advanced Computing","ror":"https://ror.org/022abst40","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1331500379","https://openalex.org/I4210121746"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Goutam Kumar Saha","raw_affiliation_strings":["Scientist-F, Centre for Development of Advanced Computing, Kolkata, West Bengal, India"],"affiliations":[{"raw_affiliation_string":"Scientist-F, Centre for Development of Advanced Computing, Kolkata, West Bengal, India","institution_ids":["https://openalex.org/I1331500379"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5041660325"],"corresponding_institution_ids":["https://openalex.org/I1331500379"],"apc_list":null,"apc_paid":null,"fwci":3.437,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.802796,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":84,"max":85},"biblio":{"volume":"2006","issue":null,"first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9907,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9879,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/software-fault-tolerance","display_name":"Software fault tolerance","score":0.5630061}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8592391},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.61725694},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.5630061},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.5164485},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4918573},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.48891178},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4675815},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34164193},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.33478165},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3212651},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://dl.acm.org/doi/pdf/10.1145/1147991.1143395","pdf_url":null,"source":{"id":"https://openalex.org/S134936796","display_name":"Ubiquity","issn_l":"1530-2180","issn":["1530-2180"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":20,"referenced_works":["https://openalex.org/W1821730155","https://openalex.org/W1917278001","https://openalex.org/W1918139186","https://openalex.org/W1968054699","https://openalex.org/W1970332360","https://openalex.org/W1979077136","https://openalex.org/W1982570373","https://openalex.org/W1997529477","https://openalex.org/W2001222070","https://openalex.org/W2011379307","https://openalex.org/W2016372239","https://openalex.org/W2034620390","https://openalex.org/W2083613288","https://openalex.org/W2120796430","https://openalex.org/W2123801679","https://openalex.org/W2129360963","https://openalex.org/W2142689011","https://openalex.org/W2145930995","https://openalex.org/W2295968493","https://openalex.org/W2637089659"],"related_works":["https://openalex.org/W845090218","https://openalex.org/W72468484","https://openalex.org/W619578512","https://openalex.org/W2950076215","https://openalex.org/W2898146635","https://openalex.org/W2185795398","https://openalex.org/W2184556922","https://openalex.org/W2153527039","https://openalex.org/W2151474392","https://openalex.org/W2120796430","https://openalex.org/W2104847466","https://openalex.org/W2066524634","https://openalex.org/W2052008611","https://openalex.org/W2027421525","https://openalex.org/W2017396587","https://openalex.org/W2007796528","https://openalex.org/W1982570373","https://openalex.org/W184442488","https://openalex.org/W1794292432","https://openalex.org/W1573156868"],"abstract_inverted_index":{"Based":[0],"on":[1,85,105,184,198],"semantics":[2,93],"of":[3,17,24,94,131,140,177,193],"an":[4,18,95,106,132,169],"application":[5,19,133],"processing":[6,38],"logic,":[7],"we":[8,21,35],"find":[9],"out":[10],"the":[11,29,37,92,153,173],"most":[12],"critical":[13],"and":[14,20,34,128,138,163,175,219],"sensitive":[15],"parts":[16],"derive":[22],"set":[23],"conditions":[25],"or":[26,48,149,159,179],"assertions":[27,87],"among":[28],"various":[30,46,86,216],"diagnostic":[31,98],"checkpoint":[32],"variables":[33],"enhance":[36],"logic":[39],"to":[40,43,114,207,224],"enable":[41],"it":[42],"detect":[44,225],"run-time":[45,217],"operational":[47,180],"environmental":[49],"faults":[50,160],"toward":[51],"fault":[52,66],"tolerant":[53],"computing.":[54],"This":[55,109,202,212],"paper":[56],"examines":[57],"how":[58],"a":[59,77,185,194],"single-version":[60],"algorithm":[61,81,170],"can":[62],"establish":[63],"software":[64,72,183,195,209],"based":[65,73,104],"tolerance":[67],"by":[68,189],"designing":[69],"in":[70,76,161,182,222],"thoughtful":[71],"execution-time":[74],"checks":[75],"computing":[78],"application.":[79,96],"The":[80,166],"developed":[82],"here":[83],"relies":[84],"that":[88,171],"are":[89],"derived":[90,103],"from":[91],"Various":[97],"assertive":[99],"checkpoints":[100,127],"have":[101,123],"been":[102,124],"application's":[107],"semantics.":[108],"work":[110],"is":[111],"not":[112,205],"intended":[113],"correct":[115],"bit-errors":[116],"using":[117,190],"conventional":[118],"error":[119],"correction":[120],"codes.":[121],"Errors":[122],"detected":[125],"through":[126],"periodical":[129],"execution":[130],"with":[134,143],"known":[135,144],"test":[136],"data":[137,162],"verification":[139],"observed":[141],"result":[142,145],"thereof.":[146],"Electrical":[147],"transients":[148],"small":[150],"particles":[151],"hitting":[152],"circuit,":[154],"often":[155],"cause":[156],"random":[157],"errors":[158],"program":[164,196],"flow.":[165],"manuscript":[167],"describes":[168],"allows":[172],"detection":[174],"recovery":[176],"transient":[178],"failures":[181],"specific":[186],"problem,":[187],"just":[188,199],"one":[191,200],"version":[192],"running":[197],"machine.":[201],"approach":[203,214],"does":[204],"aim":[206],"tolerate":[208],"design":[210],"bugs.":[211],"algorithmic":[213],"uses":[215],"signatures":[218],"validation":[220],"thereof":[221],"order":[223],"faults.":[226]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2043609748","counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2024-12-14T17:47:45.888862","created_date":"2016-06-24"}