{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:10Z","timestamp":1750308670793,"version":"3.41.0"},"reference-count":12,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2012,5,31]],"date-time":"2012-05-31T00:00:00Z","timestamp":1338422400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGARCH Comput. Archit. News"],"published-print":{"date-parts":[[2012,5,31]]},"abstract":"<jats:p>The paper proposes an axiom based architecture as an alternative to the von Neumann model. The model has many desirable properties: fine-grained parallelism, simple semantics, better security and easy of programming. The empirical research gives some indication of its performance potential.<\/jats:p>\n          <jats:p>A description is given as to how algebraic arithmetic expressions of relations can be broken up into primitive expressions consisting of a single operation. These primitive relations are shown to be sufficient to describe a Turing machine. Eight inference rules are given that define how the primitive relations can be evaluated. An outline is given of an architecture based on these inference rules. Finally a brief description is given of an experimental emulation and empirical evaluation of the architecture.<\/jats:p>\n          <jats:p>Instead of manipulating data or values by applying instructions or functions, computation is applying existing elements to relations to create new elements. The element's identifier determines which relations the element applies to. The relation determines the identifier of the new element and the operation that needs to be applied to create the value of the new element.<\/jats:p>\n          <jats:p>The conceptually indices are different in this model. Instead of seeing an index as an offset into an array, an index is seen as part of the element identifier. This enables infinitely many relations to be defined between unique sets using universal quantifiers. Thus every element, or value, computed has a unique description.<\/jats:p>","DOI":"10.1145\/2234336.2234339","type":"journal-article","created":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T15:51:28Z","timestamp":1338565888000},"page":"10-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Axiom based architecture"],"prefix":"10.1145","volume":"40","author":[{"given":"Conrad","family":"Mueller","sequence":"first","affiliation":[{"name":"University of the Witwatersrand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,5,31]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/339647.339691"},{"key":"e_1_2_1_2_1","volume-title":"The landscape of parallel computing research: A view from Berkeley. Technical report, Electical Engineering and Computer Sciences","author":"Asanovic K.","year":"2006","unstructured":"K. Asanovic , R. Bodik , B. C. Catanzaro , J. J. Gebis , P. Husbands , K. Keutzer , D. P. Patterson , W. L. Plishker , J. Shalf , S. W. Wiliams , and K. A. Yelick . The landscape of parallel computing research: A view from Berkeley. Technical report, Electical Engineering and Computer Sciences , University of California at Berkeley , 2006 . K. Asanovic, R. Bodik, B. C. Catanzaro, J. J. Gebis, P. Husbands, K. Keutzer, D. P. Patterson, W. L. Plishker, J. Shalf, S. W. Wiliams, and K. A. Yelick. The landscape of parallel computing research: A view from Berkeley. Technical report, Electical Engineering and Computer Sciences, University of California at Berkeley, 2006."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/214956.214960"},{"key":"e_1_2_1_5_1","volume-title":"Verlag Hermann Pohle, 1893","author":"Frege G.","year":"1903","unstructured":"G. Frege . Grundgesetze der Arithmetik, volume 1 & 2 . Verlag Hermann Pohle, 1893 1903 . G. Frege. Grundgesetze der Arithmetik, volume 1 & 2. Verlag Hermann Pohle, 1893 1903."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01700692"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/357980.358001"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189276.1189286"},{"key":"e_1_2_1_9_1","volume-title":"North-holland","author":"Kleene S.","year":"1952","unstructured":"S. Kleene . Introduction To Metamathematics . North-holland , 1952 . S. Kleene. Introduction To Metamathematics. North-holland, 1952."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802035"},{"key":"e_1_2_1_11_1","volume-title":"April","author":"Moore G. E.","year":"1965","unstructured":"G. E. Moore . Cramming more components onto integrated circuits. Electronics,, 38(8) , April 1965 . http:\/\/download.intel.com\/research\/silicon\/moorespaper.pdf. G. E. Moore. Cramming more components onto integrated circuits. Electronics,, 38(8), April 1965. http:\/\/download.intel.com\/research\/silicon\/moorespaper.pdf."},{"key":"e_1_2_1_12_1","volume-title":"Principia Mathematica","author":"Whitehead A.","year":"1927","unstructured":"A. Whitehead and B. Russell . Principia Mathematica . Cambridge , 2 nd edition, 1927 . A. Whitehead and B. Russell. Principia Mathematica. Cambridge, 2nd edition, 1927.","edition":"2"}],"container-title":["ACM SIGARCH Computer Architecture News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2234336.2234339","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2234336.2234339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:00:43Z","timestamp":1750276843000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2234336.2234339"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,31]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,5,31]]}},"alternative-id":["10.1145\/2234336.2234339"],"URL":"https:\/\/doi.org\/10.1145\/2234336.2234339","relation":{},"ISSN":["0163-5964"],"issn-type":[{"type":"print","value":"0163-5964"}],"subject":[],"published":{"date-parts":[[2012,5,31]]},"assertion":[{"value":"2012-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}