{"id":"https://openalex.org/W1491028338","doi":"https://doi.org/10.3233/978-1-60750-774-1-273","title":"The Computation Time Process Model","display_name":"The Computation Time Process Model","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W1491028338","doi":"https://doi.org/10.3233/978-1-60750-774-1-273","mag":"1491028338"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-60750-774-1-273","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-60750-774-1-273","pdf_url":null,"source":{"id":"https://openalex.org/S4306463470","display_name":"IOS Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Concurrent Systems Engineering Series","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/11250/260584","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Korsgaard Martin","orcid":null},"institutions":[{"id":"https://openalex.org/I204778367","display_name":"Norwegian University of Science and Technology","ror":"https://ror.org/05xg72x27","country_code":"NO","type":"education","lineage":["https://openalex.org/I204778367"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"Korsgaard Martin","raw_affiliation_strings":["Norwegian Univ. of Sci. and Tech"],"affiliations":[{"raw_affiliation_string":"Norwegian Univ. of Sci. and Tech","institution_ids":["https://openalex.org/I204778367"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036737353","display_name":"Sverre Hendseth","orcid":null},"institutions":[{"id":"https://openalex.org/I204778367","display_name":"Norwegian University of Science and Technology","ror":"https://ror.org/05xg72x27","country_code":"NO","type":"education","lineage":["https://openalex.org/I204778367"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Hendseth Sverre","raw_affiliation_strings":["Norwegian University of Science and Technology, Trondheim, Norway"],"affiliations":[{"raw_affiliation_string":"Norwegian University of Science and Technology, Trondheim, Norway","institution_ids":["https://openalex.org/I204778367"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I204778367"],"apc_list":null,"apc_paid":null,"fwci":0.9012,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.75302826,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"273","last_page":"286"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9959999918937683,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9940000176429749,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5592496395111084},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5431567430496216},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.505111038684845},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.15006235241889954},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07719039916992188}],"concepts":[{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5592496395111084},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5431567430496216},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.505111038684845},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.15006235241889954},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07719039916992188}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/978-1-60750-774-1-273","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-60750-774-1-273","pdf_url":null,"source":{"id":"https://openalex.org/S4306463470","display_name":"IOS Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Concurrent Systems Engineering Series","raw_type":"book-chapter"},{"id":"pmh:oai:ntnuopen.ntnu.no:11250/260584","is_oa":true,"landing_page_url":"http://hdl.handle.net/11250/260584","pdf_url":"http://hdl.handle.net/11250/260584","source":{"id":"https://openalex.org/S4306401716","display_name":"Duo Research Archive (University of Oslo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184942183","host_organization_name":"University of Oslo","host_organization_lineage":["https://openalex.org/I184942183"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"273-286","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"mag:1491028338","is_oa":false,"landing_page_url":"http://www.wotug.org/papers/CPA-2011/KorsgaardHendseth11/KorsgaardHendseth11.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306417914","display_name":"Communicating Process Architectures","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Communicating Process Architectures","raw_type":null}],"best_oa_location":{"id":"pmh:oai:ntnuopen.ntnu.no:11250/260584","is_oa":true,"landing_page_url":"http://hdl.handle.net/11250/260584","pdf_url":"http://hdl.handle.net/11250/260584","source":{"id":"https://openalex.org/S4306401716","display_name":"Duo Research Archive (University of Oslo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184942183","host_organization_name":"University of Oslo","host_organization_lineage":["https://openalex.org/I184942183"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"273-286","raw_type":"info:eu-repo/semantics/bookPart"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6899999976158142}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1491028338.pdf","grobid_xml":"https://content.openalex.org/works/W1491028338.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W112812767","https://openalex.org/W1495187534","https://openalex.org/W1571487936","https://openalex.org/W1996275534","https://openalex.org/W2043803173","https://openalex.org/W2076285066","https://openalex.org/W2107451471","https://openalex.org/W2110425399","https://openalex.org/W2115392544","https://openalex.org/W2116581888","https://openalex.org/W2129384397","https://openalex.org/W2132215926","https://openalex.org/W2156835553","https://openalex.org/W3144368627"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"In":[0,63],"traditional":[1],"real-time":[2],"multiprocessor":[3],"schedulability":[4,40,184],"analysis":[5,185],"it":[6,86],"is":[7,21,49,110,177],"required":[8],"that":[9,17,131,139,166],"all":[10,30,116,153],"tasks":[11],"are":[12,120,132,167],"entirely":[13],"serial.":[14],"This":[15],"implies":[16],"if":[18,143],"a":[19,24,59,89,162,178,182],"task":[20,34],"written":[22],"in":[23,32,52,115,169],"parallel":[25,61,124,191],"language":[26],"such":[27,78,156],"as":[28],"occam,":[29],"parallelism":[31],"the":[33,44,50,74,99,147],"must":[35],"be":[36,92,113],"suppressed":[37],"to":[38,91,94,112,134],"enable":[39],"analysis.":[41],"Part":[42],"of":[43,56,77,101,150,164,186],"reason":[45],"for":[46,71,88,181],"this":[47,64,81,170,175],"restriction":[48],"difficulty":[51],"analysing":[53],"execution":[54,105],"times":[55],"programs":[57],"with":[58,188],"complex":[60],"structure.":[62,125,192],"paper":[65,176],"we":[66,83,160],"introduce":[67],"an":[68,122,189],"abstract":[69],"model":[70],"reasoning":[72],"about":[73],"temporal":[75,108],"properties":[76],"programs.":[79],"Within":[80],"model,":[82],"define":[84],"what":[85],"means":[87],"process":[90],"easier":[93],"schedule":[95],"than":[96,146],"another,":[97],"and":[98,159],"notion":[100],"upper":[102],"bounds":[103],"on":[104,136],"times.":[106],"Counterintuitive":[107],"behaviour":[109],"demonstrated":[111],"inherent":[114],"systems":[117,187],"where":[118],"processes":[119,130,154,165],"allowed":[121],"arbitrary":[123,190],"For":[126],"example,":[127],"there":[128],"exist":[129],"guaranteed":[133],"complete":[135,142,183],"some":[137],"schedule,":[138],"may":[140],"not":[141],"executing":[144],"less":[145],"expected":[148],"amount":[149],"computation.":[151],"Not":[152],"exhibit":[155],"counterintuitive":[157],"behaviour,":[158],"identify":[161],"subset":[163],"well-behaved":[168],"respect.":[171],"The":[172],"results":[173],"from":[174],"necessary":[179],"prerequisite":[180]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2016-06-24T00:00:00"}