ACM Home Page
Please provide us with feedback. Feedback
Data-Driven and Demand-Driven Computer Architecture
Full text PdfPdf (4.14 MB)
Source ACM Computing Surveys (CSUR) archive
Volume 14 ,  Issue 1  (March 1982) table of contents
Pages: 93 - 143  
Year of Publication: 1982
ISSN:0360-0300
Authors
Philip C. Treleaven  Computing Laboratory, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, England
David R. Brownbridge  Computing Laboratory, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, England
Richard P. Hopkins  Computing Laboratory, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, England
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 12,   Downloads (12 Months): 173,   Citation Count: 56
Additional Information:

references   cited by   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/356869.356873
What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
ACKE79a
ACKERMAN, W. B. "Data flow languages," in Proc. 1979 Nat. Computer Conf. (New York, N.Y., June 4-7), vol. 48, AFIPS Press, Arlington, Va, 1979, pp. 1087-1095.
 
ACKE79b
 
AMAM80
AMAMIYA, M., HASEGAWA, S., AND MI- KAMI, H. "List processing and data flow machine," Lecture Note Series, No. 436, Research Institute for Mathematical Sciences, Kyoto Umv., Sept 1980.
 
ARVI75
ARVIND AND GOSTELOW, K.P. "A new interpreter for dataflow and its implications for computer architecture," Tech. Rep. 72, Dep Information and Computer Science, Univ. of Cahfornia, Irvme, Oct. 1975.
 
ARVI77a
ARVIND AND GOSTELOW, K. P. "A computer capable of exchanging processors for time," m Proc IFIP Congress (1977), 849-854.
 
ARVI77b
ARVIND AND GOSTELOW, K P. "Some relationships between asynchronous interpreters of a dataflow language," in Proc. IFIP Working Conf. Formal Description of Programming Languages (Aug. 1977), E. J. Neuhold, Ed., Elsevier North-Holland, New York, 1977.
 
ARVI78
ARVIND, GOSTELOW, K. P., AND PLOUFFE, W. "An asynchronous programming language and computing machine," Tech. Rep. 114a, Dep. Information and Computer Scmnce, Univ. of California, irvme, Dec. 1978.
 
ARVI80a
ARVIND, KATHAIL, V., AND PINGALI, K. "A processing element for a large multiprocessor dataflow machine," in Proc. Int. Conf Cwcmts and Computers (New York, Oct. 1980), IEEE, New York, 1980.
 
ARVI80b
ARVIND AND THOMAS, R E. "I-structures: An efficient data type for functional languages," Rep. LCS/TM-178, Lab. for Computer Science, Massachusetts Institute of Technology, June 1980.
ASHC77
 
BACK72
BACKUS, J. "Reduction languages and variable free programming," Rep. RJ 1010, IBM Thomas J Watson Research Center, Yorktown Heights, N Y., Apr. 1972.
BACK73
BACK78
 
BERK71
BERKLING, K. J. "A computing machine based on tree structures," IEEE Trans. Comput. C-20, 4 (Jan 1971), 404- 418.
BERK75
 
CHAM71
CHAMBERLIN, D. D. "The single assignment approach to parallel processnag," in Proc Nat. Computer Conf. (Las Vegas, Nev., Nov. 16-18), vol. 39, AFIPS Press, Arlington, Va., 1971, pp. 263-269.
CLAR80
 
COMT76
COMTE, D., DURRIEU, A., GELLY, O., PLAS, A., AND SYRE, J C. "TEAU 9/7: SYSTEME LAU--Summary m English," CERT Tech. Rep. #1/3059, Centre d'l~tudes et de Recherches de Toulouse, Oct. 1976.
 
COMT79b
COMTE, D., AND HIFDI, N. "LAU Multiprocessor. Microfunctional description and technological choices," in Proc. 1st European Conf. Parallel and D~str~buted Processing (Toulouse, France, Feb. 1979), pp. 8-15.
 
