{"id":"https://openalex.org/W1978910405","doi":"https://doi.org/10.1109/grc.2005.1547378","title":"The design and application of structured types in Ptolemy II","display_name":"The design and application of structured types in Ptolemy II","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W1978910405","doi":"https://doi.org/10.1109/grc.2005.1547378","mag":"1978910405"},"language":"en","primary_location":{"id":"doi:10.1109/grc.2005.1547378","is_oa":false,"landing_page_url":"https://doi.org/10.1109/grc.2005.1547378","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2005 IEEE International Conference on Granular Computing","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/A5109344676","display_name":"Yuhong Xiong","orcid":null},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yuhong Xiong","raw_affiliation_strings":["HP Laboratories, Palo Alto, CA, USA","HP Labs, Palo ALto, CA, USA"],"affiliations":[{"raw_affiliation_string":"HP Laboratories, Palo Alto, CA, USA","institution_ids":["https://openalex.org/I1324840837"]},{"raw_affiliation_string":"HP Labs, Palo ALto, CA, USA","institution_ids":["https://openalex.org/I1324840837"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047043264","display_name":"E. Leet","orcid":null},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"E. Leet","raw_affiliation_strings":["HP Labs, 1501 Page Mill Road, Palo Alto, CA\u00a094304"],"affiliations":[{"raw_affiliation_string":"HP Labs, 1501 Page Mill Road, Palo Alto, CA\u00a094304","institution_ids":["https://openalex.org/I1324840837"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100412712","display_name":"Xiaojun Liu","orcid":"https://orcid.org/0000-0002-6324-5932"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]},{"id":"https://openalex.org/I4210155268","display_name":"Salesforce (United States)","ror":"https://ror.org/057315g56","country_code":"US","type":"company","lineage":["https://openalex.org/I4210155268"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaojun Liu","raw_affiliation_strings":["EECS Department, University of California at Berkeley, Berkeley, CA, USA","Salesforce.com, Inc., The Landmark @ One Market, Suite 300, San Francisco, CA, 94105#TAB#"],"affiliations":[{"raw_affiliation_string":"EECS Department, University of California at Berkeley, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"Salesforce.com, Inc., The Landmark @ One Market, Suite 300, San Francisco, CA, 94105#TAB#","institution_ids":["https://openalex.org/I4210155268"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101953651","display_name":"Yang Zhao","orcid":"https://orcid.org/0000-0002-7147-4276"},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]},{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yang Zhao","raw_affiliation_strings":["EECS Department, University of California at Berkeley, Berkeley, CA, USA","Google 1600 Amphitheatre Parkway, Mountain View, CA, 94043"],"affiliations":[{"raw_affiliation_string":"EECS Department, University of California at Berkeley, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"Google 1600 Amphitheatre Parkway, Mountain View, CA, 94043","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002023419","display_name":"Linling Zhong","orcid":"https://orcid.org/0009-0008-3433-8604"},"institutions":[{"id":"https://openalex.org/I4210106035","display_name":"STMicroelectronics (United States)","ror":"https://ror.org/01f8c3y78","country_code":"US","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210106035"]},{"id":"https://openalex.org/I148283060","display_name":"Lawrence Berkeley National Laboratory","ror":"https://ror.org/02jbv0t02","country_code":"US","type":"facility","lineage":["https://openalex.org/I1330989302","https://openalex.org/I148283060","https://openalex.org/I39565521"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"L.C. Zhong","raw_affiliation_strings":["STMicroelectronics Central R & D Berkeley Labs, Berkeley, CA, USA","LSI Logic, 1621 Barber Lane, Milpitas, CA 95035#TAB#"],"affiliations":[{"raw_affiliation_string":"STMicroelectronics Central R & D Berkeley Labs, Berkeley, CA, USA","institution_ids":["https://openalex.org/I4210106035","https://openalex.org/I148283060"]},{"raw_affiliation_string":"LSI Logic, 1621 Barber Lane, Milpitas, CA 95035#TAB#","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5109344676"],"corresponding_institution_ids":["https://openalex.org/I1324840837"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.19865548,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"1","issue":null,"first_page":"683","last_page":"688 Vol. 2"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10165","display_name":"Classical Antiquity Studies","score":0.9528999924659729,"subfield":{"id":"https://openalex.org/subfields/3314","display_name":"Anthropology"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10165","display_name":"Classical Antiquity Studies","score":0.9528999924659729,"subfield":{"id":"https://openalex.org/subfields/3314","display_name":"Anthropology"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13175","display_name":"Historical Astronomy and Related Studies","score":0.9423999786376953,"subfield":{"id":"https://openalex.org/subfields/3103","display_name":"Astronomy and Astrophysics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.9135000109672546,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/ptolemys-table-of-chords","display_name":"Ptolemy's table of chords","score":0.8759915828704834},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5918075442314148},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5904927849769592},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.5826849341392517},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.4720761775970459},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.45706358551979065},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38055527210235596},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3315975069999695},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2821519672870636},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.09759238362312317}],"concepts":[{"id":"https://openalex.org/C46984397","wikidata":"https://www.wikidata.org/wiki/Q7257100","display_name":"Ptolemy's table of chords","level":2,"score":0.8759915828704834},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5918075442314148},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5904927849769592},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.5826849341392517},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4720761775970459},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.45706358551979065},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38055527210235596},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3315975069999695},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2821519672870636},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09759238362312317},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/grc.2005.1547378","is_oa":false,"landing_page_url":"https://doi.org/10.1109/grc.2005.1547378","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2005 IEEE International Conference on Granular Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.89.2900","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.2900","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ptolemy.eecs.berkeley.edu/papers/05/Xiong_StructuredTypes/Xiong_StructuredTypes.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1517636450","https://openalex.org/W1532312848","https://openalex.org/W1597170585","https://openalex.org/W1969093922","https://openalex.org/W1971855334","https://openalex.org/W2005978190","https://openalex.org/W2027657506","https://openalex.org/W2100738443","https://openalex.org/W2127422214","https://openalex.org/W2132270811","https://openalex.org/W2169180789","https://openalex.org/W2294680933","https://openalex.org/W2411153393","https://openalex.org/W6635743293","https://openalex.org/W6636158803"],"related_works":["https://openalex.org/W2169180789","https://openalex.org/W2150408604","https://openalex.org/W1874620740","https://openalex.org/W2139310161","https://openalex.org/W2151899474","https://openalex.org/W2110611032","https://openalex.org/W2282895087","https://openalex.org/W2018779008","https://openalex.org/W2050278853","https://openalex.org/W2102751941","https://openalex.org/W2053860329","https://openalex.org/W2538950018","https://openalex.org/W2146811811","https://openalex.org/W2776249958","https://openalex.org/W2045927055","https://openalex.org/W2315346870","https://openalex.org/W2142707821","https://openalex.org/W2154476363","https://openalex.org/W1592788962","https://openalex.org/W398384641"],"abstract_inverted_index":{"Ptolemy":[0,129],"II":[1,130],"is":[2],"a":[3,11,54,74,128],"component-based":[4],"design":[5],"and":[6,21,27,57,76,86],"modeling":[7],"environment.":[8],"It":[9],"has":[10],"polymorphic":[12],"type":[13,37,46,55,58],"system":[14,38],"that":[15,39,132],"supports":[16],"both":[17],"the":[18,32,35,44,49,61,70,84,88,103,106,121,136,150,154],"base":[19,36,45],"types":[20,50,82,116,147],"structured":[22,41,81,98,115,124],"types,":[23,125],"such":[24],"as":[25],"arrays":[26],"records.":[28],"This":[29,140],"paper":[30],"presents":[31],"extensions":[33],"to":[34,79,83,93,148],"support":[40],"types.":[42,99],"In":[43],"system,":[47],"all":[48],"are":[51,117],"organized":[52],"into":[53],"lattice,":[56,85],"constraints":[59,92],"in":[60,153],"form":[62],"of":[63,90,97,105,123,135,145],"inequalities":[64],"can":[65],"be":[66],"solved":[67],"efficiently":[68],"over":[69],"lattice.":[71],"We":[72,100],"take":[73],"hierarchical":[75],"granular":[77],"approach":[78],"add":[80],"extend":[87],"format":[89],"inequality":[91],"allow":[94],"arbitrary":[95],"nesting":[96],"also":[101],"analyze":[102],"convergence":[104],"constraint":[107],"solving":[108],"algorithm":[109],"on":[110],"an":[111],"infinite":[112],"lattice":[113],"after":[114],"added.":[118],"To":[119],"show":[120],"application":[122],"we":[126],"present":[127],"model":[131,141],"implements":[133],"part":[134],"IEEE":[137],"802.11":[138],"specifications.":[139],"makes":[142],"extensive":[143],"use":[144],"record":[146],"represent":[149],"protocol":[151],"messages":[152],"system.":[155]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2016-06-24T00:00:00"}