By Topic

IBM Systems Journal

Issue 4 • Date 1970

Filter Results

Displaying Results 1 - 8 of 8
  • Automatic generation of test cases

    Publication Year: 1970, Page(s):242 - 257
    Cited by:  Papers (10)  |  Patents (14)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1603 KB)

    The machine production of programs for testing certain aspects of programming products has been achieved. The system has been successfully used on a number of products to establish their reliability in accepting new test cases without error. The input to the system is a syntax definition in a formal notation. The construction of such a definition for a high-level language is an exacting task. It y... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The authorization problem in shared files

    Publication Year: 1970, Page(s):258 - 280
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1895 KB)

    Selective sharing of information has been considered in this paper only with regard to auxiliary storage in a certain general type of time-sharing system. Further study is needed to provide an efficient authorization system within the central processor's main storage. Effort is also required to enable programs to pass privileges selectively when calling other programs. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Compiler assignment of data items to registers

    Publication Year: 1970, Page(s):281 - 317
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (2392 KB)

    In this paper, we described three methods of globally assigning data items to register: one-one, many-one, and many-few. Each method is a particular single-valued mapping of a set of data items into a set of registers. We developed a formulation of each method as an integer programming problem, and showed the one-one and many-one global assignment problems to be special cases of the global many-fe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Authors

    Publication Year: 1970, Page(s): 318
    IEEE is not the copyright holder of this material | PDF file iconPDF (720 KB)
    Freely Available from IEEE
  • Abstracts

    Publication Year: 1970, Page(s):319 - 322
    IEEE is not the copyright holder of this material | PDF file iconPDF (1150 KB)
    Freely Available from IEEE
  • Volume 9, 1970

    Publication Year: 1970, Page(s): 323
    IEEE is not the copyright holder of this material | PDF file iconPDF (821 KB)
    Freely Available from IEEE
  • Five-year author index

    Publication Year: 1970, Page(s):324 - 327
    IEEE is not the copyright holder of this material | PDF file iconPDF (977 KB)
    Freely Available from IEEE
  • Five-year subject index

    Publication Year: 1970, Page(s):328 - 331
    IEEE is not the copyright holder of this material | PDF file iconPDF (1374 KB)
    Freely Available from IEEE

Aims & Scope

Throughout its history, the IBM Systems Journal has been devoted to software, software systems, and services, focusing on concepts, architectures, and the uses of software.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
John J. Ritsko
IBM T. J. Watson Research Center5