CORN79
CORNISH, M. "The TI data flow architectures: The power of concurrency for avionics," in Proc. 3rd Conf. Digital Awon~cs Systems (Fort Worth, Tex., Nov. 1979), IEEE, New York, 1979, pp. 19-25
DARL81
DAVI78
 
DAVI79a
DAVIS, A.L. "DDN's--A low level program schema for fully distributed systems," m Proc. 1st European Conf. Parallel and D~stributed Processing (Toulouse, France, Feb. 1979), pp. 1-7.
 
DAVI79b
DAVIS, A. L. "A data flow evaluation system based on the concept of recursive locality," in Proc. 1979 Nat. Computer Conf (New York, N.Y., June 4-7), vol. 48, AFIPS Press, Arlington, Va., 1979, pp. 1079-1086
 
DENN71
DENNIS, J.B. "On the design and specification of a common base language," in Proc. Symp Computers and Automata, Polytechnic Institute of Brooklyn, Brooklyn, N.Y, 1971.
 
DENN72
 
DENN74a
 
DENN74b
DENNIS, J. B., AND MISUNAS, D.P. "A computer architecture for highly parallel signal processing," m Proc. 1974 Nat. Computer Conf., AFIPS Press, Arhngton, Va, 1974, pp. 402-409.
DENN75b
 
DENN79a
DENNIS, J. B., LEUNG, C. K. C., AND MISUNAS, D P. "A highly parallel processor using a data flow machine language," Tech. Rep. CSG Memo 134-1, Lab. for Computer Science, Massachusetts Institute of Technology, June 1979
 
DENN79b
DENNIS, j B. "The varieties of data flow computers," m Proc 1st Int. Conf Dtstrtbuted Computtng Systems (Toulouse, France, Oct. 1979), pp. 430-439.
 
EGAN79
EGAN, G. K. "FLO: A decentrahsed data-flow system," Dep. Computer Science, Univ. of Manchester, England, Oct. 1979
 
ERIK80
ERIKIO, L., HEIMONEN, J HIETALA, P., AND KURKI-SUONIO, R. "PLEXUS II--A data flow system," Tech. Rep. A43, Dep. Mathematical Scmnces, Univ. of Tarnpere, Finland, Apr. 1980.
FARR79
 
FRIE76
FRIEDMAN, D. P., AND WISE, D. S. "CONS should not evaluate its arguments." in Automata, languages and programming, S. Michaelson and R. Mflner, Eds., Edinburgh Univ. Press, Edinburgh, U. K., 1976, pp. 257-284.
 
GELL76
GELLY, O, et al. "LAU software system. A high level data driven language for parallel programming," m Proc. 1976 Int. Conf. Parallel Processtng (Aug 1976), p. 255
 
GOST79a
GOSTELOW, K P., AND THOMAS, R. E. "A vmw of dataflow," m Proc. Nat Computer Conf (New York, N.Y., June 4-7), vol 48, AFIPS Press, Arhngton, Va., 1979, pp. 629-636.
 
GOST79b
GOSTELOW, K. P., AND THOMAS, R E "Performance of a dataflow computer," Tech. Rep. 127a, Dep Information and Computer Science, Univ. of California, Irvme, Oct. 1979
 
GOTO77
GOTO, E., AND IDA, T. "Parallel hashmg algorithms" Inf Process Lett. 6, 1 (Feb. 1977), pp 8-13.
HEND76
 
HOMM79
HOMMES, F., AND SCHLUTTER, H "Reduction machine system User's guide," Tech. Rep. ISF--Rep. 79, Gesellschaft fur Mathematlk und Datenverarbeltung MBH Bonn, Dec. 1979.
 
HOPK79
HOPKINS, R. P., RAUTENBACH, P. W., AND TRELEAVEN, P C "A computer supporting data flow, control flow and updateable memory," Tech. Rep. 156, Computing Lab., Univ. Newcastle upon Tyne, Sept. 1979.
 
JIPD81a
JIPDC. "Prelnmnary report on study and research on fifth-generation computers 1970-1980," Japan Information Processing Development Center, Tokyo, Japan, 1981.
 
