|
1. |
IEE Computing & Control Division: Chairman's address: Co-operative computing and control |
|
IEE Proceedings E (Computers and Digital Techniques),
Volume 137,
Issue 1,
1990,
Page 1-16
J.M.Taylor,
Preview
|
PDF (1784KB)
|
|
摘要:
The pace of innovation in the information technologies continues unabated, and massive investment in the digital infrastructure required for distributed information systems is proceeding steadily. The paper summarises some of the basic technology trends of the past five years and describes some of the consequent systems trends, including workstation networks, open system standards, digital communications and computer supported co-operative work. A key characteristic of most of these developments is the need for systems that support co-operation between people, between people and machines, between machines, and between organisations. Some examples of these are discussed including X400 electronic mail, CCITT SS7 separate channel signalling and electronic conferencing. Some of the newer disciplines required to support an engineering approach to building very large distributed information systems are then described, including protocol engineering, distributed systems architecture, object-oriented design and system control and management. The paper concludes by reviewing some of the issues these technologies raise for the engineering professional and the role of the IEE in the 1990s
DOI:10.1049/ip-e.1990.0001
出版商:IEE
年代:1990
数据来源: IET
|
2. |
Four-slot fully asynchronous communication mechanism |
|
IEE Proceedings E (Computers and Digital Techniques),
Volume 137,
Issue 1,
1990,
Page 17-30
H.R.Simpson,
Preview
|
PDF (1961KB)
|
|
摘要:
The paper is concerned with communication mechanisms in which a record in shared memory is maintained by a writer to provide a coherent and up-to-date data reference which may be accessed at any time by a reader. The dynamic properties of several possible designs are briefly discussed before concentrating on a fully asynchronous form called a four-slot mechanism. This takes its name from the four-element array through which data is routed. Coherence is maintained by means of an orthogonal avoidance strategy without recourse to conventional synchronisation techniques such as semaphores, rendezvous, monitors or critical sections. Various implementation options are considered including software and hardware designs. It is seen that the fully asynchronous mechanism completes the range of basic communication options available to digital system designers.
DOI:10.1049/ip-e.1990.0002
出版商:IEE
年代:1990
数据来源: IET
|
3. |
Survey of square rooting algorithms |
|
IEE Proceedings E (Computers and Digital Techniques),
Volume 137,
Issue 1,
1990,
Page 31-40
P.Montuschi,
M.Mezzalama,
Preview
|
PDF (1369KB)
|
|
摘要:
The paper reviews the algorithms for the computation of square roots for binary machines. After an initial classification, the algorithms are analysed in detail by considering their specific peculiarities and properties. Finally, some comments are made regarding their ideal and effective implementation in hardware, software or microcode
DOI:10.1049/ip-e.1990.0003
出版商:IEE
年代:1990
数据来源: IET
|
4. |
Hierarchical design of delay-insensitive systems |
|
IEE Proceedings E (Computers and Digital Techniques),
Volume 137,
Issue 1,
1990,
Page 41-56
P.N.Lam,
H.F.Li,
Preview
|
PDF (1647KB)
|
|
摘要:
A set of building blocks is presented for the hierarchical design of delay-insensitive systems. It consists of delay-insensitive (DI) building blocks and hybrid (non-DI) building blocks. An extended signal transition graph (STG) model is used for circuit specification and analysis. It permits the clear specification of delay-insensitive circuits, distinguishing between environment/module behaviour and DI/non-DI components. A hierarchical composition procedure is described for the composition of deterministic STG specifications. As an example, a circuit for distributed mutual exclusion is designed and implemented.
DOI:10.1049/ip-e.1990.0004
出版商:IEE
年代:1990
数据来源: IET
|
5. |
Universal shift matrix |
|
IEE Proceedings E (Computers and Digital Techniques),
Volume 137,
Issue 1,
1990,
Page 57-64
L.E.M.Brackenbury,
P.J.Wells,
J.B.Gosling,
Preview
|
PDF (829KB)
|
|
摘要:
Serial shifting techniques are slow whereas a totally parallel approach, though fast, is impractical for implementational reasons. A novel intermediate approach is presented whereby circular shifting is performed over two or three levels depending on the factorisation of the shift lengthn.The use of read-only memories to control its operation and to provide arithmetic and logical shifting produces a hardware structure which can be automatically generated by software for use in cell-based integrated circuit design. This implementation is compared for CMOS and bipolar differential mode logic.
DOI:10.1049/ip-e.1990.0005
出版商:IEE
年代:1990
数据来源: IET
|
6. |
Traffic routing algorithm for serial superchip system customisation |
|
IEE Proceedings E (Computers and Digital Techniques),
Volume 137,
Issue 1,
1990,
Page 65-73
W.Chen,
J.Mavor,
P.B.Denyer,
D.Renshaw,
Preview
|
PDF (1034KB)
|
|
摘要:
A traffic routing algorithm is presented for system customisation of the serial superchip architecture [1, 2]. In modern signal processing and scientific computation, system reconfigurability is highly desired to achieve dynamic reconfiguration during system operation and static reconfiguration. For example, for defect/fault tolerance before system operation. The superchip architecture is aimed at achieving both dynamic and static reconfigurability. The algorithm introduced here is intended to help system designers customise a superchip (which may be partially good) at the systems level. The algorithm will optimally search for traffic routes according to the connectivity information extracted from system specification, while avoiding defective elements on the chip.
DOI:10.1049/ip-e.1990.0006
出版商:IEE
年代:1990
数据来源: IET
|
7. |
Transformation of timed Petri nets for response time estimation |
|
IEE Proceedings E (Computers and Digital Techniques),
Volume 137,
Issue 1,
1990,
Page 74-80
H.R.Oh,
W.H.Chung,
M.Kim,
Preview
|
PDF (888KB)
|
|
摘要:
In the paper is proposed a transformation method for the simplification of timed Petri nets to estimate the response time. A complicated timed Petri net which is live and safe is transformed into a simpler one with a smaller state space by hierarchically replacing a convertible subnet with the corresponding decision net. It is shown that the information for the response time analysis is not lost but is kept during the transformation. An illustrative example is given.
DOI:10.1049/ip-e.1990.0007
出版商:IEE
年代:1990
数据来源: IET
|
8. |
Efficient characterisation of cellular automata |
|
IEE Proceedings E (Computers and Digital Techniques),
Volume 137,
Issue 1,
1990,
Page 81-87
A.K.Das,
A.Ganguly,
A.Dasgupta,
S.Bhawmik,
P.P.Chaudhuri,
Preview
|
PDF (690KB)
|
|
摘要:
The paper characterises cellular automata (CA) with the help of matrix algebra. It has been shown howk-neighborhood additive CA rules (uniform, complemented and hybrid) can be represented with the help of a characteristic matrix representing the CA. Further, the paper discusses how the global group properties of the automata depend on the hybridisation of rules, the length of the automata, the starting state, etc.
DOI:10.1049/ip-e.1990.0008
出版商:IEE
年代:1990
数据来源: IET
|
9. |
Implementation of 32-bit RISC processor incorporating hardware concurrent error detection and correction |
|
IEE Proceedings E (Computers and Digital Techniques),
Volume 137,
Issue 1,
1990,
Page 88-102
I.D.Elliott,
I.L.Sayers,
Preview
|
PDF (1596KB)
|
|
摘要:
The need for reliable integrated circuits is becoming of paramount importance as they are increasingly used in a range of safety critical applications or domestic products. In the past reliability has been achieved at the IC level by comprehensive testing of the device after manufacture. The use of scan design and BILBO techniques have assisted designers in achieving the necessary high test coverages with little effort. However these methods only address the problem of testing for permanent faults after fabrication or periodically during the lifetime of a system. These ‘classical’ techniques do not tackle the more serious problem of intermittent faults, which will come to dominate VLSI circuits as device geometries decrease. To deal with intermittent faults and maintain reliable operation concurrent test methods need to be used. The paper will present one possible method of detecting and correcting single intermittent faults that occur during normal operation and also assist the designer in post fabrication testing. The chosen technique uses information redundancy in the form of a SEC/DED Hamming code and will be illustrated by the design of a 32-bit CMOS RISC processor. The processor is capable of detecting and correcting errors arising from faults as they occur without the need to halt normal operations or recourse to any specialised software. A detailed appraisal of the costs involved in using this technique will be given in terms of the extra silicon area needed and the reduction in throughput of the processor.
DOI:10.1049/ip-e.1990.0009
出版商:IEE
年代:1990
数据来源: IET
|
10. |
Reed-Muller canonical forms with mixed polarity and their manipulations |
|
IEE Proceedings E (Computers and Digital Techniques),
Volume 137,
Issue 1,
1990,
Page 103-113
D.H.Green,
Preview
|
PDF (1040KB)
|
|
摘要:
The set of 3nconsistent mixed-polarity Reed-Muller canonical forms of ann-variable switching function is described and the means whereby each form may be derived by a transform on the zero-polarity form is investigated. The computational cost of deducing the optimum polarity expansion is evaluated for various strategies. A ternary map-based method is introduced which enables this search and other operations to be performed in a compact and efficient manner.
DOI:10.1049/ip-e.1990.0010
出版商:IEE
年代:1990
数据来源: IET
|
|