{"id":"https://openalex.org/W2028135642","doi":"https://doi.org/10.1145/1148109.1148149","title":"An implementation report for parallel triangular decompositions","display_name":"An implementation report for parallel triangular decompositions","publication_year":2006,"publication_date":"2006-07-30","ids":{"openalex":"https://openalex.org/W2028135642","doi":"https://doi.org/10.1145/1148109.1148149","mag":"2028135642"},"language":"en","primary_location":{"id":"doi:10.1145/1148109.1148149","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1148109.1148149","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures","raw_type":"proceedings-article"},"type":"conference-paper","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/A5081832433","display_name":"Marc Moreno Maza","orcid":"https://orcid.org/0000-0003-3011-0756"},"institutions":[{"id":"https://openalex.org/I125749732","display_name":"Western University","ror":"https://ror.org/02grkyz14","country_code":"CA","type":"education","lineage":["https://openalex.org/I125749732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Marc Moreno Maza","raw_affiliation_strings":["University of Western Ontario (UWO), London, Ontario, Canada","University of Western Ontario (UWO), London, Ontario, Canada#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Western Ontario (UWO), London, Ontario, Canada","institution_ids":["https://openalex.org/I125749732"]},{"raw_affiliation_string":"University of Western Ontario (UWO), London, Ontario, Canada#TAB#","institution_ids":["https://openalex.org/I125749732"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100547215","display_name":"Yuzhen Xie","orcid":null},"institutions":[{"id":"https://openalex.org/I125749732","display_name":"Western University","ror":"https://ror.org/02grkyz14","country_code":"CA","type":"education","lineage":["https://openalex.org/I125749732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yuzhen Xie","raw_affiliation_strings":["University of Western Ontario (UWO), London, Ontario, Canada","University of Western Ontario (UWO), London, Ontario, Canada#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Western Ontario (UWO), London, Ontario, Canada","institution_ids":["https://openalex.org/I125749732"]},{"raw_affiliation_string":"University of Western Ontario (UWO), London, Ontario, Canada#TAB#","institution_ids":["https://openalex.org/I125749732"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I125749732"],"apc_list":null,"apc_paid":null,"fwci":0.2944,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.45817646,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"235","last_page":"235"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.6207783222198486},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6199497580528259},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6093066930770874},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5108091831207275},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.47739142179489136},{"id":"https://openalex.org/keywords/algebraic-geometry","display_name":"Algebraic geometry","score":0.4759249985218048},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.44687020778656006},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44496631622314453},{"id":"https://openalex.org/keywords/set-operations","display_name":"Set operations","score":0.42373234033584595},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.4106253981590271},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.36369985342025757},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3211742639541626},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28900474309921265},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1492987871170044},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11763641238212585}],"concepts":[{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.6207783222198486},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6199497580528259},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6093066930770874},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5108091831207275},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.47739142179489136},{"id":"https://openalex.org/C68363185","wikidata":"https://www.wikidata.org/wiki/Q180969","display_name":"Algebraic geometry","level":2,"score":0.4759249985218048},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.44687020778656006},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44496631622314453},{"id":"https://openalex.org/C2777168461","wikidata":"https://www.wikidata.org/wiki/Q42196253","display_name":"Set operations","level":3,"score":0.42373234033584595},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.4106253981590271},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36369985342025757},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3211742639541626},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28900474309921265},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1492987871170044},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11763641238212585},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1148109.1148149","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1148109.1148149","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W156837945","https://openalex.org/W399280277","https://openalex.org/W2120467997","https://openalex.org/W2150489476","https://openalex.org/W2313060951"],"related_works":["https://openalex.org/W1987895267","https://openalex.org/W2350519135","https://openalex.org/W2390619334","https://openalex.org/W2052190160","https://openalex.org/W2083550283","https://openalex.org/W2375327612","https://openalex.org/W2491835820","https://openalex.org/W4292003887","https://openalex.org/W2365099857","https://openalex.org/W1895124089"],"abstract_inverted_index":{"Since":[0],"the":[1,6,88,104,120,128,147,164,180,187,208,223,234,254,257,265,292,313,321,325,389,397,401,436,468,480,520],"discovery":[2],"of":[3,27,43,58,61,87,100,133,163,189,198,238,256,264,276,291,315,324,409,438,454,512,522,524],"Gr\u00f6bner":[4,73],"bases,":[5],"algorithmic":[7,30],"advances":[8],"in":[9,20,51,116,186,243,274,417,448,472],"Commutative":[10],"Algebra":[11],"have":[12,474,529],"made":[13],"possible":[14],"to":[15,71,91,118,127,140,155,171,175,206,327,333,342,345,377,382],"tackle":[16],"many":[17],"classical":[18],"problems":[19],"Algebraic":[21],"Geometry":[22],"that":[23,167,263,516],"were":[24],"previously":[25],"out":[26],"reach.":[28],"However,":[29,222,329,506],"progress":[31],"is":[32,69,109,233,268,271,299,339,441],"still":[33],"desirable,":[34],"for":[35,219,284,295,304,350,443,479,546],"instance":[36],"when":[37,426,527],"solving":[38,148,165,199,255,427,521],"symbolically":[39],"a":[40,49,195,272,288,301,412,428,433,445,449,476,495,531,535,543],"large":[41,378],"system":[42,211,326,431],"algebraic":[44],"non-linear":[45],"equations.":[46],"For":[47,252,392],"such":[48,78,225,515],"system,":[50,107,396],"particular":[52],"if":[53],"its":[54,138],"solution":[55],"set":[56,99],"consists":[57],"geometric":[59],"components":[60,90,405],"different":[62,89],"dimension":[63],"(points,":[64],"curves,":[65],"surfaces,":[66],"etc)":[67],"it":[68,517],"necessary":[70],"combine":[72],"bases":[74],"with":[75,356,457],"decomposition":[76],"techniques,":[77],"as":[79,241],"triangular":[80,190,296],"decompositions.":[81,297],"Ideally,":[82],"one":[83,267],"would":[84,168],"like":[85],"each":[86,507],"be":[92,169,334,364,373,421],"produced":[93],"by":[94,406,466,494,503],"an":[95,160,280,393],"independent":[96],"processor,":[97],"or":[98,403],"processors.":[101],"In":[102,424],"practice,":[103],"input":[105,209,352,394],"polynomial":[106,200,210,353,395,430,455],"which":[108,193,227],"hiding":[110],"those":[111],"components,":[112],"requires":[113],"some":[114,351,523,547],"transformations":[115],"order":[117,381,408],"split":[119,207],"computations":[121,294],"into":[122,212],"sub-systems":[123],"and,":[124,214],"then,":[125],"lead":[126],"desired":[129],"components.":[130],"The":[131,452,539],"efficiency":[132],"this":[134,270],"approach":[135,247],"depends":[136],"on":[137,309,320,388,534],"ability":[139],"detect":[141],"and":[142,492],"exploit":[143],"geometrical":[144,157,310],"information":[145,514],"during":[146],"process.Our":[149],"work":[150],"addresses":[151],"two":[152],"questions:":[153],"How":[154,174],"discover":[156],"information,":[158],"at":[159,484],"early":[161],"stage":[162],"process,":[166],"favorable":[170],"parallel":[172,220,306,450,477],"execution?":[173],"ensure":[176],"load":[177,337,384],"balancing":[178,338,385],"among":[179],"processors?":[181],"We":[182],"answer":[183],"these":[184,439,464,525],"questions":[185],"context":[188],"decompositions":[191],"[2]":[192],"are":[194,216,490,500],"popular":[196],"way":[197],"systems":[201,456],"symbolically.":[202],"These":[203],"methods":[204],"tend":[205],"subsystems":[213],"therefore,":[215],"natural":[217,302],"candidate":[218,303],"implementation.":[221],"only":[224],"method":[226],"has":[228],"been":[229],"parallelized":[230],"so":[231],"far":[232],"Characteristic":[235],"Set":[236],"Method":[237],"Wu":[239],"[5],":[240],"reported":[242],"[1,":[244],"6].":[245],"This":[246],"suffers":[248],"from":[249,463],"several":[250,330],"limitations.":[251],"instance,":[253],"second":[258],"component":[259],"cannot":[260],"start":[261],"before":[262],"first":[266],"completed;":[269],"limitation":[273],"view":[275],"coarse-grain":[277,305],"parallelization.In":[278],"[4]":[279],"algorithm,":[281,482],"called":[282],"Triade,":[283],"TRIAngular":[285],"DEcompositions,":[286],"provides":[287],"good":[289,446],"management":[290],"intermediate":[293,379,402],"It":[298],"also":[300,461],"implementation":[307,533],"based":[308],"considerations;":[311],"indeed":[312],"number":[314,437],"working":[316],"processors":[317],"can":[318,372,420,460,518],"depend":[319],"intrinsic":[322],"difficulty":[323],"solve.":[328],"challenges":[331],"remain":[332],"considered.":[335],"First,":[336],"very":[340,374],"difficult":[341],"control":[343],"due":[344,376],"irregular":[346],"tasks.":[347],"Even":[348],"worse:":[349],"systems,":[354],"especially":[355],"integer":[357,458],"coefficients,":[358],"resource":[359],"consuming":[360],"tasks":[361,415,440,499],"may":[362],"not":[363],"necessarily":[365],"executed":[366],"concurrently.":[367,423],"Second,":[368],"data":[369,486],"communication":[370,487],"overhead":[371],"heavy":[375],"results.In":[380],"achieve":[383],"we":[386],"rely":[387],"following":[390],"facts.":[391],"Triade":[398,481],"algorithm":[399],"generates":[400],"output":[404],"decreasing":[407],"dimension.":[410],"As":[411],"consequence,":[413],"expensive":[414],"(those":[416],"lower":[418],"dimension)":[419],"processed":[422],"addition,":[425],"(non-trivial)":[429],"modulo":[432],"prime":[434],"integer,":[435],"sufficient":[442],"expecting":[444],"speed-up":[447,545],"execution.":[451],"case":[453],"coefficients":[459],"benefit":[462],"features":[465],"using":[467],"modular":[469],"techniques":[470],"introduced":[471],"[3].We":[473],"developed":[475],"scheme":[478],"aiming":[483],"minimizing":[485],"overhead.":[488],"Tasks":[489],"scheduled":[491],"updated":[493],"process":[496,504,508],"manager.":[497],"Individual":[498],"solved":[501],"\"lazily\"":[502],"workers.":[505],"worker":[509],"keeps":[510],"track":[511],"enough":[513],"continue":[519],"tasks,":[526],"needed.We":[528],"realized":[530],"preliminary":[532],"shared":[536],"memory":[537],"multiprocessor.":[538],"experimental":[540],"results":[541],"show":[542],"satisfactory":[544],"well-known":[548],"problems.":[549]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}