The design of a software structure which will operate reliably in realtime is considered. The techniques used to modify the software or configuration on line were developed within this software structure. The conclusi...
详细信息
The design of a software structure which will operate reliably in realtime is considered. The techniques used to modify the software or configuration on line were developed within this software structure. The conclusions from a pilot implementation, simulating Air Traffic Control, and using Coral 66 or a Modular 1, are discussed.
The present use of computers in biological teaching as well as future potential in all levels of biology is described. The role of faculty and students in using computers to enhance biological teaching is considered. ...
详细信息
The present use of computers in biological teaching as well as future potential in all levels of biology is described. The role of faculty and students in using computers to enhance biological teaching is considered. Even professors who will not use computers in their own courses should consider supporting the use of computers in other courses.
This paper describes a coherent method of automatic program retrieval and automatic programming. The objective system, given a simple specification for an intended program. produces a program simply by retrieving an e...
详细信息
This paper describes a coherent method of automatic program retrieval and automatic programming. The objective system, given a simple specification for an intended program. produces a program simply by retrieving an existing program or by combining existing programs together or with newly composed programs. This paper describes the underlying principles, a proposed method, complexity, and experiments that have been done using a prototype system called ARDEX.
The article discusses the use of robots for industrial applications and educational services. Topics include the big data collection process of robots, the ability of robots to perform routine tasks such as programmin...
详细信息
The article discusses the use of robots for industrial applications and educational services. Topics include the big data collection process of robots, the ability of robots to perform routine tasks such as programming, object manipulation, and information sharing, and the standard framework used by robots in computer programming.
In order to improve the performance of time sharing systems, techniques are proposed to restructure large FORTRAN systems to reduce the size of their localities. Instead of looking for typical FORTRAN programs' ru...
详细信息
In order to improve the performance of time sharing systems, techniques are proposed to restructure large FORTRAN systems to reduce the size of their localities. Instead of looking for typical FORTRAN programs' runtime behavior, techniques are developed to tame the ″troublemakers'″ runtime behavior. The same techniques can be applied for adjusting large systems to small computers.
A formalism is presented for specifying the functional properties of abstract data types. This formalism is more powerful than the algebraic formalism of Guttag and others because procedures can be specified as easily...
详细信息
A formalism is presented for specifying the functional properties of abstract data types. This formalism is more powerful than the algebraic formalism of Guttag and others because procedures can be specified as easily as functions. After an explanation of why algebraic specifications are not appropriate for most software development, the key concepts of the formalism are explained and illustrated. A format for the specification of an abstract data type is presented. An example of such a specification follows, after which some limits of this approach are discussed.
ABSTRACTcomputer programming and municipal engineering (ME) students’ specialised knowledge are still poorly integrated, leading to limited improvement of students’ programming abilities. This paper describes an eff...
详细信息
ABSTRACTcomputer programming and municipal engineering (ME) students’ specialised knowledge are still poorly integrated, leading to limited improvement of students’ programming abilities. This paper describes an effective attempt in ME at Xi’an University of Architecture and Technology (XAUAT). Students were divided into several teams and required to develop software tools for ME design problems using Visual C++ 6.0. In this teaching approach, students need to identify the solutions by integrating knowledge in mathematics, physics, chemistry, basic engineering science, and ME. Moreover, students should develop programmes with friendly interfaces, essential prompts, and reliable results. The example programmes, positive feedback from the survey, and better performance in the final examination proved that the students’ abilities of knowledge application and problem-solving had been developed, and their motivation in learning programming had been improved.
As newer supercomputers continue to increase the number of threads, there is growing pressure on applications to exploit more of the available parallelism in their codes, including coarse-, medium-, and fine-grain par...
详细信息
As newer supercomputers continue to increase the number of threads, there is growing pressure on applications to exploit more of the available parallelism in their codes, including coarse-, medium-, and fine-grain parallelism. OpenMP (TM) is one of the dominant shared-memory programming models and is well suited for exploiting medium- and fine-grain parallelism. OpenMP research has focused on application tuning, compiler optimizations, programming-model extensions, and porting to distributed-memory platforms;however, we have found that current algorithms used to implement basic OpenMP constructs have significant overheads and scale poorly. In this paper, we explore low-overhead, scalable algorithms for creating parallel regions and demonstrate reductions in overhead of up to a factor of 5 on an IBM Blue Gene (R)/Q node.
We describe the University of Wyoming telescope control and data-acquisition software system. The software was designed to be maintainable, portable, and inexpensive. Moreover, the, software was designed to allow rapi...
详细信息
We describe the University of Wyoming telescope control and data-acquisition software system. The software was designed to be maintainable, portable, and inexpensive. Moreover, the, software was designed to allow rapid communication between the hardware, the data-acquisition processes, and the tracking processes, while leaving each distinct. We show how the new real-time features embodied in the POSIX.4 standard and implemented in the Unix compatible LynxOS operating system allow us to perform all of our tasks on a single 80486 machine with a standard Unix-like environment, with outstanding real-time performance. We discuss our telescope pointing model, which allows us to point with a root-mean-square error of less than 5 arcsec over the sky with the 2.3-m telescope. For more detailed investigation and use, we will make the software available through anonymous FTP.
This area of technological advance not only has made possible but has also required the use of increasingly more complex components and systems in water-utility operations. It also has made it increasingly necessary t...
详细信息
This area of technological advance not only has made possible but has also required the use of increasingly more complex components and systems in water-utility operations. It also has made it increasingly necessary to employ more sophisticated techniques and equipment in the design and operation of those facilities. Here, one such area is considered—the application of modern techniques and equipment to the analysis of pipe networks.
暂无评论