{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:11Z","timestamp":1750306871381,"version":"3.41.0"},"reference-count":46,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[1987,3,1]],"date-time":"1987-03-01T00:00:00Z","timestamp":541555200000},"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":[[1987,3]]},"DOI":"10.1145\/25372.25375","type":"journal-article","created":{"date-parts":[[2004,7,22]],"date-time":"2004-07-22T06:26:10Z","timestamp":1090477570000},"page":"22-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Aquarius"],"prefix":"10.1145","volume":"15","author":[{"given":"A.","family":"Despain","sequence":"first","affiliation":[{"name":"Univ. of California, Berkeley, CA"}]},{"given":"Y.","family":"Patt","sequence":"additional","affiliation":[{"name":"Univ. of California, Berkeley, CA"}]},{"given":"V.","family":"Srini","sequence":"additional","affiliation":[{"name":"Univ. of California, Berkeley, CA"}]},{"given":"P.","family":"Bitar","sequence":"additional","affiliation":[{"name":"Univ. of California, Berkeley, CA"}]},{"given":"W.","family":"Bush","sequence":"additional","affiliation":[{"name":"Univ. of California, Berkeley, CA"}]},{"given":"C.","family":"Chien","sequence":"additional","affiliation":[{"name":"Univ. of California, Berkeley, CA"}]},{"given":"W.","family":"Citrin","sequence":"additional","affiliation":[{"name":"Univ. of California, Berkeley, CA"}]},{"given":"B.","family":"Fagin","sequence":"additional","affiliation":[{"name":"Univ. of California, Berkeley, CA"}]},{"given":"W.","family":"Hwu","sequence":"additional","affiliation":[{"name":"Univ. of California, Berkeley, CA"}]},{"given":"S.","family":"Melvin","sequence":"additional","affiliation":[{"name":"Univ. of California, Berkeley, CA"}]},{"given":"R.","family":"McGeer","sequence":"additional","affiliation":[{"name":"Univ, of California, Berkeley, CA"}]},{"given":"A.","family":"Singhal","sequence":"additional","affiliation":[{"name":"Univ. of California, Berkeley, CA"}]},{"given":"M.","family":"Shebanow","sequence":"additional","affiliation":[{"name":"Univ. of California, Berkeley, CA"}]},{"given":"P.","family":"Van Roy","sequence":"additional","affiliation":[{"name":"Univ. of California, Berkeley, CA"}]}],"member":"320","published-online":{"date-parts":[[1987,3]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"COMPCON84 San Francisco","author":"Despain Alvin M.","year":"1984","unstructured":"{1} Alvin M. Despain , and Y. N. Patt , \" The Aquarius Project,\" Digest of Papers , COMPCON84 San Francisco , February , 1984 . {1} Alvin M. Despain, and Y. N. Patt, \"The Aquarius Project,\" Digest of Papers, COMPCON84 San Francisco, February, 1984."},{"volume-title":"Research Institute for Advanced Computer Science","author":"Fast","key":"e_1_2_1_2_1","unstructured":"{2} Bitar, P., \" Fast synchronization for shared-memory multiprocessors,\" Dec. 1985. TR 85.11 , Research Institute for Advanced Computer Science , NASA Ames Research Center , MS 230- 5, Moffett Field, CA 94503. {2} Bitar, P., \"Fast synchronization for shared-memory multiprocessors,\" Dec. 1985. TR 85.11, Research Institute for Advanced Computer Science, NASA Ames Research Center, MS 230- 5, Moffett Field, CA 94503."},{"key":"e_1_2_1_3_1","volume-title":"Symp. on Computer Architecture","author":"A. M.","year":"1986","unstructured":"{3} Bitar, P., Despain, A. M. , \"Multiprocessor cache synchronization,\" 13th Int'l Symp. on Computer Architecture , 1986 . {3} Bitar, P., Despain, A. M., \"Multiprocessor cache synchronization,\" 13th Int'l Symp. on Computer Architecture, 1986."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/642089.642111"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/18927.18916"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/859526.859527"},{"key":"e_1_2_1_8_1","volume-title":"HI","author":"Patt M. C.","year":"1986","unstructured":"{8} Shebanow, M. C. , Patt , Y. N. , Hwu , W., and Melvin, S. W ., \" AC Compiler for HPSI, a Highly Parallel Execution Engine,\" Hawaii International Conference on System Sciences - 19, Honolulu , HI , January , 1986 . {8} Shebanow, M. C., Patt, Y. N., Hwu, W., and Melvin, S. W., \" AC Compiler for HPSI, a Highly Parallel Execution Engine,\" Hawaii International Conference on System Sciences - 19, Honolulu, HI, January, 1986."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.111.0008"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/18927.18917"},{"key":"e_1_2_1_11_1","volume-title":"University of California","author":"Chang J.-H.","year":"1985","unstructured":"{11} J.-H. Chang , \" High Performance Execution of Prolog Programs Based on a Static Data Dependency Analysis\", Ph.D Thesis , University of California , Berkeley , October 1985 . {11} J.-H. Chang, \"High Performance Execution of Prolog Programs Based on a Static Data Dependency Analysis\", Ph.D Thesis, University of California, Berkeley, October 1985."},{"key":"e_1_2_1_12_1","volume-title":"University of California","author":"Citrin W.","year":"1987","unstructured":"{12} W. Citrin , \" Parallel Unification Scheduling in Prolog ,\" Ph.D Thesis , University of California , Berkeley , est. September , 1987 . {12} W. Citrin, \"Parallel Unification Scheduling in Prolog,\" Ph.D Thesis, University of California, Berkeley, est. September, 1987."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90022-0"},{"key":"e_1_2_1_14_1","volume-title":"Symposium on Computer Architecture","author":"Woo N. S.","year":"1985","unstructured":"{14} N. S. Woo , \" A Hardware Unification Unit : Design and Analysis,\" Proceedings of the 12th Intl . Symposium on Computer Architecture , New Orleans , June 1985 . {14} N. S. Woo, \"A Hardware Unification Unit: Design and Analysis,\" Proceedings of the 12th Intl. Symposium on Computer Architecture, New Orleans, June 1985."},{"key":"e_1_2_1_15_1","volume-title":"Symposium on Computer Architecture","author":"Dobry T. P.","year":"1985","unstructured":"{15} T. P. Dobry , A. M. Despain , Y. N. Part , \"Performance Studies of a Prolog Machine Architecture,\" Proceedings of the 12th Intl . Symposium on Computer Architecture , June 1985 . {15} T. P. Dobry, A. M. Despain, Y. N. Part, \"Performance Studies of a Prolog Machine Architecture,\" Proceedings of the 12th Intl. Symposium on Computer Architecture, June 1985."},{"key":"e_1_2_1_16_1","unstructured":"{16} Kuck David \"The Structure of Computers and Computations\" Wiley 1978.   {16} Kuck David \" The Structure of Computers and Computations \" Wiley 1978."},{"volume-title":"February, 1985.","author":"Despain Alvin M.","key":"e_1_2_1_17_1","unstructured":"{17} Alvin M. Despain , and Y. N. Patt , \" Aquarius - A High Performance Computing System for Symbolic\/Numeric Applications\" COMPCON 1985 , February, 1985. {17} Alvin M. Despain, and Y. N. Patt, \"Aquarius - A High Performance Computing System for Symbolic\/Numeric Applications\" COMPCON 1985, February, 1985."},{"key":"e_1_2_1_18_1","volume-title":"University of California","author":"Roy Peter Van","year":"1984","unstructured":"{18} Peter Van Roy , \" A Prolog Compiler for the PLM \", University of California , Berkeley , November 1984 . {18} Peter Van Roy, \"A Prolog Compiler for the PLM\", University of California, Berkeley, November 1984."},{"key":"e_1_2_1_19_1","volume-title":"Alvin M. Despain, \"A Prolog Compiler,\" HICSS-19","author":"Citrin Wayne","year":"1986","unstructured":"{19} Wayne Citrin , Peter Van Roy , Alvin M. Despain, \"A Prolog Compiler,\" HICSS-19 January 1986 . {19} Wayne Citrin, Peter Van Roy, Alvin M. Despain, \"A Prolog Compiler,\" HICSS-19 January 1986."},{"volume-title":"July, 1985.","author":"Chang Jung-Herng","key":"e_1_2_1_20_1","unstructured":"{20} Jung-Herng Chang and Alvin M . Despain, Doug de Groot, \"Semi-Intelligent Backtracking of Prolog Based on A Static Data Dependency Analysis,\" Logic Programming Conference , July, 1985. {20} Jung-Herng Chang and Alvin M. Despain, Doug de Groot, \"Semi-Intelligent Backtracking of Prolog Based on A Static Data Dependency Analysis,\" Logic Programming Conference, July, 1985."},{"key":"e_1_2_1_21_1","volume-title":"Alvin M. Despain, \"Compiling Prolog for the Berkeley PLM,\" HICSS-19","author":"Citrin Wayne","year":"1986","unstructured":"{21} Wayne Citrin , Peter Van Roy , Alvin M. Despain, \"Compiling Prolog for the Berkeley PLM,\" HICSS-19 January 1986 . {21} Wayne Citrin, Peter Van Roy, Alvin M. Despain, \"Compiling Prolog for the Berkeley PLM,\" HICSS-19 January 1986."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/800016.808231"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/800016.808229"},{"key":"e_1_2_1_24_1","volume-title":"HICSS Proceedings","author":"Dobry T. P.","year":"1986","unstructured":"{24} T. P. Dobry , J. H. Chang , A. M. Despain , Y. N. Patt , \" Extending a Prolog Machine for Parallel Execution ,\" HICSS Proceedings 19, January 1986 . {24} T. P. Dobry, J. H. Chang, A. M. Despain, Y. N. Patt, \"Extending a Prolog Machine for Parallel Execution,\" HICSS Proceedings 19, January 1986."},{"key":"e_1_2_1_25_1","volume-title":"Despain, \"Goal Caching in Prolog,\" HICSS Proceedings","author":"Fagin Barry","year":"1986","unstructured":"{25} Barry Fagin and Alvin M . Despain, \"Goal Caching in Prolog,\" HICSS Proceedings January 1986 . {25} Barry Fagin and Alvin M. Despain, \"Goal Caching in Prolog,\" HICSS Proceedings January 1986."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/18927.18914"},{"key":"e_1_2_1_27_1","volume-title":"Design Automation Conference","author":"Pincus Jonathan","year":"1986","unstructured":"{27} Jonathan Pincus , Alvin M. Despain , \" Delay Reduction Using Simulated Annealing ,\" Design Automation Conference 1986 . {27} Jonathan Pincus, Alvin M. Despain, \"Delay Reduction Using Simulated Annealing,\" Design Automation Conference 1986."},{"key":"e_1_2_1_28_1","doi-asserted-by":"crossref","unstructured":"{28} Patrick McGeer William Bush Jonathan Pincus Alvin Despain \"Design Considerations for a Prolog Silicon Compiler \" Submitted to Design Automation Conference 1986.  {28} Patrick McGeer William Bush Jonathan Pincus Alvin Despain \"Design Considerations for a Prolog Silicon Compiler \" Submitted to Design Automation Conference 1986.","DOI":"10.21236\/ADA173049"},{"key":"e_1_2_1_29_1","unstructured":"{29} Nasser N. Lone \"A Replacement Algorithm for Prolog Goal Caches \" University of California Berkeley December 1985.  {29} Nasser N. Lone \"A Replacement Algorithm for Prolog Goal Caches \" University of California Berkeley December 1985."},{"key":"e_1_2_1_30_1","unstructured":"{30} Ashar Butt Alvin Despain \"Cell Design in Prolog \" University of California Berkeley August 1985.  {30} Ashar Butt Alvin Despain \"Cell Design in Prolog \" University of California Berkeley August 1985."},{"key":"e_1_2_1_31_1","unstructured":"{31} Wayne Citrin \"A Comparison of Indexing and Term Re-Ordering: Two Methods for Speeding Up the Execution of Prolog Programs \" Unpublished.  {31} Wayne Citrin \"A Comparison of Indexing and Term Re-Ordering: Two Methods for Speeding Up the Execution of Prolog Programs \" Unpublished."},{"key":"e_1_2_1_32_1","volume-title":"March","author":"Despain A. M.","year":"1986","unstructured":"{32} A. M. Despain , Y. N. Patt , T. P. Dobry , J. H. Chang , W. Citrin \" High Performance Prolog , The Multiplicative Effect of Several Levels of Implementation,\" COMPCON , March , 1986 . {32} A. M. Despain, Y. N. Patt, T. P. Dobry, J. H. Chang, W. Citrin \"High Performance Prolog, The Multiplicative Effect of Several Levels of Implementation,\" COMPCON, March, 1986."},{"key":"e_1_2_1_33_1","volume-title":"March","author":"Patt Yale N.","year":"1986","unstructured":"{33} Yale N. Patt , Wen-mei Hwu, Stephen Melvin , Michael Shebanow , Chien Chen , Jiajuin Wei , \" Experiments with HPS , a Restricted Data Flow Microarchitecture for High Performance Computers,\" COMPCON , March , 1986 . {33} Yale N. Patt, Wen-mei Hwu, Stephen Melvin, Michael Shebanow, Chien Chen, Jiajuin Wei, \"Experiments with HPS, a Restricted Data Flow Microarchitecture for High Performance Computers,\" COMPCON, March, 1986."},{"key":"e_1_2_1_34_1","volume-title":"January","author":"Melvin Steve","year":"1986","unstructured":"{34} Wen-mei Hwu, Steve Melvin , Mike Shebanow , Chien Chen , Jiajuin Wei , Yale Patt , \" An LIPS Implementation of VAX , Initial Design and Analysis,\" HICSS-19 , January 1986 . {34} Wen-mei Hwu, Steve Melvin, Mike Shebanow, Chien Chen, Jiajuin Wei, Yale Patt, \"An LIPS Implementation of VAX, Initial Design and Analysis,\" HICSS-19, January 1986."},{"key":"e_1_2_1_35_1","volume-title":"13th International Symposium on Computer Architecture Tokyo","author":"Hwu Wen Mei","year":"1986","unstructured":"{35} Wen Mei Hwu , Yale N. Patt , \"HP Sm A High Performance Restricted Data Flow Architecture Having Minimal Functionality ,\" 13th International Symposium on Computer Architecture Tokyo , Japan , June 1986 . {35} Wen Mei Hwu, Yale N. Patt, \"HPSm A High Performance Restricted Data Flow Architecture Having Minimal Functionality,\" 13th International Symposium on Computer Architecture Tokyo, Japan, June 1986."},{"key":"e_1_2_1_36_1","unstructured":"{36} Alvin M. Despain Vason Srini Yale Patt Barry Fagin \"Architecture Research for Prolog Based on NCR\/32 \" University of California Berkeley 1986.  {36} Alvin M. Despain Vason Srini Yale Patt Barry Fagin \"Architecture Research for Prolog Based on NCR\/32 \" University of California Berkeley 1986."},{"key":"e_1_2_1_37_1","volume-title":"University of California & Xenologic Inc. Aerospace Applications of Artificial Intelligence Conference","author":"Despain Alvin M.","year":"1986","unstructured":"{37} Alvin M. Despain , \" A High Performance Hardware Architecture for Design Automation ,\" University of California & Xenologic Inc. Aerospace Applications of Artificial Intelligence Conference , Oct. 1986 . {37} Alvin M. Despain, \"A High Performance Hardware Architecture for Design Automation,\" University of California & Xenologic Inc. Aerospace Applications of Artificial Intelligence Conference, Oct. 1986."},{"key":"e_1_2_1_38_1","volume-title":"Proceedings of the IEEE International Conference on Systems, Man & Cybernetics","author":"Patt Yale N.","year":"1986","unstructured":"{38} Yale N. Patt , \" Several Implementations of Prolog , the Microarchitecture Perspective ,\" Proceedings of the IEEE International Conference on Systems, Man & Cybernetics , October , 1986 . {38} Yale N. Patt, \"Several Implementations of Prolog, the Microarchitecture Perspective,\" Proceedings of the IEEE International Conference on Systems, Man & Cybernetics, October, 1986."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/19551.19550"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/19551.19539"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/19551.19538"},{"key":"e_1_2_1_42_1","volume-title":"Kona","author":"Hwu Wen Mei","year":"1987","unstructured":"{42} Wen Mei Hwu and Yale N . Patt, \"Design Choices for the HPSm Microprocessor Chip,\" Proceedings of the 20th Annual Hawaii International Conference on System Sciences , Kona , Hawaii , January 1987 . {42} Wen Mei Hwu and Yale N. Patt, \"Design Choices for the HPSm Microprocessor Chip,\" Proceedings of the 20th Annual Hawaii International Conference on System Sciences, Kona, Hawaii, January 1987."},{"key":"e_1_2_1_43_1","volume-title":"Kona Hawaii","author":"Melvin Stephen W.","year":"1987","unstructured":"{43} Stephen W. Melvin , Yale Patt , \"A Clarification of the Dynamic\/Static Interface,\" Proceedings of the 20th Annual Hawaii International Conference on Systems Sciences , Kona Hawaii , January 1987 . {43} Stephen W. Melvin, Yale Patt, \"A Clarification of the Dynamic\/Static Interface,\" Proceedings of the 20th Annual Hawaii International Conference on Systems Sciences, Kona Hawaii, January 1987."},{"key":"e_1_2_1_44_1","volume-title":"VLSI 1987","author":"McGeer Patrick","year":"1987","unstructured":"{44} Patrick McGeer , Robert K. Brayton , \"Efficient, Stable Algebraic Operations on Logic Expressions ,\" Submitted to VLSI 1987 , August 1987 . {44} Patrick McGeer, Robert K. Brayton, \"Efficient, Stable Algebraic Operations on Logic Expressions,\" Submitted to VLSI 1987, August 1987."},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/30350.30353"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/30350.30355"},{"key":"e_1_2_1_47_1","volume-title":"Proceedings, 4th International Conference on Logic Programming","author":"Gee Jeff","year":"1987","unstructured":"{47} Jeff Gee , Stephen Melvin and Yale Patt \"Advantages of Implementing Prolog by Microprogramming a Host General Purpose Computer ,\" Proceedings, 4th International Conference on Logic Programming , Parkville, Victoria, Australia , May 1987 . {47} Jeff Gee, Stephen Melvin and Yale Patt \"Advantages of Implementing Prolog by Microprogramming a Host General Purpose Computer,\" Proceedings, 4th International Conference on Logic Programming, Parkville, Victoria, Australia, May 1987."}],"container-title":["ACM SIGARCH Computer Architecture News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/25372.25375","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/25372.25375","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:13Z","timestamp":1750234693000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/25372.25375"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,3]]},"references-count":46,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1987,3]]}},"alternative-id":["10.1145\/25372.25375"],"URL":"https:\/\/doi.org\/10.1145\/25372.25375","relation":{},"ISSN":["0163-5964"],"issn-type":[{"type":"print","value":"0163-5964"}],"subject":[],"published":{"date-parts":[[1987,3]]},"assertion":[{"value":"1987-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}