{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T05:15:17Z","timestamp":1732770917058,"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.10724163","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":["Evaluating the Performance of Formal Methods in Embedded Computer Architecture to Minimize Power Consumption"],"prefix":"10.1109","author":[{"given":"Sanjiv","family":"Mathur","sequence":"first","affiliation":[{"name":"JAIN (Deemed to be University),School of Mangement - PG,Department of Management,Bangalore,Karnataka,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Binod Kumar","family":"Choudhary","sequence":"additional","affiliation":[{"name":"ARKA JAIN University,Department of Electrical & Electronics Engineering,Jamshedpur,Jharkhand,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deepak","family":"Kumar","sequence":"additional","affiliation":[{"name":"Vivekananda Global University,Department of Mathematics,Jaipur,India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/dac.5524"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3390\/agriengineering5020042"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.21917\/ijct.2022.0411"},{"issue":"1","key":"ref4","first-page":"2797","article-title":"The management and reduction of digital noise in video image processing by using transmission based noise elimination scheme","volume":"13","author":"Ramesh","year":"2022","journal-title":"ICTACT Journal on image and video processing"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-19-7447-2_6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.53759\/9852\/jrs202301006"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.53759\/832x\/jcims202301006"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.53759\/7669\/jmc202303031"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.53759\/5181\/JEBI202202021"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.53759\/0088\/jbsha202303015"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.7759\/cureus.48239"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCT56650.2023.10179649"}],"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\/10724163.pdf?arnumber=10724163","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T06:10:00Z","timestamp":1732687800000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10724163\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,24]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icccnt61001.2024.10724163","relation":{},"subject":[],"published":{"date-parts":[[2024,6,24]]}}}