JIPD81b
JIPDC. "Research reports in Japan," Japan Information Processing Development Center, Tokyo, Japan, Fall 1981
 
JIPD81c
JIPDC. in Proc. Int. Conf. F~fth Generatmn Computer Systems, Japan Information Processing Development Center, 1981
 
JOHN79
JOHNSON, D., et al "Automatic partitmmng of programs m multiprocessor systems," in Proc. IEEE COMPCON 80 (Feb. 1980), IEEE, New York, pp 175- 178
 
KELL78
KELLER, R. M., PATIL, S, AND LIND- STROM, G. "An architecture for a loosely coupled parallel processor," Tech. Rep. UUCS-78-105, Dep. Computer Science, Univ. of Utah, Oct. 1978.
 
KELL79
KELLER, R. M, et al. "A loosely coupled applicative multlprocessing system," in Proc. Nat Computer Conf., AFIPS Press, Arlington, Va., 1978, pp. 861-870.
 
KLUG79
KLUGE, W.E. "The architecture of a reduction language machine hardware model," Tech. Rep. ISF--Rep 79.03, GeseUschaft fur Mathematik und Datenverarbeltung MBH Bonn, Aug. 1979.
 
KLUG80
KLUGE, W. E., AND SCHLUTTER, H "An architecture for the direct execution of reduction languages," in Proc. Int Workshop Hzgh-Level Language Computer Architecture (Fort Lauderdale, Fla., May 1980), Univ of Maryland and Office of Naval Research, pp. 174-180.
 
LAND64
LANDIN, P. J "The mechanical evaluation of expressmns," Comput J. 6 (Jan. 1964), 308-320.
 
LECO79
LECOUFFE, M.P. "MAUD. A dynamic single-assignment system," IEE Cornput D~g~tal Tech. 2, 2 (Apr 1979), 75- 79.
 
