This paper describes the structure and tasking features of the programming language Martlet. Martlet is based on two languages: Pascal and the US Department of Defence language Ada. Essentially, the sequential part of...
详细信息
This paper describes the structure and tasking features of the programming language Martlet. Martlet is based on two languages: Pascal and the US Department of Defence language Ada. Essentially, the sequential part of the language is Pascal and this has been extended to include a number of the structural and tasking features of Ada. The latter are described in the paper, and also the overheads required to implement these features on an actual multiprocessor structure are presented.
The design of the Ada arithmetic capabilities is presented as an elaborate compromise between conflicting requirements of efficiency and machine independence. The costs and benefits incurred by this compromise are exp...
详细信息
The design of the Ada arithmetic capabilities is presented as an elaborate compromise between conflicting requirements of efficiency and machine independence. The costs and benefits incurred by this compromise are explored in some detail and some areas for eventual investigation in the light of future experience with Ada arithmetic are identified.
An outline of a formalism for writing specifications of synchronisation behaviours is given, together with a sketch of an approach to the transformation between such a specification and an implementation in Ada. The m...
详细信息
An outline of a formalism for writing specifications of synchronisation behaviours is given, together with a sketch of an approach to the transformation between such a specification and an implementation in Ada. The model of implementation is that each specification is regarded as defining a mechanism, the 'object manager', which controls the occurrence of events in the system. Each object manager is implemented as an Ada package that provides a collection of procedures to a collection of tasks. Hidden inside the package are 'shared' data structures and a synchronisation task which schedules the start of execution of each procedure call.
This tutorial paper describes how device hardware may be programmed directly from a Pascal-like high-level language. The familiar data types of Pascal are extended to include information which specifies a mapping onto...
详细信息
This tutorial paper describes how device hardware may be programmed directly from a Pascal-like high-level language. The familiar data types of Pascal are extended to include information which specifies a mapping onto device hardware, and concurrent programming constructs are introduced as a natural environment for low-level I/O programming. Examples of interrupt-driven I/O are presented, and existing language designs are discussed.
This paper discusses good programming practice, principally for assembly language programs for microprocessors. Current literature on the subject is written mainly for large system programmers and offers little help t...
详细信息
This paper discusses good programming practice, principally for assembly language programs for microprocessors. Current literature on the subject is written mainly for large system programmers and offers little help to the engineering programmer, for whom this paper is written.
The ever-increasing complexity and decreasing cost of microelectronics devices continuously adds to the knowledge and skills needed by design engineers so that they may exploit fully any advantages of this technology....
详细信息
The ever-increasing complexity and decreasing cost of microelectronics devices continuously adds to the knowledge and skills needed by design engineers so that they may exploit fully any advantages of this technology. This knowledge must be taught without detriment to more conventional electrical-engineering subjects, and so must be taught efficiently. In the case of microprocessors, which are of essence very practical devices, this is best achieved in a purpose-designed laboratory. Stand-alone microprocessor development systems could be used to develop programs and to interconnect with suitable experiments. For a laboratory equipped for many concurrent users, a more flexible system can be built around a multiuser minicomputer provided with ‘cross-product software’ and with simple microprocessor boards connected by serial lines. The useful life of a minicomputer will span several generations of microprocessor devices which can be incorporated into the laboratory by modifying the software at low cost.
A system is described which provides for the output of information from a real engineering database in spoken form. Data extracted from the database is converted by the system, using its own predefined knowledge of th...
详细信息
A system is described which provides for the output of information from a real engineering database in spoken form. Data extracted from the database is converted by the system, using its own predefined knowledge of the information domain and a knowledge of simple English, into a sequence of words and an associated pitch contour. The spoken output is then generated by the concatenation and resynthesis of previously analysed stored isolated words using a hardware digital speech synthesiser.
暂无评论