The purpose of this research is to develop methods to
translate a certain machine independent intermediate
language (IML) to efficient horizontal microprograms for a
class of microprogrammable machines. This IML has been
developed by Malik (12) and is compiled directly from a
high level microprogramming language used to implement a...
A new modular loop architecture for distributed computer
systems has been developed and compared with three of the most
prominent loop architectures currently being used. The competitive
loops with which the new architecture has been compared
are the Newhall loop, the Pierce loop and the DLCN loop. The four
loop...
This research work investigates the use of production
systems as a model of parallel processing. The purpose of
the model is to provide a suitable medium within which parallel
processing systems can be systematically specified,
analyzed, and designed. Furthermore, the model provides a
suitable means for deriving implementations of synchronization...
The methodology of structured programming has
enabled rapid progress in many areas of theoretical
computer science. Structured programs are generally
easier to debug, test, prove and analyse. The development
of these achievements into commercially viable applications
and products has been slower than expected.
The primary reason is that most of...
Very High Level Languages (VHLL) provide higher level abstractions and more powerful primitives than high level languages (HLL). A programmer uses these abstractions to solve a problem by specifying "what" is to be done rather than "how" it is to be done. This research work reports the design and development...
A new algorithm, the Horizontal and Vertical Algorithm, for
on-line detection of deadlocks in distributed computer systems, is
presented. Two protocols for implementing the algorithm are given.
The first protocol, the centralized protocol, is based on the
assumption that one site in the network acts as the controller for
global...
Conversion of software written for one machine or
operating system to equivalent software for another machine
or operating system is shown to be economically attractive
using source-to-source translation. The features of an
automatic converter are described using a Pascal-to-C
translater as an example. Solutions to the problems of
denesting procedures,...
The specific objectives of this project are to compare the
Sequent and the transputer to determine the speed of both
and find out which is easiest for programming in parallel.
The results are graphs showing relative and real time
speedup versus number of processors and conclusions based
on those graphs....
We extend previous results for optimally scheduling
concurrent program modules, called tasks, on a fixed, finite number
of parallel processors in two fundamental ways: (1) we introduce a
new heuristic which considers the time delay imposed by message
transmission among concurrently running tasks; and (2) we
introduce a second heuristic...
A rule based transformational model for program development and a metatool based on the above model is presented. The meta-tool can be instantiated to create various program development tools such as tools for building reusable software components, language directed editors, language to language translators, program instrumentation, structured document generator, and...