MAGO79a
MA(~b, G. A. "A network of microprocessors to execute reduction languages," int. J Comput. Inform. Sc~. 8, 5 (1979), 349-385, 8, 6 (1979), 435-471.
 
MAGO80
MAG6, G. A "A cellular computer architecture for functional programming," in Proc. IEEE COMPCON 80 (Feb. 1980), IEEE, New York, pp 179-187.
 
McCA62
 
MEAD80
 
MIRA77
MIRANKER, G. S "Implementation of procedures on a class of data flow processors," in Proc. 1977 Int. Conf. Parallel Processing (Aug. 1977), J. L. Baer, Ed., IEEE, New York, pp 77-86
 
ORGA79
ORGANICS, E. I. "New d~rectlons m computer system architecture," Eurom~cro J 5, 4 (July 1979), 190-202.
 
PLAS76
PLAS, A., et al "LAU system architecture" A parallel data driven processor based on single assignment," in Proc. 1976 Int. Conf. Parallel Processing (Aug. 1976), pp. 293-302.
 
RODR69
 
RUMB77
RUMBAUGH, J. E "A data flow mulhprocessor," IEEE Trans. Comput. C-26, 2 (Feb 1977), 138-146.
 
SCHO24
SCHONFINKEL, M. "Uber die Bausteine der Mathematmchen Log}k," Math. Ann 92, 305 (1924).
 
SEIT79
SEITZ, C. (Ed) Proc. Conf Very Large Scale integratmn (Pasadena, Calif., Jan. 1979).
 
SHRO77
SHROEDER, M. A., AND MEYER, R. A "A distributed computer system using a data flow approach," Proc. 1977 Int. Conf Parallel Processing (Aug. 1977), p. 93.
 
SLEE80
SLEEP, M R "Apphcatlve languages, dataflow and pure combmatory code," Proc IEEE COMPCON 80 (Feb. 1980), IEEE, New York, pp. 112-115.
 
SLEE81
SLEEP, M. R, AND BURTON, F. W. "Towards a zero assignment parallel processor," m Proc. 2nd int Conf. D~str~buted Computing (Apr. 1981)
 
SYRE76
SYRE, J. C, et al. "Parallelism, control and synchronization expression in a single assignment language" (abstract), m Proc. 4th Annu. A CM Computer Science Conf. (Feb 1976), ACM, New York.
 
SYRE77
SYRE, J. C., COMTE, D., AND HIFDI, N. "Plpehnmg, parallelism and asynchromsm m the LAU system," m Proc 1977 Int Conf Parallel Processing (Aug. 1977), pp. 87-92.
 
TESL68
TESLER, L. G., AND ENEA, H. J. "A language design for concurrent processes," m Proc. Nat. Computer Conf (Atlantic City, N.J., April 30-May 2), vol 32, AFIPS Press, Arhngton, Va, 1968, 403-408.
 
TREL78
TRELEAVEN, P. C "Principle components of a data flow computer," Proc 1978 Euromlcro Syrup. (Munich, W. Germany, Oct I978), pp. 366-374.
 
TREL79
TRELEAVEN, P. C. "Exploiting program concurrency m computing systems," Computer 12, 1 (Jan. 1979), 42- 49
TREL80a
TREL80b
 
TREL81a
TRELEAVEN, P. C., AND HOPKINS, R. P. "A recurslve (VLSI) computer architecture," Tech. Rep. 161, Computing Lab., Univ. of Newcastle upon Tyne, Mar. 1981.
 
TREL81b
 
TREL82
TRELEAVEN, P. C., HOPKINS, R. P., AND RAUTENBACH, P W. "Combining data flow and control flow computing," Cornput. J. 25, 1 (Feb 1982).
 
TURN79a
TURNER, D. A. "A new Implementation technique for applicative languages," Soft. Pract. Exper. 9 (Sept, 1979), 31-49.
 
TURN79b
TURNER, D.A. "Another algorithm for bracket abstraction," J. Symbol Logic 44, 2 (June 1979), 267-270.
 
VEEN80
VEEN, A. H. "Reconciling data flow machines and conventional languages," Tech. Rep lW 146/80, Mathematical Center, Amsterdam, Sept 1980.
 
WATS79
WATSON, I., AND GURD, J "A prototype data flow computer with token labehng," m Proc Nat Computer Conf. (New York, N.Y., June 4-7), vol. 48, AFIPS Press, Arlington, Va., 1979, pp. 623-628.
 
WENG75
WENG, K. S. "Stream-oriented computation m recursive data flow schemas," Tech. Rep TM-68, Lab. for Computer Science, Massachusetts Institute of Technology, Oct 1975
 
WILN80
WILNER, W "Recursive machines," Intern. Rep., Xerox PARC, Palo Alto, Calif., 1980.
 
ADAM68
ADAMS, D.A. "A computation model with data flow sequencing," Tech. Rep. CS 117, Computer Science Dep., Stanford Unlv, Stanford, Cahf., December 1968
ARVI77c
 
BAHR72
BANA79
 
BOLE80
BOLEY, H. "A preliminary survey of artificial intelligence machines," Rundbrief der Fachgruppe Kunstliche Intelligenz in der Gesellschaft fur Informatik, UniversitAt Hamburg, 1980.
 
BURG75
BURGE, W. H. Recursive programming techniques, Addison-Wesley, Reading, Mass., 1975.
 
CHUR41
CHURCH, A. "The calcuh of lambdaconversion," Princeton Univ. Press, Princeton, N.J, 1941.
 
DARL82
 
DAVI80
DAVIS, A. L, AND DRONGOWSKI, P. J. "Dataflow computers: A tutorial and survey," Tech. Rep. UUCS-80-109, Dep. Computer Science, Univ. of Utah, July 1980.
 
DAVI81
DAVIS, A. L., AND LOWER, S. A. "A sample management application program in a graphical data-driven programming language," in Proc. IEEE COMPCON 81 (Feb. 1981), IEEE, New York, pp. 162-165.
 
DENN75a
DENNIS, J.B. "Packet communication architecture," m Proc. 1975 Computer Conf. Parallel Processing, 1975, pp. 224- 229.
 
DENN77
DENNIS, j B., AND WENG, K.- S. "Application of data flow computation to the weather problem." in Proc. Syrup. H~gh Speed Computer and Algorithm Organzsation, 1977, pp 143-157.
 
DENN80
DENNIS, J. B. "Data-flow supercomputers," Computer 13, 11 (Nov. 1980), 48-56.
 
DOMA81
DOMAN, A. "PARADOCS: A highly parallel dataflow computer and its dataflow language," Euromicro J. 7 (1981), 20-31
FRIE77
 
FRIE78
FRIEDMAN, D. P., AND WISE, D. S. "Aspects of applicative programming for parallel processing," IEEE Trans. Comput. C-27, 4 (Apr. 1978), 289- 296.
 
GAJS81
GAJSKI, D. D., et al. "Dependence driven computation," in Proc. IEEE COMPCON 81 (Feb. 1981), IEEE, New York, pp. 156-161.
 
GURD78
GURD, J., AND WATSON, i. "A multilayered data flow architecture," in Proc. 1977 Int. Conf Parallel Processing (Aug. 1977), p. 94.
 
HEWI77
HEWITT, C. E., AND BAKER, H. "Actors and continuous functionals," in Proc. IFIP Working Conf Formal Description of Programming Concepts (St. Andrews, N. B., Canada, Aug 1977), E J. Neuhold, Ed., Elsevier North-Holland, New York, 1977, pp. 16.1-16.21.
 
KARP66
KARP, R. M., AND MILLER, R. E. "Properties of a model for parallel computations: Determinacy, termination and queuing," SIAM J. Appl. Math. 11, 6 (Nov. 1966), 1390-1411.
 
KARP69
KARP, R. M., AND MILLER, R. E. "Parallel program schemata," J. Comput. Syst. Sc~. 3, 4 (May 1969), 147- 195.
 
KOSI73a
KOSINSKI, P.R. "A data flow programming language," Tech. Rep. RC 4264, IBM T. J. Watson Research Center, Yorktown Heights, N.Y., Mar. 1973.
KOSI73b
 
KOTO80
KOTOV, V. E. "On basic parallel language," in Proc. IFIP 80 Congr. (Tokyo, Japan and Melbourne, Australia), Elsevier North-Holland, New York, 1980.
KOWA79
 
MAGO79b
MAGG, G A. "A cellular, language directed computer architecture," in Proc. Conf. Very Large Scale Integration (Pasadena, Calif., Jan. 1979), pp. 447- 452.
 
MAGO81
MAG0, G. A., STANAT, D. E., AND KOS- TER, A. "Program execution on a cellular computer Some matrix algorithms," Tech. Rep., Dep. Computer Science, Univ. of North Carolina, Chapel Hill, May 1981.
 
MANN74
 
MEYE76
MEYER, S.C. "An analytic approach to performance analysis for a class of data flow processors," m Proc 1976 Int. Conf. Parallel Processing (Aug. 1976), pp. 106-115.
 
MILL72
 
MISU75a
MISUNAS, D.P. "Deadlock avoidance in a data-flow architecture," in Proc. Symp. Automatw Computation and Control (Milwaukee, Wis., Apr. 1975).
 
MISU75b
MISUNAS, D. P "Structure processing in a data flow computer," in Proc. 1975 Int. Conf Parallel Processing (Aug. 1975), pp. 230-234.
 
MISU76
MISUNAS, D. P. "Error detection and recovery in a data-flow computer," in Proc. 1976 Int. Conf. Parallel Process- ~ng (Aug. 1976), pp. 117-122.
SHAR80
 
SHRI78
SHRIVER, B. D., AND LANDRY, S. P. "An overview of dataflow related research," Tech. Rep. Dep. Computer Science, Univ of Southwestern Louisiana, 1978
 
WENG79

CITED BY  56

Collaborative Colleagues:
Philip C. Treleaven: colleagues
David R. Brownbridge: colleagues
Richard P. Hopkins: colleagues