|
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
|
T. J.W. Clarke , P. J.S. Gladstone , C. D. MacLean , A. C. Norman, SKIM - The S, K, I reduction machine, Proceedings of the 1980 ACM conference on LISP and functional programming, p.128-135, August 25-27, 1980, Stanford University, California, United States
[doi> 10.1145/800087.802798]
|
| |
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
|
Arvind , Kim P. Gostelow , Wil Plouffe, Indeterminacy, monitors, and dataflow, Proceedings of the sixth ACM symposium on Operating systems principles, p.159-169, November 16-18, 1977, West Lafayette, Indiana, United States
|
| |
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Kenneth W. Fiduk , Sally Kleinfeldt , Marta Kosarchyn , Eileen B. Perez, Design methodology management—a CAD framework initiative perspective, Proceedings of the 27th ACM/IEEE conference on Design automation, p.278-283, June 24-27, 1990, Orlando, Florida, United States
|
|
|
|
|
|
|
|
|
A. S. Mazer, A dataflow-based APL for the hypercube, Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, p.505-512, January 19-20, 1988, Pasadena, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Isabel Gouveia Lima , Richard Hopkins , Lindsay Marshall , David Mundy , Philip Treleaven, Decentralised control flow - based on UNIX, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.192-201, June 27-29, 1983, San Francisco, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J. Herath , Y. Yamaguchi , N. Saito , T. Yuba, Dataflow Computing Models, Languages, and Machines for Intelligence Computations, IEEE Transactions on Software Engineering, v.14 n.12, p.1805-1828, December 1988
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lewis Foti , David English , Richard P. Hopkins , David J. Kinniment , Philip C. Treleaven , Wang Long Wang, Reduced-instruction set multi-microcomputer system, Proceedings of the July 9-12, 1984, national computer conference and exposition, July 09-12, 1984, Las Vegas, Nevada
|
|
|
J. R. Jump , J. D. Wise , D. T. Harper, III, An interleaved array-processing architecture, Proceedings of the July 9-12, 1984, national computer conference and exposition, July 09-12, 1984, Las Vegas, Nevada
|
|