A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs. Here, the author shows how a th
Three-Dimensional Integrated Circuit Layout (Distinguished Dissertations in Computer Science)
โ Scribed by A. C. Harter
- Year
- 2009
- Tongue
- English
- Leaves
- 238
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Synopsis
The theory and design of integrated circuits has moved forward in leaps and bounds in recent years. This book concentrates on the design of three-dimensional, rather than traditional two-dimensional, circuits. The theory behind such circuits, together with experimental results, are presented in detail.
๐ SIMILAR VOLUMES
Computer vision is a rapidly growing field which aims to make computers 'see' as effectively as humans. In this book Dr Shapiro presents a new computer vision framework for interpreting time-varying imagery. This is an important task, since movement reveals valuable information about the environment
With vastly increased complexity and functionality in the "nanometer era" (i.e. hundreds of millions of transistors on one chip), increasing the performance of integrated circuits has become a challenging task. This is due primarily to the inevitable increase in the distance among circuit elements a
This is the first book presenting a stochastic extension of process algebra, PEPA; this is shown to be suitable for specifying a Markov process, which can then be applied to performance modelling. The method, which is illustrated with case studies taken from the area of communication systems, can re
This thesis is concerned with the design of efficient algorithms for listing combinatorial structures. The research described here gives some answers to the following questions: which families of combinatorial structures have fast computer algorithms for listing their members, What general methods a
<p><P></P><P>This book presents an overview of the field of 3D IC design, with an </P><P>emphasis on electronic design automation (EDA) tools and algorithms </P><P>that can enable the adoption of 3D ICs, and the architectural </P><P>implementation and potential for future 3D system design. The aim o