{"entities":{"Q488240":{"pageid":490007,"ns":120,"title":"Item:Q488240","lastrevid":52180193,"modified":"2026-01-21T02:46:09Z","type":"item","id":"Q488240","labels":{"en":{"language":"en","value":"A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6390327"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$84B00BE1-128B-478C-9784-2DD0362031BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"696fdef3356a7f0a4c54e5cf871139ed1e326b1f","datavalue":{"value":{"text":"A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q488240$91B01AC0-5B2E-4A15-AB94-A62B5D758E4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f44f82dde6e0fdf111106c97423e11fc411a61e7","datavalue":{"value":"1314.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488240$53D9AB80-5509-4B54-943E-E5CD67A31075","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8517bb740811614e9c9211119eb276dabf85e09","datavalue":{"value":{"entity-type":"item","numeric-id":488237,"id":"Q488237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$20566F25-6185-4D89-A6C2-F3F62F73C92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4828d4f8f2f81dd04997fe5591404b31cca0d037","datavalue":{"value":{"entity-type":"item","numeric-id":488238,"id":"Q488238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$7426177C-EFB2-467B-8FFC-A67286F7AB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"581831ab2a98099be1c5191e5148ae6499be7ed2","datavalue":{"value":{"entity-type":"item","numeric-id":298051,"id":"Q298051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$9E2D70CF-080F-4447-811C-908CD6E1452A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18fea62a8db5dd1d01d0f1ffea1b06385d5798bf","datavalue":{"value":{"entity-type":"item","numeric-id":370314,"id":"Q370314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$61839378-9C68-40EA-974A-1BD9C90BFD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87f47d2fed02e70f0a94278c67a7d267cb86e1c9","datavalue":{"value":{"entity-type":"item","numeric-id":488239,"id":"Q488239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$7A6F1341-E7F3-4F69-B288-79A22F411129","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e6e67b92e7162a49988bf7bebe8dbba55d093b6","datavalue":{"value":{"entity-type":"item","numeric-id":202506,"id":"Q202506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$AA9F64A1-1C2A-44FC-8FB2-F76DA80B5CC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"519fe64785e203f4d11f5ae60d7f728bcb27c415","datavalue":{"value":{"time":"+2015-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q488240$7EFB1B46-0CF8-4C7B-A05E-B651B2AE99B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f99189e0542028f8f53c96fc5d8030dc859661c","datavalue":{"value":"http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-234343","type":"string"},"datatype":"url"},"type":"statement","id":"Q488240$4E47C666-6CC9-44A6-B46B-B648289E2E74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488240$E10037D1-319E-4BDD-A90D-78E6B64C773F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c19a77ea757ae7d3d0d091a00f3f1a5406c73c84","datavalue":{"value":"6390327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488240$3F09787A-F7AE-43BC-8E3A-C17A053492D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4378294a31b081761500e7f82719eeddde87182","datavalue":{"value":"multicore systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q488240$27687837-48A3-41E8-A165-AA2721D61A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fbd6947f476f4295b3476361880857582f7e443","datavalue":{"value":"worst-case response time analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q488240$7CA4F37F-BBFD-4153-8D1C-02C36D90127D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3760445c5e91790c7151e3b2a075f9a918e10542","datavalue":{"value":"resource contention","type":"string"},"datatype":"string"},"type":"statement","id":"Q488240$CD0484A9-DF68-410D-999B-D6AD6F74FDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c51c5dfaab9c1b6e4d23fc83c6f2cce17411e84","datavalue":{"value":"real-time simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q488240$BA473B54-7B68-4745-A2B8-47F8344396C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1346b6ced65e3252ed42104b9a77f2056df596c","datavalue":{"value":"timed model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q488240$26BB1414-8371-42D0-9030-2317763FD36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"368abc7b7f261dc1f1eebaeecbf6c191080b92e0","datavalue":{"value":"real-time performance analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q488240$F2B9AD25-C0C2-44BE-8A13-29667AA2CA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93e39168d0f9621ae2fe9ed81061b31f10057086","datavalue":{"value":"predictable execution model","type":"string"},"datatype":"string"},"type":"statement","id":"Q488240$FD332F27-5BB8-4872-9D5C-3E73F0CF1C61","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"92a20391a4df76cf9a71ea13d965d60468038ddc","datavalue":{"value":{"entity-type":"item","numeric-id":22665,"id":"Q22665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$816E11FB-A04E-48C4-AF2D-6EFD3ECC9B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$FE73963B-F084-4FCD-8E40-D7955507E9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ad805e9942bada59f481d978288e07326233b11","datavalue":{"value":{"entity-type":"item","numeric-id":29804,"id":"Q29804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$81DA93CC-00D5-41A1-8313-31DA1635E394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$CADB70DE-1881-4856-8268-2F2BF612245A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$9D786DCE-3FDC-4131-BDE4-BDAC7C66A601","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$1745121B-4A66-47DA-910A-E6DD9D95BBD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ada2d65ad6b1ac5b462686b8d3042e5d667f787f","datavalue":{"value":"W2169051741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488240$142283D8-616A-474F-8197-709E4B457B43","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$A0317CE8-08A8-4F06-80DF-858C23EF8D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1717d04b38e781c8090d732fe6a8ccef3adfa63a","datavalue":{"value":{"entity-type":"item","numeric-id":2251351,"id":"Q2251351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$CF313B3A-D626-43BD-8628-6EB8727269AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$9ABE52B5-4D54-4458-96E2-EAD73600D627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$255F43F2-7F64-49AC-9B21-7D3923E2880D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed15c06e7d751d0f8084b766f2e0af20efd44703","datavalue":{"value":{"entity-type":"item","numeric-id":5940717,"id":"Q5940717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488240$B979BC01-4A80-4C1D-8A9D-8A7196CA4BEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9baee0d7282e5940501511030bb6eb5f3a3f5dba","datavalue":{"value":"10.1007/S11241-014-9211-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488240$B1218EC3-BCFD-4A65-9549-6F9A8BD16450","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c5da23a353094e9cdaad19f570228eb5555023e","datavalue":{"value":{"entity-type":"item","numeric-id":1616845,"id":"Q1616845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478200451c7e9ba4ca8391e62f6357e0121e4ae8","datavalue":{"value":{"amount":"+0.8215173482894897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q488240$7E9415A2-6227-4721-B181-33472BC664C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94c3e3a04ce3b78a436e1238783c4a2cce3e37cf","datavalue":{"value":{"entity-type":"item","numeric-id":283175,"id":"Q283175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cbaf170f7e0a0bc2db15e4088075f65bb754735","datavalue":{"value":{"amount":"+0.7904214262962341","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q488240$10134556-0389-4C63-8E2F-85411916613B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e7f6c1bb2eb092c6c4db5bc19cceafe7d7ee75","datavalue":{"value":{"entity-type":"item","numeric-id":2251349,"id":"Q2251349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3d07f609888f983f17e661da4636dd94148455","datavalue":{"value":{"amount":"+0.783074676990509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q488240$4CD41D79-5F6B-45B0-90A4-A45C3C477A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a8e35f45870127de53e7f459c5d28cedc208673","datavalue":{"value":{"entity-type":"item","numeric-id":2251402,"id":"Q2251402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"205d0b35c4ff1111edea93aa1c3b7c0cc97b7ea7","datavalue":{"value":{"amount":"+0.7611560821533203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q488240$4C3B1332-BF73-42BD-8F88-15DEA287498D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a185e616cd92af7932d03f764f7e369d6e8bfa","datavalue":{"value":{"entity-type":"item","numeric-id":2251351,"id":"Q2251351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29747a2fabfc9d77a4e0b5c811dda0d8b4e8260c","datavalue":{"value":{"amount":"+0.7471177577972412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q488240$26C83020-955C-46E9-A30B-200A00BB60E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:488240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:488240"}}}}}