ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Articles  (4)
  • correctness  (2)
  • 0–1 programming  (1)
  • stability
  • Springer  (4)
  • 1965-1969  (4)
  • Mathematics  (4)
Collection
  • Articles  (4)
Source
Keywords
Publisher
  • Springer  (4)
Years
Year
Topic
  • Mathematics  (4)
  • 1
    Electronic Resource
    Electronic Resource
    A note on unconditionally stable linear multistep methods (1967)
    Springer
    BIT 7 (1967), S. 65-70 
    Details
    ISSN: 1572-9125
    Keywords: Differential equations ; multistep methods ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract It has been shown by Dahlquist [3] that the trapezoidal formula has the smallest truncation error among all linear multistep methods with a certain stability property. It is the purpose of this note to show that a slightly different stability requirement permits methods of higher accuracy.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01934126
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    A branch-bound algorithm for a wiring problem (1969)
    Springer
    BIT 9 (1969), S. 133-156 
    Details
    ISSN: 1572-9125
    Keywords: Branch and Bound ; discrete optimization ; 0–1 programming
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract A simple computational method for solving a specific wiring problem related to the construction of the RC 4000 computer is described. The intimate relationship between the wiring problem and the traveling salesman problem is established, and the algorithm is based upon the “branch and bound” technique as employed by J.D.C. Little et al. [1] for solving the latter problem.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01933250
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    A constructive approach to the problem of program correctness (1968)
    Springer
    BIT 8 (1968), S. 174-186 
    Details
    ISSN: 1572-9125
    Keywords: Algorithms ; proof ; correctness
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract As an alternative to methods by which the correctness of given programs can be established a posteriori, this paper proposes to control the process of program generation such as to produce a priori correct programs. An example is treated to show the form that such a control might then take. This example comes from the field of parallel programming; the way in which it is treated is representative of the way in which a whole multiprogramming system has actually been constructed.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01933419
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    Programming by action clusters (1969)
    Springer
    BIT 9 (1969), S. 250-258 
    Details
    ISSN: 1572-9125
    Keywords: Programming ; algorithms ; proof ; correctness ; programming language
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract The paper describes a programming discipline, aiming at the systematic construction of programs from given global requirements. The crucial step in the approach is the conversion of the global requirements into sets of action clusters (sequences of program statements), which are then used as building blocks for the final program. The relation of the approach to proof techniques and to programming languages is discussed briefly.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01946816
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...