Darlington applied program transformation to derive a number of sorting algorithms. We identify and correct two errors in his derivation of quick sort, one of which causes his resulting algorithm to be non-terminating...
详细信息
Darlington applied program transformation to derive a number of sorting algorithms. We identify and correct two errors in his derivation of quick sort, one of which causes his resulting algorithm to be non-terminating on some inputs, the other of which could have led to an incorrect algorithm, but is fortuitously eliminated later in his derivation.
The FORCE core and peripherals can be easily adapted to a variety of functions including the function of an extremely versatile DMA controller. In the following applications, the FORCE core is used in four different D...
详细信息
The FORCE core and peripherals can be easily adapted to a variety of functions including the function of an extremely versatile DMA controller. In the following applications, the FORCE core is used in four different DMA configurations: 16bit, 32bit, 32bit with scaling, and 16bit with data manipulation types of DMA controllers are explored.
The author has developed a formal theory for reasoning about concurrent program testing by representing such programs as sets of simulating sequential programs. He has shown that if such a representation exists for al...
详细信息
ISBN:
(纸本)0818608684
The author has developed a formal theory for reasoning about concurrent program testing by representing such programs as sets of simulating sequential programs. He has shown that if such a representation exists for all programs in a concurrent language, then it serves as the basis for a solution to the reproducible testing problem of programs in that language. The author does not know under what circumstances such a representation must necessarily exist;that is an open question. However, he has shown that it exists for a simple concurrent language in the CSP family, denoted language CL, and he believes that the model is applicable to other languages in the family. Because CL is currently unimplemented, no pragmatic studies have been done on the feasibility of applying the model.
The author describes the implementation of a task allocation algorithm for multiprocessing systems, providing a simulation package to allocate tasks among identical processors. The proposed model provides an optimal t...
详细信息
The author describes the implementation of a task allocation algorithm for multiprocessing systems, providing a simulation package to allocate tasks among identical processors. The proposed model provides an optimal task-assignment strategy for distributed programs by using the graph theoretical approach proposed by W. Chu et al. (1980). This approach discusses the interconnections between the modules, which are distributed over many processors to take advantage of parallel processing. The simulation package that is used to simulate the task allocation is written in APL. It generates runtimes, communication delays, and execution times for the tasks to be distributed. It then optimizes the system execution time and recommends a task allocation scheme based on these values. In addition, the author provides an allocation strategy based on simulation results. In particular, he focuses on the optimal values of the system runtime and communication delay, and subsequently the system execution time.
A parallel object-oriented programming (POOP) model is presented. It is designed for modeling, describing, and solving a wide variety of artificial intelligence problems. SYMPAL, a parallel symbolic environment and la...
详细信息
A parallel object-oriented programming (POOP) model is presented. It is designed for modeling, describing, and solving a wide variety of artificial intelligence problems. SYMPAL, a parallel symbolic environment and language evolved from Common-Lisp, is described, with emphasis on the POOP style. Several examples are presented to illustrate the simple object-oriented programming style of SYMPAL, and to demonstrate the flexibility of using this style.
Contemporary executable modeling languages for mathematical programming are extended by defining a typing system for all the objects in a model and by specifying formal methods to manipulate the type information. The ...
详细信息
ISBN:
(纸本)0818608439
Contemporary executable modeling languages for mathematical programming are extended by defining a typing system for all the objects in a model and by specifying formal methods to manipulate the type information. The modeler's intent to formulate consistent, meaningful constraints and functions can be automatically verified. It is shown how typing supports the development of integrated models from distinct model components. A library unit is proposed as an extension to modeling languages;it provides a mechanism for building integrated models from previously validated models.
The author describes a methodology for collecting data in usability testing that asks subjects of a test to do structured self-reporting using a questionnaire in an iterative process. The subjects fill out one copy of...
详细信息
The author describes a methodology for collecting data in usability testing that asks subjects of a test to do structured self-reporting using a questionnaire in an iterative process. The subjects fill out one copy of the questionnaire after each of the tasks that comprise the usability test. The author discusses the problems in usability testing that motivated the design of this methodology, the methodology itself, its advantages and disadvantages, the kinds of data that it is best suited to collect, and how to design a test that uses it.
A description is given of the DIF documents integration facility, a hypertext system that helps integrate and manage the documents produced and used throughout the life cycle of software projects. It was designed for ...
详细信息
ISBN:
(纸本)0818608420
A description is given of the DIF documents integration facility, a hypertext system that helps integrate and manage the documents produced and used throughout the life cycle of software projects. It was designed for use in the System Factory, a six-year-old experimental laboratory project at USC to study the development, use, and maintenance of software systems. DIF provides an interface to a hypertext-based information storage structure and to a structured documentation process. A hypertext of software information is built by the software engineers over eight life cycle activities. Salient aspects of DIF include integration of documents within and across several projects, facilities for browsing a hypertext of software documents, support for parallel development of documents, interface to various software-engineering tools, and facilitation of document reuse.
The authors present the concepts and functions of the job-job step scheduler that is the kernel of the software packages developed for the management of the NAL numerical simulator (NS). This scheduler is partially re...
详细信息
ISBN:
(纸本)081860882X
The authors present the concepts and functions of the job-job step scheduler that is the kernel of the software packages developed for the management of the NAL numerical simulator (NS). This scheduler is partially responsible for the high operating ratio of supercomputers in NS, and there is some guarantee of job turnaround.
An algorithm is presented for sorting n2 elements on a two-dimensional systolic processor array. It is proved that this algorithm requires O(nlog n) steps in the worst case. The state of the whole processor array recu...
详细信息
ISBN:
(纸本)0818688602
An algorithm is presented for sorting n2 elements on a two-dimensional systolic processor array. It is proved that this algorithm requires O(nlog n) steps in the worst case. The state of the whole processor array recurs every eight steps, so no global control is necessary. An easy realization of this array on a VLSI circuit is thus possible, and the structure of an elementary processor cell is given. The sorting algorithm is well suited to solve problems of data transfer in locally connected parallel processors with distributed energy.
暂无评论