乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T20:45:42Z","timestamp":1730321142259,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T00:00:00Z","timestamp":1559433600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,2]]},"DOI":"10.1145\/3316781.3323469","type":"proceedings-article","created":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T18:07:13Z","timestamp":1558634833000},"page":"1-4","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Actors Revisited for Time-Critical Systems"],"prefix":"10.1145","author":[{"given":"Marten","family":"Lohstroh","sequence":"first","affiliation":[{"name":"UC Berkeley, USA"}]},{"given":"Martin","family":"Schoeberl","sequence":"additional","affiliation":[{"name":"TU Denmark, Denmark"}]},{"given":"Andr\u00e9s","family":"Goens","sequence":"additional","affiliation":[{"name":"TU Dresden, Germany"}]},{"given":"Armin","family":"Wasicek","sequence":"additional","affiliation":[{"name":"Avast, USA"}]},{"given":"Christopher","family":"Gill","sequence":"additional","affiliation":[{"name":"Washington Univ., St. Louis, USA"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen Univ., Sweden"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[{"name":"UC Berkeley, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Concurrent programming in Erlang","author":"Armstrong J.","year":"1996","unstructured":"Armstrong , J. , Virding , R. , Wikstr\u00f6m , C. , and Williams , M . Concurrent programming in Erlang , second ed. Prentice Hall , 1996 . Armstrong, J., Virding, R., Wikstr\u00f6m, C., and Williams, M. Concurrent programming in Erlang, second ed. Prentice Hall, 1996."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462184"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/WORDS.2003.1267505"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30793-5_16"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2012.6404194"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1624775.1624804"},{"key":"e_1_3_2_1_7_1","first-page":"345","volume-title":"Further Akka Actors","author":"Hunt J.","year":"2018","unstructured":"Hunt , J. Further Akka Actors . Springer International Publishing , Cham , 2018 , pp. 345 -- 360 . Hunt, J. Further Akka Actors. Springer International Publishing, Cham, 2018, pp. 345--360."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.07.005"},{"key":"e_1_3_2_1_9_1","volume-title":"System Design, Modeling, and Simulation using Ptolemy II","author":"Lee E. A.","year":"2014","unstructured":"Lee , E. A. , Liu , J. , Muliadi , L. , and Zheng , H . Discrete-event models . In System Design, Modeling, and Simulation using Ptolemy II , C. Ptolemaeus, Ed. Ptolemy.org, 2014 . Lee, E. A., Liu, J., Muliadi, L., and Zheng, H. Discrete-event models. In System Design, Modeling, and Simulation using Ptolemy II, C. Ptolemaeus, Ed. Ptolemy.org, 2014."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289949"},{"key":"e_1_3_2_1_11_1","volume-title":"Ray: A distributed framework for emerging AI applications. CoRR abs\/1712.05889","author":"Moritz P.","year":"2017","unstructured":"Moritz , P. , Nishihara , R. , Wang , S. , Tumanov , A. , Liaw , R. , Liang , E. , Paul , W. , Jordan , M. I. , and Stoica , I . Ray: A distributed framework for emerging AI applications. CoRR abs\/1712.05889 ( 2017 ). Moritz, P., Nishihara, R., Wang, S., Tumanov, A., Liaw, R., Liang, E., Paul, W., Jordan, M. I., and Stoica, I. Ray: A distributed framework for emerging AI applications. CoRR abs\/1712.05889 (2017)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792765"},{"key":"e_1_3_2_1_13_1","volume-title":"System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org","author":"Ptolemaeus C.","year":"2014","unstructured":"Ptolemaeus , C. System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org , Berkeley, CA , 2014 . Ptolemaeus, C. System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley, CA, 2014."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/216633.216656"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11767954_16"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-018-9300-4"},{"key":"e_1_3_2_1_17_1","first-page":"4","volume":"63","author":"Sirjani M.","year":"2004","unstructured":"Sirjani , M. , Movaghar , A. , Shali , A. , and de Boer , F. S. Modeling and verification of reactive systems using rebeca. Fundam. Inform. 63 , 4 ( 2004 ), 385--410. Sirjani, M., Movaghar, A., Shali, A., and de Boer, F. S. Modeling and verification of reactive systems using rebeca. Fundam. Inform. 63, 4 (2004), 385--410.","journal-title":"Fundam. Inform."},{"key":"e_1_3_2_1_18_1","volume-title":"Embedded Multiprocessors: Scheduling and Synchronization","author":"Sriram S.","year":"2000","unstructured":"Sriram , S. , and Bhattacharyya , S. S . Embedded Multiprocessors: Scheduling and Synchronization . Marcel Dekker, Inc. (now Taylor and Francis), 2000 . Sriram, S., and Bhattacharyya, S. S. Embedded Multiprocessors: Scheduling and Synchronization. Marcel Dekker, Inc. (now Taylor and Francis), 2000."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2018.8557004"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.5"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6925994"}],"event":{"name":"DAC '19: The 56th Annual Design Automation Conference 2019","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Las Vegas NV USA","acronym":"DAC '19"},"container-title":["Proceedings of the 56th Annual Design Automation Conference 2019"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3316781.3323469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T03:45:01Z","timestamp":1672976701000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316781.3323469"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,2]]},"references-count":21,"alternative-id":["10.1145\/3316781.3323469","10.1145\/3316781"],"URL":"https:\/\/doi.org\/10.1145\/3316781.3323469","relation":{},"subject":[],"published":{"date-parts":[[2019,6,2]]},"assertion":[{"value":"2019-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}