{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T05:21:22Z","timestamp":1732771282901,"version":"3.29.0"},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T00:00:00Z","timestamp":1719187200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T00:00:00Z","timestamp":1719187200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,6,24]]},"DOI":"10.1109\/icccnt61001.2024.10725917","type":"proceedings-article","created":{"date-parts":[[2024,11,4]],"date-time":"2024-11-04T23:06:46Z","timestamp":1730761606000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Investigating the Impact of Formal Methods on Enhancing Performance in Computer Architectures"],"prefix":"10.1109","author":[{"given":"Urvashi","family":"Thakur","sequence":"first","affiliation":[{"name":"ARKA JAIN University,Department of Management,Jamshedpur,Jharkhand,India"}]},{"given":"Deeplata","family":"Sharma","sequence":"additional","affiliation":[{"name":"Vivekananda Global University,Department of Chemistry,Jaipur,India"}]},{"given":"B","family":"Spoorthi","sequence":"additional","affiliation":[{"name":"JAIN (Deemed to be University),School of Engineering and Technology,Department of Electrical and Electronics Engineering,Bangalore,Karnataka,India"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.53759\/9852\/JRS202301002"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.53759\/832x\/jcims202402001"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.53759\/7669\/jmc202303041"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.53759\/5181\/JEBI202303007"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.53759\/9852\/JRS202301003"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/ACCESS.2023.3311854"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.3390\/electronics12081821"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.54646\/bijcicn.004"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/ACCESS.2023.3292829"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/ACCESS.2022.3233768"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1016\/j.micpro.2019.102957"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/s11036-019-01393-6"}],"event":{"name":"2024 15th International Conference on Computing Communication and Networking Technologies (ICCCNT)","start":{"date-parts":[[2024,6,24]]},"location":"Kamand, India","end":{"date-parts":[[2024,6,28]]}},"container-title":["2024 15th International Conference on Computing Communication and Networking Technologies (ICCCNT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10723818\/10723316\/10725917.pdf?arnumber=10725917","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T08:38:04Z","timestamp":1732696684000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10725917\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,24]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icccnt61001.2024.10725917","relation":{},"subject":[],"published":{"date-parts":[[2024,6,24]]}}}