VLSI: Algorithms and Architectures

~

d

~

~

VLSI: A Igorithms and Architectures, P Bertolazzi and F Luccio (eds), North-Holland (1985) 484 pp This book is divided into six sections of which the first, 'Foundations' covers theoretical issues on parallel algorithms and computational complexity, in connection with abstract VLSI models. 'Parallel algorithms for VLSI' covers the solution, with highly parallel and synchronous computation of.numerical and combinatorial problems. The section on 'VLSI Architectures' deals with single chip processors of various types designed mainly as repetitive structures such as arrays and trees of elementary interconnected units. 'Layout' presents theoretical results on the complexity of circuit layout and algorithms for planar figure compaction and wire routing. 'Topics in circuit design' include the realization of large digital networks and the simulation of device behaviour that is relevant in CAD systems. The final section on 'Language issues' deals with the programming approach to

104

~

'

:specifying the functioning of synchronous systems containing a large number of communicating processes and to verify the correct operation of such systems.

Vehicle structures~ Mechanical Engineering Pub'lications (1984) Vehicle Structures is aimed at engineers and designers in the automo¢ive industry and at structural specialists. It covers such topics as trends in the design of car front and side structures to meet future safety demands and trends in the simulation of crashworthiness. The latter is also examined indirectly in the coverage of modelling the collapse of cars in asymmetrical barrier impact tests. A parametric study of body shells is also included as is the fatigue analysis of ground vehicle components and the desirable structural features for the design of front and rear under-run bumpers for heavy goods vehicles are described. Finally the subject of joint deforma-

IIIII I lilllll II IIIIIIII II

tions and stresses of commercial vehicle frames under torsion is covered.

Modelling and performance evaluation methodology, F Baccelli and G Fayolle, Springer-Verlag (1984) 653pp The papers cover a wide range of computer science applications incJuding communication systems, architecture, data structures and algorithms. These include such topics as survey of stack algorithms for collisiondetecting channels and their analysis, performance modelling for multiprocessor systems and the normal approximation and queue control for response times in a processor-shared computer system model. The papers cover the determination of salient features such as throughput and response time by stochastic modelling which then gives rise to new probabilistic problems. These in turn may be reduced to the analysis of specific continuous processes related to queuing models.

computer-aided design