{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T05:12:14Z","timestamp":1724130734837},"reference-count":34,"publisher":"Institution of Engineering and Technology (IET)","issue":"4","license":[{"start":{"date-parts":[[2015,7,1]],"date-time":"2015-07-01T00:00:00Z","timestamp":1435708800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"},{"start":{"date-parts":[[2015,7,1]],"date-time":"2015-07-01T00:00:00Z","timestamp":1435708800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Computers & Digital Techniques"],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1049\/iet-cdt.2014.0110","type":"journal-article","created":{"date-parts":[[2015,4,27]],"date-time":"2015-04-27T11:13:26Z","timestamp":1430133206000},"page":"230-237","source":"Crossref","is-referenced-by-count":4,"title":["Reliable computation with unreliable computers"],"prefix":"10.1049","volume":"9","author":[{"given":"Andrew D.","family":"Brown","sequence":"first","affiliation":[{"name":"Department of Electronics & Computer ScienceUniversity of SouthamptonSO17 1BJSouthamptonUK"}]},{"given":"Rob","family":"Mills","sequence":"additional","affiliation":[{"name":"Department of Electronics & Computer ScienceUniversity of SouthamptonSO17 1BJSouthamptonUK"}]},{"given":"Kier James","family":"Dugan","sequence":"additional","affiliation":[{"name":"Department of Electronics & Computer ScienceUniversity of SouthamptonSO17 1BJSouthamptonUK"}]},{"given":"Jeff S.","family":"Reeve","sequence":"additional","affiliation":[{"name":"Department of Electronics & Computer ScienceUniversity of SouthamptonSO17 1BJSouthamptonUK"}]},{"given":"Steve B.","family":"Furber","sequence":"additional","affiliation":[{"name":"Department of Computer ScienceUniversity of ManchesterM13 9PLManchesterUK"}]}],"member":"265","published-online":{"date-parts":[[2015,7]]},"reference":[{"key":"e_1_2_3_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.142"},{"key":"e_1_2_3_3_2","article-title":"SpiNNaker \u2013 foundation software","author":"Brown A.D.","journal-title":"IEEE Trans. Comput."},{"key":"e_1_2_3_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2013.2259038"},{"key":"e_1_2_3_5_2","unstructured":"http:\/\/www.humanbrainproject.eu"},{"issue":"3","key":"e_1_2_3_6_2","first-page":"145","article-title":"Seven challenges for neuroscience","volume":"28","author":"Markram H.","year":"2013","journal-title":"Funct. Neurol."},{"key":"e_1_2_3_7_2","doi-asserted-by":"publisher","DOI":"10.1038\/nrn1848"},{"key":"e_1_2_3_8_2","unstructured":"http:\/\/www.bluebrain.epfl.ch"},{"key":"e_1_2_3_9_2","unstructured":"http:\/\/www.eyewire.org"},{"key":"e_1_2_3_10_2","article-title":"Connectome: how the brains wiring makes us who we are","author":"Seung S.","year":"2012","journal-title":"Houghton\u2010Harcourt"},{"key":"e_1_2_3_11_2","unstructured":"http:\/\/www.humanconnectomeproject.org"},{"key":"e_1_2_3_12_2","unstructured":"http:\/\/www.loris.ca"},{"key":"e_1_2_3_13_2","doi-asserted-by":"publisher","DOI":"10.1126\/science.1235381"},{"key":"e_1_2_3_14_2","doi-asserted-by":"publisher","DOI":"10.1038\/nature05453"},{"key":"e_1_2_3_15_2","unstructured":"http:\/\/www.brain\u2010map.org\/"},{"key":"e_1_2_3_16_2","unstructured":"http:\/\/www.artificialbrains.com\/darpa\u2010synapse\u2010program"},{"key":"e_1_2_3_17_2","doi-asserted-by":"publisher","DOI":"10.1021\/nl201040y"},{"key":"e_1_2_3_18_2","unstructured":"http:\/\/www.brainscales.kip.uni\u2010heidelberg.de\/"},{"key":"e_1_2_3_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00422-011-0435-9"},{"key":"e_1_2_3_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/84537.84545"},{"issue":"1","key":"e_1_2_3_21_2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1049\/ip-cds:19960013","article-title":"Issues in the design of a logic simulator: element modelling for efficiency","volume":"143","author":"Brown A.D.","year":"1996","journal-title":"IEE Proc. Circuits Devices Syst."},{"key":"e_1_2_3_22_2","unstructured":"http:\/\/www.myricom.com\/scs\/myrinet\/overview\/"},{"key":"e_1_2_3_23_2","doi-asserted-by":"crossref","unstructured":"Pakin S. Lauria M. Chien A.: \u2018High performance messaging on workstations: Illinois Fast Messages (FM) for Myrinet\u2019.Proc. of the 1995 ACM\/IEEE Conf. on Supercomputing","DOI":"10.1145\/224170.224360"},{"key":"e_1_2_3_24_2","unstructured":"http:\/\/www.mcs.anl.gov\/mpi\/"},{"key":"e_1_2_3_25_2","unstructured":"http:\/\/apt.cs.manchester.ac.uk\/projects\/SpiNNaker"},{"key":"e_1_2_3_26_2","doi-asserted-by":"crossref","unstructured":"Solano\u2010Quinde L.D. Bode B.M.: \u2018Module Prototype for Online Failure Prediction for the IBM Blue Gene\/L\u2019.Proc. IEEE Electro\/Information Technology Conf. EIT May2008 pp.470\u2013474 doi:10.1109\/EIT.2008.4554349","DOI":"10.1109\/EIT.2008.4554349"},{"key":"e_1_2_3_27_2","volume-title":"Tolerance design of electronic circuits","author":"Spence R.","year":"1988"},{"key":"e_1_2_3_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/43.898825"},{"issue":"1","key":"e_1_2_3_29_2","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1109\/16.974757","article-title":"Intrinsic threshold voltage fluctuations in decanano MOSFETs due to local oxide thickness variations","volume":"49","author":"Asenov A.","year":"2002","journal-title":"IEEE Trans. Electron Devices"},{"key":"e_1_2_3_30_2","unstructured":"Saleh R.A. Antao B. Singh J.: \u2018Multilevel and mixed\u2010domain simulation of analogue circuits and systems\u2019"},{"issue":"1","key":"e_1_2_3_31_2","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/43.486273","volume":"15","year":"1996","journal-title":"IEEE Trans. Comput.\u2010Aided Des. Integr. Circuits Syst."},{"issue":"4","key":"e_1_2_3_32_2","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1080\/17445760601122076","article-title":"Performance and accuracy of hardware\u2010oriented native\u2010, emulated\u2010and mixed\u2010precision solvers in FEM simulations","volume":"22","author":"G\u00f6ddeke D.","year":"2007","journal-title":"Int. J. Parallel, Emergent Distrib. Syst."},{"issue":"1","key":"e_1_2_3_33_2","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1109\/20.914373","article-title":"Time\u2010domain simulation of mixed nonlinear magnetic and electronic systems","volume":"37","author":"Brown A.D.","year":"2001","journal-title":"IEEE Trans. Magn."},{"key":"e_1_2_3_34_2","volume-title":"Parallel and distributed computation: numerical methods","author":"Bertsekas D.P.","year":"1989"},{"key":"e_1_2_3_35_2","volume-title":"A survey of rollback\u2010recovery protocols in message passing systems","author":"Elnozahy M.","year":"1999"}],"container-title":["IET Computers & Digital Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1049\/iet-cdt.2014.0110","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full-xml\/10.1049\/iet-cdt.2014.0110","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1049\/iet-cdt.2014.0110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,5]],"date-time":"2021-02-05T23:36:24Z","timestamp":1612568184000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1049\/iet-cdt.2014.0110"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,7]]}},"alternative-id":["10.1049\/iet-cdt.2014.0110"],"URL":"https:\/\/doi.org\/10.1049\/iet-cdt.2014.0110","archive":["Portico"],"relation":{},"ISSN":["1751-8601","1751-861X"],"issn-type":[{"value":"1751-8601","type":"print"},{"value":"1751-861X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7]]}}}