Many programming languages for developing system software introduce built-in language facilities to describe the concurrent activities. They all center around the notion of the concurrent activity models and the relev...
详细信息
Many programming languages for developing system software introduce built-in language facilities to describe the concurrent activities. They all center around the notion of the concurrent activity models and the relevant synchronization facilities. These models should reflect the most fundamental and the most common properties about the concurrent activities. Unfortunately, they could hardly be brought into play in some particular situations, for example, the distributed computing situation. This paper discusses the development of a new approach to the discription of the concurrent activities. The basis of the approach is the CLUSTER 86, an object-oriented programming language which differs from other similar languages by its 'all-out-of-nothing' design philosophy.
The authors deal with the use of structured analysis just prior to system acceptance testing. Specifically, the drawing of data flow diagrams (DFDs) was done after integration testing. The DFDs provided a picture of t...
详细信息
The authors deal with the use of structured analysis just prior to system acceptance testing. Specifically, the drawing of data flow diagrams (DFDs) was done after integration testing. The DFDs provided a picture of the logical flow through the integrated system for thorough system acceptance testing. System test sets were derived from the flows in the DFDs. System test repeatability was enhanced by the matrix which flowed from the test sets.
By using new numerical methods it is possible to compute quickly and with a sufficient degree of accuracy complicated potential fields (electrostatic, thermostatic, magnetic fields, etc. ). The program system POT 123,...
详细信息
By using new numerical methods it is possible to compute quickly and with a sufficient degree of accuracy complicated potential fields (electrostatic, thermostatic, magnetic fields, etc. ). The program system POT 123, developed specially for such purposes by Siemens, employs the method of finite differences for solving the homogeneous Laplace equation used here. The author discusses the characteristics of the program and gives examples of application as well as results from his investigations into computation times.
作者：
Wegner, Lutz M.Univ Karlsruhe
Inst fuer Angewandte Informatik und Formale Beschreibungsverfahren Karlsruhe Univ Karlsruhe Inst fuer Angewandte Informatik und Formale Beschreibungsverfahren Karlsruhe West
A new algorithm based on Quicksort for sorting in place a distributed file in a message switching network is presented. The algorithmic aspects of the method are discussed and it is compared to other possible approach...
详细信息
A new algorithm based on Quicksort for sorting in place a distributed file in a message switching network is presented. The algorithmic aspects of the method are discussed and it is compared to other possible approaches. The sort is analyzed and is shown to require, on the average, O(M multiplied by (times) log(M)) messages and a total data traffic of O(N multiplied by (times) log(M)) records for a file of size N fragmented over M stations. Arguments for the performance one may expect in practice, where N is much larger than M, are given. They are supported by results from a sequential simulation.
Release page is a supervisor service, which functions to make available all real and auxiliary storage wholly associated with an area of virtual address space. The virtual address space remains allocated, i. e. , the ...
详细信息
Release page is a supervisor service, which functions to make available all real and auxiliary storage wholly associated with an area of virtual address space. The virtual address space remains allocated, i. e. , the area remains addressable, but the contents of the address space are released.
The author discusses exactitude of programs, in particular two methods to achieve well-functioning and perfectible software: structured programming and the use of the so-called semaphors in multiprogramming, as first ...
详细信息
The author discusses exactitude of programs, in particular two methods to achieve well-functioning and perfectible software: structured programming and the use of the so-called semaphors in multiprogramming, as first proposed by Dijkstra.
作者：
Tamminen, MarkkuHelsinki Univ of Technology
Lab of Information Processing Science Espoo Finl Helsinki Univ of Technology Lab of Information Processing Science Espoo Finl
The author studies the effect of data distribution on address computation data structures for searching, as typified by the priority queue problem. He compares several techniques showing that, in contrast to sorting, ...
详细信息
The author studies the effect of data distribution on address computation data structures for searching, as typified by the priority queue problem. He compares several techniques showing that, in contrast to sorting, neither one nor multilevel bucket methods are uniformly efficient for this task. However, an enhancement of order preserving extendible hashing is shown to behave asymptotically independently of the amount of data and its distribution. Also conclusions regarding multiattribute file structures are presented.
暂无评论