{"id":"https://openalex.org/W2163490341","doi":"https://doi.org/10.1109/ipdps.2002.1016621","title":"Mechanical verification of hypercube algorithms","display_name":"Mechanical verification of hypercube algorithms","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W2163490341","doi":"https://doi.org/10.1109/ipdps.2002.1016621","mag":"2163490341"},"language":"en","primary_location":{"id":"doi:10.1109/ipdps.2002.1016621","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ipdps.2002.1016621","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 16th International Parallel and Distributed Processing Symposium","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"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/A5049310956","display_name":"Eric Gascard","orcid":"https://orcid.org/0000-0003-4332-0752"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"E. Gascard","raw_affiliation_strings":["LIM-CMI, Universit\u00e9 de Provence, Marseilles, France"],"affiliations":[{"raw_affiliation_string":"LIM-CMI, Universit\u00e9 de Provence, Marseilles, France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005395622","display_name":"Laurence Pierre","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"L. Pierre","raw_affiliation_strings":["LIM-CMI, Universit\u00e9 de Provence, Marseilles, France"],"affiliations":[{"raw_affiliation_string":"LIM-CMI, Universit\u00e9 de Provence, Marseilles, France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5049310956"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.26504588,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"23","issue":null,"first_page":"8 pp","last_page":"8 pp"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9998999834060669,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9998999834060669,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9995999932289124,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.996999979019165,"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/hypercube","display_name":"Hypercube","score":0.9321308732032776},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7641631364822388},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.6431555151939392},{"id":"https://openalex.org/keywords/intel-ipsc","display_name":"Intel iPSC","score":0.6202966570854187},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5758342146873474},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5017378330230713},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47082000970840454},{"id":"https://openalex.org/keywords/parallel-algorithm","display_name":"Parallel algorithm","score":0.45075178146362305},{"id":"https://openalex.org/keywords/signal-processing","display_name":"Signal processing","score":0.43056583404541016},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.38773494958877563},{"id":"https://openalex.org/keywords/digital-signal-processing","display_name":"Digital signal processing","score":0.1622699499130249},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1389625072479248}],"concepts":[{"id":"https://openalex.org/C50820777","wikidata":"https://www.wikidata.org/wiki/Q213723","display_name":"Hypercube","level":2,"score":0.9321308732032776},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7641631364822388},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.6431555151939392},{"id":"https://openalex.org/C199115840","wikidata":"https://www.wikidata.org/wiki/Q108649754","display_name":"Intel iPSC","level":3,"score":0.6202966570854187},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5758342146873474},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5017378330230713},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47082000970840454},{"id":"https://openalex.org/C120373497","wikidata":"https://www.wikidata.org/wiki/Q1087987","display_name":"Parallel algorithm","level":2,"score":0.45075178146362305},{"id":"https://openalex.org/C104267543","wikidata":"https://www.wikidata.org/wiki/Q208163","display_name":"Signal processing","level":3,"score":0.43056583404541016},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.38773494958877563},{"id":"https://openalex.org/C84462506","wikidata":"https://www.wikidata.org/wiki/Q173142","display_name":"Digital signal processing","level":2,"score":0.1622699499130249},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1389625072479248},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ipdps.2002.1016621","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ipdps.2002.1016621","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 16th International Parallel and Distributed Processing Symposium","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.46000000834465027}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1501195639","https://openalex.org/W1509342228","https://openalex.org/W1589918049","https://openalex.org/W1591503777","https://openalex.org/W1594100290","https://openalex.org/W1630609781","https://openalex.org/W1786072084","https://openalex.org/W2043283864","https://openalex.org/W2056427777","https://openalex.org/W2074029023","https://openalex.org/W2084991847","https://openalex.org/W2099078002","https://openalex.org/W2104852618","https://openalex.org/W4302604543","https://openalex.org/W6665273374","https://openalex.org/W6674800768","https://openalex.org/W7021319304"],"related_works":["https://openalex.org/W2495029940","https://openalex.org/W195224515","https://openalex.org/W4250003423","https://openalex.org/W2007173733","https://openalex.org/W2087725382","https://openalex.org/W2392648935","https://openalex.org/W2026686860","https://openalex.org/W4322716869","https://openalex.org/W2151713270","https://openalex.org/W2143269753"],"abstract_inverted_index":{"In":[0],"recent":[1],"times":[2],"we":[3],"have":[4,26,42,53],"seen":[5],"a":[6,55,74,100,119,122],"growing":[7],"interest":[8],"in":[9,30,79],"the":[10,31,58,68,77,91,97,105,116],"development":[11],"of":[12,33,50,61,76,81,93,99,107,118],"parallel":[13,24,101],"programs.":[14],"The":[15],"hypercube":[16],"architecture":[17],"has":[18],"been":[19,27,43],"used":[20],"extensively":[21],"and":[22,84,114],"specific":[23],"algorithms":[25],"developed":[28,54],"e.g.,":[29],"fields":[32],"computer":[34],"vision":[35],"or":[36],"signal":[37],"processing.":[38],"However":[39],"few":[40],"solutions":[41],"proposed":[44],"to":[45,96],"formally":[46],"validate":[47],"this":[48,94],"kind":[49],"program.":[51],"We":[52,89],"methodology":[56],"for":[57],"formal":[59],"verification":[60],"applications":[62],"distributed":[63],"on":[64,73],"symmetric":[65],"networks":[66,78],"like":[67],"hypercube.":[69,123],"It":[70],"is":[71],"based":[72],"representation":[75],"terms":[80],"Cayley":[82],"graphs":[83],"uses":[85,115],"theorem":[86],"proving":[87],"techniques.":[88],"describe":[90],"application":[92],"method":[95],"validation":[98],"algorithm":[102],"coming":[103],"from":[104],"area":[106],"image":[108],"processing:":[109],"it":[110],"computes":[111],"shape":[112],"numbers":[113],"embedding":[117],"ring":[120],"into":[121]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}