Engineering topics
Publications and source records attributed to Hibbard, T. N..
The main purpose of the present paper is to suggest an executable algorithmic notation for VLSI solutions which, in many cases, may be more natural than traditional programming notation.
A recursive algorithm is described which detects and characterizes point sources and extended sources in the data obtained from the Infrared Astronomical Satellite (IRAS) in the presence of non-stationary noise. The analysis of tests using simulated data indicates that the performance of the point source detector is very close to that expected from a matched filter with stationary gaussian noise. The false alarm rate of the extended source detector tends to be higher than expected at a given SNR.
Systematic software design can be based on the development of a 'hierarchy of virtual machines', each representing a 'level of abstraction' of the design process. The reported investigation presents the concept of 'data space' as a formal model for virtual machines. The presented model of a data space combines the notions of data type and mathematical machine to express the close interaction between data and control structures which takes place in a virtual machine. One of the main objectives of the investigation is to show that control-independent data type implementation is only of limited usefulness as an isolated tool of program development, and that the representation of data is generally dictated by the control context of a virtual machine. As a second objective, a better understanding is to be developed of virtual machine state structures than was heretofore provided by the view of the state space as a Cartesian product.