default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. IFIP Congress 1968, Volume 1: Edinburgh, UK
- A. J. H. Morrel:
Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 1 - Mathematics, Software. 1968
Part 1 - Mathematics
Invited Papers
- Ivo Babuska:
Numerical stability in mathematical analysis. IFIP Congress (1) 1968: 11-23 - Max E. Engeli:
Achievements and problems in formula manipulation. IFIP Congress (1) 1968: 24-32 - D. K. Faddeev, V. N. Faddeeva:
Stability in linear algebra problems. IFIP Congress (1) 1968: 33-39 - Thomas E. Hull:
The numerical integration of ordinary differential equations. IFIP Congress (1) 1968: 40-53 - Karl Nickel:
Error-bounds and computer arithmetic. IFIP Congress (1) 1968: 54-62 - John Alan Robinson:
New directions in mechanical theorem proving. IFIP Congress (1) 1968: 63-69 - J. Barkley Rosser, J. Michael Yohe, Lowell Schoenfeld:
Rigorous computation and the zeros of the Riemann zeta-function. IFIP Congress (1) 1968: 70-76 - A. A. Samarskiy:
The constructive theory of stability of difference schemes. IFIP Congress (1) 1968: 77-79 - S. V. Yablonski:
A survey of some results in the field of discrete mathematics. IFIP Congress (1) 1968: 80-85
Approximation
- Claude Carasso, P. J. Laurent:
On the numerical construction and the practical use of interpolating spline-functions. IFIP Congress (1) 1968: 86-89 - Gregory G. Menshikov:
Problems of binary representation of functions. IFIP Congress (1) 1968: 90-94 - M. J. D. Powell:
A comparison of spline approximations with classical interpolation methods. IFIP Congress (1) 1968: 95-98 - Eugene L. Wachspress:
Solution of the generalized ADI minimax problem. IFIP Congress (1) 1968: 99-105 - H. K. E. Werner:
Starting procedures for the iterative calculation of rational Tschebyscheff approximations. IFIP Congress (1) 1968: 106-110
Linear Algebra
- Alan J. Hoffman:
Bounds for the rank and eigenvalues of a matrix. IFIP Congress (1) 1968: 111-113 - Beresford N. Parlett, William Kahan:
On the convergence of a practical QR algorithm. IFIP Congress (1) 1968: 114-118 - Víctor Pereyra:
Stabilizing linear least squares problems. IFIP Congress (1) 1968: 119-121 - M. J. D. Powell, John K. Reid:
On applying Householder transformations to linear least squares problems. IFIP Congress (1) 1968: 122-126 - A. van der Sluis:
Equilibration and pivoting in linear algebraic systems. IFIP Congress (1) 1968: 127-129 - James Hardy Wilkinson:
Global convergence of QR algorithm. IFIP Congress (1) 1968: 130-133
Numerical Analysis
- Yasuhiko Ikebe, M. Stuart Lynn, William P. Timlake:
The numerical solution of the integral equation formulation of the Neumann problem. IFIP Congress (1) 1968: 134-137 - Jozef Miklosko:
Numerical integration with highly oscillating weight functions. IFIP Congress (1) 1968: 138-144 - David M. Young, Alvis E. McDonald:
On the surveillance and control of number range and accuracy in numerical computation. IFIP Congress (1) 1968: 145-152
Partial Differential Equations
- Paul Concus:
Numerical solution of the minimal surface equation by block nonlinear successive overrelaxation. IFIP Congress (1) 1968: 153-158 - J. F. Croce-Spinelli:
A method for identification problems in partial differential equations. IFIP Congress (1) 1968: 159-163 - John C. Mason:
Chebyshev methods for separable partial differential equations. IFIP Congress (1) 1968: 164-169 - Robert Vichnevetsky:
Application of hybrid computers to the integration of partial differential equations of the first and second order. IFIP Congress (1) 1968: 170-178 - M. Zlámal:
On mildly nonlinear elliptic boundary value problems. IFIP Congress (1) 1968: 179-182
Ordinary Differential Equations
- Germund Dahlquist:
A numerical method for some ordinary differential equations with large Lipschitz constants. IFIP Congress (1) 1968: 183-186 - C. William Gear:
The automatic integration of stiff ordinary differential equations. IFIP Congress (1) 1968: 187-193 - Fred T. Krogh:
A variable-step, variable-order multistep method for the numerical solution of ordinary differential equations. IFIP Congress (1) 1968: 194-199 - Michael R. Osborne:
A new method for the integration of stiff systems of ordinary differential equations. IFIP Congress (1) 1968: 200-204
Discrete Mathematics
- E. F. Assmus Jr., H. F. Mattson Jr.:
Some (3 p, p) codes. IFIP Congress (1) 1968: 205-209 - A. Roger Meetham:
Partial isomorphisms in graphs and structural similarities in tree-like organic molecules. IFIP Congress (1) 1968: 210-213 - E. Pichat:
Algorithms for finding the maximal elements of a finite universal algebra. IFIP Congress (1) 1968: 214-218 - Norman J. Pullman, John W. Moon:
Tournaments and handicaps. IFIP Congress (1) 1968: 219-223 - Miguel Sánchez-Mazas:
Preliminary ideas concerning an automatic computation of "qualities". IFIP Congress (1) 1968: 224-230
Mathematical Programming
- P. Cazottes, M. Oden:
Engines and trains: a sophisticated assignment problem. IFIP Congress (1) 1968: 231-237 - Monique Guignard, Kurt Spielberg:
Search techniques with adaptive features for certain integer and mixed integer programming problems. IFIP Congress (1) 1968: 238-244 - P. Kalfon, G. Ribiere, J. C. Sogno:
A method of feasible directions using projection operators. IFIP Congress (1) 1968: 245-248 - Pavel Kovanic:
Optimum digital operators. IFIP Congress (1) 1968: 249-255
Theory of Computation
- Harvey L. Garner:
The classification of finite number systems. IFIP Congress (1) 1968: 256-259 - Sheila A. Greibach, John E. Hopcroft:
Scattered context grammars. IFIP Congress (1) 1968: 260-264 - Jozef Gruska:
Unambiguity and ambiguity of context-free grammars and languages. IFIP Congress (1) 1968: 265-268 - Bruce Kallick:
A decision procedure based on the resolution method. IFIP Congress (1) 1968: 269-275 - Shmuel Winograd:
The number of multiplications involved in computing certain functions. IFIP Congress (1) 1968: 276-279
Automata Theory
- A. M. Bogomolov, V. A. Tverdokhlebov:
Conditions for the existence of diagnostic tests for complex systems. IFIP Congress (1) 1968: 280-282 - Wayne A. Davis:
Linear realizations for permutation machines. IFIP Congress (1) 1968: 283-289 - Giuseppe Fantauzzi:
A semigroup theory for the Maitra cascade. IFIP Congress (1) 1968: 290-299 - Lawrence H. Landweber:
Synthesis algorithms for sequential machines. IFIP Congress (1) 1968: 300-304 - Fernand R. Lapscher:
Decomposition of Boolean functions. Properties relative to the intermediate function. IFIP Congress (1) 1968: 305-307 - Bernd Reusch:
Linear and partial-linear realization of automata. IFIP Congress (1) 1968: 308-311
Part 2 - Software
Invited Papers
- Fernando J. Corbató, Jerome H. Saltzer:
Some considerations of supervisor program design for multiplexed computer systems. IFIP Congress (1) 1968: 315-321 - C. A. R. Hoare:
Data structures in two-level store. IFIP Congress (1) 1968: 322-329 - S. Michaelson:
How to succeed in software. IFIP Congress (1) 1968: 330-333 - W. L. van der Poel:
The software crisis, some thoughts and outlooks. IFIP Congress (1) 1968: 334-339
Special Topics in Compilers
- Jean-Loup Baer, Daniel P. Bovet:
Compilation of arithmetic expressions for parallel computations. IFIP Congress (1) 1968: 340-346 - Jan V. Garwick:
The GPL compiler. IFIP Congress (1) 1968: 347-350 - Vadim E. Kotov, Alexander S. Narin'yani:
On transformation of sequential programs into asynchronous parallel programs. IFIP Congress (1) 1968: 351-357
Compiler Techniques
- Gary Y. Breitbard, Gio Wiederhold:
The ACME compiler. IFIP Congress (1) 1968: 358-365 - Eric Foxley, P. R. King:
A meta-semantic language for use with a top-down syntax analyser. IFIP Congress (1) 1968: 366-372 - T. R. McKinnon Wood:
A multi-access implementation of an interpretive text processing language. IFIP Congress (1) 1968: 373-377 - R. B. E. Napper:
The need to revise the Compiler Compiler. IFIP Congress (1) 1968: 378-383 - M. Peccoud, M. Griffiths, M. Peltier:
Incremental interactive compilation. IFIP Congress (1) 1968: 384-387 - Gordon Whitney:
The generation and recognition properties of table languages. IFIP Congress (1) 1968: 388-394
Techniques in Commercial Programming
- P. S. T. Buckerfield:
A technique for the construction and use of a generalized information table. IFIP Congress (1) 1968: 395-403 - R. Erskine:
Exception programming - the model concept. IFIP Congress (1) 1968: 404-409 - M. E. E. Warren:
Program generation by questionnaire. IFIP Congress (1) 1968: 410-413 - A. H. Wright:
The management of applications programming. IFIP Congress (1) 1968: 414-419
Formal Languages and Definitions
- D. L. Childs:
Feasibility of a set-theoretic data structure. A general structure based on a reconstituted definition of relation. IFIP Congress (1) 1968: 420-430 - G. Del Nero:
An approach to the formal description of the LAMBDA system. IFIP Congress (1) 1968: 431-436 - Timothy V. Griffiths, Stanley R. Petrick:
Top-down versus bottom-up analysis. IFIP Congress (1) 1968: 437-443 - Reino Kurki-Suonio:
Formal description of input data. IFIP Congress (1) 1968: 444-447 - William C. Lynch, H. L. Pierson:
A finite state transducer model for compiler lexical scanners. IFIP Congress (1) 1968: 448-455 - John C. Reynolds:
Automatic computation of data set definitions. IFIP Congress (1) 1968: 456-461
Application Languages
- Carl Engelman:
MATHLAB 68. IFIP Congress (1) 1968: 462-467 - William P. Harris, Peter B. Hill:
The Reckoner and the Mediator: a consumer-oriented on-line system. IFIP Congress (1) 1968: 468-473 - Anne Hohler:
The MOBULA feature. IFIP Congress (1) 1968: 474-478 - C. Hucl:
LOGOL and its application to computer development. IFIP Congress (1) 1968: 479-483
Designs of Software
- Jack B. Dennis:
Programming generality, parallelism and computer architecture. IFIP Congress (1) 1968: 484-492 - Ted A. Dolotta, C. A. Irvine:
Proposal for a time sharing Command Structure. IFIP Congress (1) 1968: 493-498 - Jack L. Rosenfeld, Graham C. Driscoll:
Solution of the Dirichlet problem on a simulated parallel processing system. IFIP Congress (1) 1968: 499-507 - G. G. Scarrott, J. K. Iliffe:
The Basic Languge Project. IFIP Congress (1) 1968: 508-513 - Michael E. Senko, Vincent Y. Lum, Philip J. Owens:
A file organization evaluation model (FOREM). IFIP Congress (1) 1968: 514-519
Operating System Implementation
- Robert W. Bemer, A. L. Ellison:
Software instrumentation systems for optimum performance. IFIP Congress (1) 1968: 520-524 - P. D. Jones:
Operating system structures. IFIP Congress (1) 1968: 525-530 - Peter C. Poole:
Some aspects of the EGDON 3 operating system for the KDF9. IFIP Congress (1) 1968: 531-535 - J. Standeven, K. F. Bowden, David B. G. Edwards:
An operating system for a small computer providing time-shard data collection, computing and control functions. IFIP Congress (1) 1968: 536-541 - David F. Stevens:
System evaluation on the Control Data 6600. IFIP Congress (1) 1968: 542-547 - Brian A. Wichmann:
A modular operating system. IFIP Congress (1) 1968: 548-556
Data Structure Manipulation Languages
- David Evans, Andries van Dam:
Data Structure Programming System. IFIP Congress (1) 1968: 557-564 - J. M. Noble:
The control of exceptional conditions in PL/1 object programs. IFIP Congress (1) 1968: 565-571 - T. William Olle:
UL/1: a non-procedural language for retrieving information from data bases. IFIP Congress (1) 1968: 572-578 - Paul Rovner, Jerome A. Feldman:
The LEAP language and data structure. IFIP Congress (1) 1968: 579-585
Picture Processing
- Morton I. Bernstein, T. G. Williams:
A two-dimensional programming system. IFIP Congress (1) 1968: 586-592 - John J. Donovan, Malcolm M. Jones, J. W. Alsop:
A graphical facility for an interactive simulation system. IFIP Congress (1) 1968: 593-596 - Leslie Mezei:
SPARTA, a procedure oriented programming language for the manipulation of arbitrary line drawings. IFIP Congress (1) 1968: 597-604 - J. Nolan, Lynn Yarbrough:
An on-line computer drawing and animation system. IFIP Congress (1) 1968: 605-610
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
