Abstract is missing.
- Resource Allocation in Computer Systems and Computer-Communication NetworksLeonard Kleinrock. 11-18
- C-System: Multiprocessor Network ArchitectureR. L. Sharma, J. C. Shah, M. T. El-Bardai, K. K. Sharma. 19-23
- A High-Level MinicomputerF. K. Williamson, Brian R. Gaines, J. A. Maine, P. V. Facey. 44-48
- The Pipelined Central Controls of the Golem B Computer SystemMyron Melman. 49-54
- Geoprocessor: A Computer for Geophysical ResearchF. Anceau, Ph. Drouet, C. Beauducel, P. Courboulet, J. Cretin. 55-59
- A Very High-Speed Microprogrammable Pipeline Signal ProcessorHideo Aiso, Mario Tokoro, Shunichi Uchida, Hideki Mori, Noriyuki Kaneko, Motoo Shimada. 60-64
- Recursive Machines and Computing TechnologyV. M. Glushkov, M. B. Ignatyev, V. A. Myasnikov, V. A. Torgashev. 65-70
- A Formal Model for System Oriented ArchitecturePhilippe Darondeau, Serge Guiboud-Ribaud, Claude Otrage. 71-75
- Some Techniques for Microprogram ValidationGeorge B. Leeman Jr., William C. Carter, Alexander Birman. 76-80
- ZIP - A Computational SystemHarry D. Huskey. 89-93
- A Parallel Computer for Array ProcessingMichael J. B. Duff, D. M. Watson. 94-97
- MICS - A Multi-Microprocessor SystemKenji Ohmori, Nobuhiko Koike, Koji Nezu, Shun ichi Suzuki. 98-102
- STARLET: An Unothodox Concept of a String/Array ComputerWolfgang K. Giloi, Helmut K. Berg. 103-107
- High Speed Generation of Fault Location Data for Logic CircuitsAkira Nakamura, Junro Nose, Shuzo Yamakawa. 112-116
- Redundancy and Robustness in Memory ProtectionButler W. Lampson. 128-132
- MU5 - An Assessment of DesignF. H. Sumner. 133-136
- Computers in the 1980s - Trends in Hardware TechnologyRein Turn. 137-140
- Simulation Studies of an Isarithmically Controlled Store and Forward Data Communication NetworkWyn L. Price. 151-154
- On the Realization of Arbitrary Switching Functions with a Linear Number of TestsWolfgang Coy. 165-167
- A General Approach to the Problem of Interleaved Memory ReconfigurationsJorge Santos. 171-174
- Software Redundancy in Real Time SystemsHermann Kopetz. 182-186
- Use of Petri Nets for Proving Correctness of Concurrent Process SystemsKurt Lautenbach, Hans Albrecht Schmid. 187-191
- Some Steps Toward Formal and Automated Aids to Software Requirements Analysis and DesignBarry W. Boehm. 192-197
- On Instrumentation Facilities in Programming LanguagesGlenn H. MacEwen. 198-203
- A Tool for Structured Program DevelopmentPeter Henderson, Robert A. Snowdon. 204-207
- Simulation Structures and SETLWilliam R. Franta, Kurt Maly. 208-212
- EXTRAN - A Top-Down Programming SystemTan Watanabe, Fujio Yamamoto. 213-217
- A (Truly) Usable and Portable Compiler Writing SystemOlivier Lecarme, Gregor von Bochmann. 218-221
- About ABC ALGOL: A Language for Formula Manipulation SystemsReind P. van de Riet. 222-225
- Modelling a Drum in a Queueing NetworkJ. H. Hine, D. R. Fitzwater. 226-229
- The Effects of Service Time Distributions on System PerformanceMartin Reiser, Hisashi Kobayashi. 230-234
- Performance of the Page Fault Frequency Replacement Algorithm in a Multiprogramming EnvironmentHolger Opderbeck, Wesley W. Chu. 235-241
- Selected Measurements of the PDP-10 Tops-10 Timesharing Operating SystemPaul J. Jalics, William C. Lynch. 242-246
- Design and Implementation of a Time-Sharing System: A Critical AppraisalClaude Kaiser, Sacha Krakowiak. 247-251
- Optimization of Program Organization by Cluster AnalysisTakashi Masuda, Hiroyuki Shiota, Kenichiro Noguchi, Takashi Ohki. 261-265
- Improving Program Locality by Strategy-Oriented RestructuringDomenico Ferrari. 266-270
- Optimal Load Balancing in Memory HierarchiesJeffrey P. Buzen, Peter P. Chen. 271-275
- Control Concepts of a Logical Network Machine for Data BanksJean-Claude Chupin. 291-295
- PIXIN: A Data Language for Network ModellingMalcolm P. Atkinson. 296-300
- Placement of Records in a File and File Allocation in a ComputerKapali P. Eswaran. 304-307
- Two-Level Grammars in ActionJ. E. L. Peck. 317-321
- Domain-Independent Automatic ProgrammingRobert Balzer, Norton Greenfeld, Martin Kay, William Mann, Walter Ryder, David Wilczynski, Albert L. Zobrist. 326-330
- A Deadlock-Free Scheme for Resource Locking in a Data-Base EnvironmentDonald D. Chamberlin, Raymond F. Boyce, Irving L. Traiger. 340-343
- Bounds on Scheduling Algorithms for Heterogeneous Comnputing SystemsJane W.-S. Liu, C. L. Liu. 349-353
- Timing Features for Systems Implementation LanguagesDennis J. Frailey. 354-358
- A Scheme for Representing Descriptors as DataClifford R. Hollander. 363-366
- Formal View on Schema-Subschema CorrespondenceHorst Biller, Erich J. Neuhold. 367-371
- Practical Minimization of LR(k) Parser TablesMarc L. Joliat. 376-380
- Example of Transformation of a Derivation Tree for an Expression by Semantic AttributesDimitri Tusera. 381-385
- On the Design of Programming LanguagesNiklaus Wirth. 386-393
- Interprocedural Data Flow AnalysisFrances E. Allen. 398-402
- A Class of Recursive CoroutinesBernd Krieg. 408-412
- Making Global Variables BeneficialLeon Presser, John R. White. 413-418
- Systems Programming as an Emerging DisciplineGerhard Seegmüller. 419-426
- Concurrency in Hashed File AccessLeo H. Groner, Amrit L. Goel. 431-435
- Storage Characteristics and Methods for Searching and AddressingRudolf Bayer. 440-444
- Estimation of Errors and Derivatives in Ordinary Differential EquationsC. William Gear. 447-451
- Definition of a Matrical Transformation Permitting the Discretization of a Set of Differential EquationsPierre Borne, Jean-Claude Gentina. 452-455
- Solution Boundary Value Problems by a Weighted l::1:: MinimizationJ. Ben Rosen. 456-460
- The Power of Parallelism and Nondeterminism in ProgrammingAshok K. Chandra. 461-465
- The Semantics of Simple Language for Parallel ProgrammingGilles Kahn. 471-475
- On the Convergence Behaviour of Some Minimization AlgorithmsJosef Stoer. 476-482
- The Evolution of Algebraic Manipulation AlgorithmsJoel Moses. 483-488
- Topological Sorting and Flow GraphsMatthew S. Hecht. 494-499
- An Algorithm for Finding the Diameter of a GraphW. F. Smyth, W. M. L. Benzi. 500-503
- Algorithms for Minimizing Mean Flow TimeJohn L. Bruno, Edward G. Coffman Jr., Ravi Sethi. 504-510
- An Application of Regular Algebra to the Enumeration of Cut Sets in a GraphAlberto Martelli. 511-515
- Some Aspects in the Construction of TimetablesGunther Schmidt, Thomas Ströhlein. 516-520
- On a New Use of Elementary TransformationsPatricia J. Eberlein. 524-526
- Shifts of Origin for the QR AlgorithmYousef Saad. 527-531
- An Automated Programming System to Facilitate the Development of Quality Mathematical SoftwareJames M. Boyle, Kenneth W. Dritz. 542-546
- An Algorithm for Minimizing Convex FunctionsClaude Lemaréchal. 552-556
- Restarts and Rotations of Quasi-Newton MethodsDavid F. Shanno, Allen Berg, Grant A. Cheston. 557-561
- PCDB - A Procedure Generator for a Predicate Calculus Data BaseAnders Haraldson. 575-579
- Dependency Structures of Data Base RelationshipsWilliam Ward Armstrong. 580-583
- Contribution to the Theory of IndexingGerard Salton, C. S. Yang, Clement T. Yu. 584-590
- Fuzzy Logic and Its Application to Approximate ReasoningLotfi A. Zadeh. 591-594
- Natural Language Question Answering and Automatic Deduction in the System SyntexJean-Marie Nicolas, Jean-Claude Syre. 595-599
- Parallel Algorithms for Adaptive Quadrature - ConvergenceJohn R. Rice. 600-604
- Theoretical Impediments to Artificial IntelligenceMichael O. Rabin. 615-619
- Complexity of Computer ComputationsJohn E. Hopcroft. 620-626
- Numerical Application of the Generalized Euler TransformationHenry C. Thacher Jr.. 627-631
- The Laurent-Pade TableWilliam B. Gragg, G. D. Johnson. 632-637
- Computed Access in Ragged ArraysArnold L. Rosenberg. 642-646
- Design of Minimal Expected Processing Time Finite-State TransducersTaylor L. Booth. 652-656
- R-Fuzzy AutomataWolfgang Wechler, Vladimir Dimitrov. 657-660
- A Complete Axiom System of Super-Regular ExpressionsTakayasu Ito, Shigeru Ando. 661-665
- The Numerical Treatment of Large Eigenvalue ProblemsG. W. Stewart. 666-672
- On the Numerical Solution of Boundary Value Problems for Ordinary Differential EquationsMichael R. Osborne. 673-677
- On the Optimality of Elia s Algorithm for Performing Best-Match SearchesRonald L. Rivest. 678-681
- Linear Tangent Algorithms and Lower Bounds for the Complexity of ComputationJacques Morgenstern. 682-684
- Parallel Algorithms and Parallel Comnputational ComplexityJ. F. Traub. 685-687
- The Dynamic Clusters Method in Pattern RecognitionEdwin Diday, A. Schroeder, Y. Ok. 691-697
- GALATEA: Interactive Graphics for the Analysis of Moving ImagesRobert P. Futrelle. 712-716
- On the Application of Relational Data Structures in Computer GraphicsRobin Williams. 722-726
- Optimization Methods in Image ProcessingUgo Montanari. 727-732
- Digital Processing of Earth Observation ImageryRalph Bernstein. 733-737
- Picture Processing Laboratory and Its ApplicationTakeo Kanade, Yuichi Ohta. 738-742
- Design for a Syntax-Controlled Acoustic ClassifierRenato de Mori. 753-757
- A Unified Method for Processing PolyhedraMamoru Hosaka, Fumihiko Kimura, Naotake Kakishita. 768-772
- An Experimental Investigation of the Performance of a Computer-Aided Building Design SystemB. G. J. Thompson, John Hughes. 773-777
- Artificial IntelligenceNils J. Nilsson. 778-801
- Control Robotics: The Procedural Control of Physical ProcessesMichael L. Dertouzos. 807-813
- Collaborative Problem-Solving Between Optimistic and Pessimistic Problem SolversLaurent Siklóssy, John W. Roach. 814-817
- Symbolic Evaluation of Definite Integrals by Residue Theory in MacsymaPaul S. Wang. 823-827
- A Heuristic Program to Discover Syntheses for Complex Organic MoleculesN. S. Sridharan. 828-833
- Point Sequences Generated by Two-Dimensional RecurrencesI. Gumowski, C. Mira. 851-855
- Simualtion of Patterns of Nature by Computer GraphicsLeslie Mezei, Martine Puzin, Pat Conroy. 861-865
- Alphabetic and Numeric Data Processing: A View from the HumanitiesJoseph Raben. 866-871
- A Current C.A.I. Project: The O.P.E. SystemF. Adam, R. Jacoud, M. Jacques, J. J. Kessis, J. J. Pelletreau, J. Penne, J. P. Rambaut, J. P. Toulouse. 875-879
- Computer Based packages in hte Instructional Engineering ApproachF. Esposito, G. Ingravallo, A. Liso, O. Murro, G. Prezioso, M. Refice, M. Abbattista, C. Dell Aquila. 880-883
- Computer Animation Used as a Tool in Teaching Computer ScienceF. Robert A. Hopgood. 889-892
- Conputer-Generated Semantics DisplaysElliott I. Organick, Joseph Wilson Thomas. 898-902
- Student Produced Example Game with Computer Feedback for FORTRAN LearningAlvin J. Surkan. 903-907
- The Implications of Star Computing NetworksNorman R. Nielsen. 908-912
- Local TransformationsAravind K. Joshi, Leon S. Levy. 921-923
- A Learning Method for Natural Language Processing and Application to Information RetrievalAlexandre Andreewsky, Christian Fluhr. 924-927
- Information SystemsBörje Langefors. 937-945
- Toward Integrated MISE. W. Chadler, A. N. Mazzawi. 952-956
- Towards a Generic Information System Design ProcessG. X. Amey, R. Baglow, E. W. Chadler, P. Nador, J. Spruce Riordon. 957-961
- On the Development of Decision Support Systems as a Marketing ProblemCharles B. Stabell. 962-966
- Improvements in the System CycleDaniel Teichroew. 972-978
- Design of Optimal Merge on Direct Access DevicesLaurent Hyafil, F. Prusker, Jean Vuillemin. 979-982
- Sequential Files on Cycling StorageSven Tafvelin. 983-987
- A Technique for File SurveillanceRichard W. Conway, William L. Maxwell, Howard L. Morgan. 988-992
- Basic Operations on Information as a Basis for Data Base DesignPaul Lindgreen. 993-997
- Current and Future Trends in Data Base Management SystemsT. William Olle. 998-1006
- Experience with Scrapbook, a Non-Formatted Data Base SystemP. M. Cashin, M. G. Robinson, D. M. Yates. 1012-1016
- Recent Investigations in Relational Data Base SystemsE. F. Codd. 1017-1021 [doi]
- An Extensible Semantic Model of Data Base and Its Data languageJean-Luc Hainaut, Baudouin Le Charlier. 1026-1030
- FORUM: A Computer-Based System to Support Interaction among PeopleRoy Amara, Jacques F. Vallee. 1052-1056
- Decision Support System: Some Lessons from an On-Going ApplicationMichael Scott Morton. 1062-1066
- Extremely Large Data Systems for National StatisticsEdgar H. Sibley, Alfonz Rabenseifer. 1072-1075
- Numerical Application of Stochastic Optimal Control to Inventory and Investment ProblemsJ. P. Quadrat. 1088-1091
- Optimal Disturbance Control within the Management Information SystemKornel Terplan. 1092-1095