{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T12:52:26Z","timestamp":1726059146421},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030355395"},{"type":"electronic","value":"9783030355401"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-35540-1_7","type":"book-chapter","created":{"date-parts":[[2019,11,17]],"date-time":"2019-11-17T19:01:29Z","timestamp":1574017289000},"page":"106-121","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Improving the Analysis of GPC in Real-Time Calculus"],"prefix":"10.1007","author":[{"given":"Yue","family":"Tang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuming","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nan","family":"Guan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,11,18]]},"reference":[{"key":"7_CR1","first-page":"1","volume":"1","author":"L Thiele","year":"2002","unstructured":"Thiele, L., Chakraborty, S., Gries, M., Kunzli, S.: Design space exploration of network processor architectures. Netw. Processor Des. : Issues Pract. 1, 1\u201312 (2002)","journal-title":"Netw. Processor Des. : Issues Pract."},{"issue":"2","key":"7_CR2","first-page":"301","volume":"354","author":"E Fersman","year":"2006","unstructured":"Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci. - Tools Algorithms Constr. Anal. Syst. 354(2), 301\u2013317 (2006)","journal-title":"Theor. Comput. Sci. - Tools Algorithms Constr. Anal. Syst."},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-319-31559-1_3","volume-title":"Measurement, Modeling and Evaluation of Dependable Computer and Communication Systems","author":"S Bondorf","year":"2016","unstructured":"Bondorf, S., Schmitt, J.: Improving cross-trac bounds in feed-forward networks there is a job for everyone. In: Remke, A., Haverkort, B.R. (eds.) Measurement, Modeling and Evaluation of Dependable Computer and Communication Systems. Lecture Notes in Computer Science, vol. 9629, pp. 9\u201324. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-31559-1_3"},{"key":"7_CR4","unstructured":"Wandeler, E.: Modular performance analysis and interface-based design for embedded real-time systems. Ph.D. Thesis, Publisher, Swiss federal institute of technology Zurich (2006)"},{"key":"7_CR5","unstructured":"Chakraborty, S., Knzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: DATE, pp. 1\u20136. IEEE, Munich, Germany, Germany (2003)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Thiele, L., Chakraborty, S., Gries, M., Kunzli, S.: A framework for evaluating design tradeoffs in packet processing architectures. In: DAC, pp. 880\u2013885. IEEE, New Orleans, Louisiana, USA (2002)","DOI":"10.1145\/514135.514136"},{"key":"7_CR7","unstructured":"Chakraborty, S., Phan, L.T.X., Thiagarajan, P.S.: Event count automata: a state-based model for stream processing systems. In: RTSS, pp. 87\u201398. IEEE, Miami, FL, USA (2005)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Tang, Y., Guan, N., Liu, W.C., Phan, L.T.X., Yi, W.: Revisiting GPC and AND connector in real-time calculus. In: RTSS, pp. 1\u201310. IEEE, Paris, France (2017)","DOI":"10.1109\/RTSS.2017.00031"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Guan. N., Yi, W.: Finitary real-time calculus: efficient performance analysis of distributed embedded systems. In: RTSS, pp. 1\u201310. Vancouver, BC, Canada (2013)","DOI":"10.1109\/RTSS.2013.40"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Lampka, K., Bondorf S., Schmitt, J.B., Guan N., Yi, W.: Generalized finitary real-time calculus. In: INFOCOM, pp. 1\u20139. Atlanta, GA, USA (2017)","DOI":"10.1109\/INFOCOM.2017.8056981"},{"key":"7_CR11","unstructured":"RTC Toolbox Homepage. \nhttps:\/\/www.mpa.ethz.ch\/static\/html\/Navigation.html"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-35540-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,17]],"date-time":"2019-11-17T19:22:58Z","timestamp":1574018578000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-35540-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030355395","9783030355401"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-35540-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"18 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SETTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Dependable Software Engineering: Theories, Tools, and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Shanghai","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 November 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 November 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setta2019a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www4.comp.polyu.edu.hk\/~csguannan\/setta19\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Open","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"31% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}