A spline is a thin flexible strip composed of a material such as bamboo or steel that can be bent to pass through or near given points in the plane, or in 3-space in a smooth manner. Mechanical engineers and drafting specialists find such (physical) splines useful in designing and in drawing plans for a wide variety of objects, such as for hulls of boats or for the bodies of automobiles where smooth curves need to be specified. These days, physi cal splines are largely replaced by computer software that can compute the desired curves (with appropriate encouragment). The same mathematical ideas used for computing "spline" curves can be extended to allow us to compute "spline" surfaces. The application ofthese mathematical ideas is rather widespread. Spline functions are central to computer graphics disciplines. Spline curves and surfaces are used in computer graphics renderings for both real and imagi nary objects. Computer-aided-design (CAD) systems depend on algorithms for computing spline functions, and splines are used in numerical analysis and statistics. Thus the construction of movies and computer games trav els side-by-side with the art of automobile design, sail construction, and architecture; and statisticians and applied mathematicians use splines as everyday computational tools, often divorced from graphic images."

Every pioneer takes large risks, hoping that the new frontier he seeks will provide the benefits of independence and good fortune. Don Tapscott is such a pioneer in the area of office automation. He has been a true pioneer, having entered the field in its early days and taken the risk of working not in technol ogy, which was fashionable, but in the field of the problems of organizations, which was less fashionable, but in many ways more important. The utilization of computers for data processing, accounting, inventory, and other "bread and butter" applications is now well entrenched in our society and culture. The process of designing such systems tends to focus on the needs of the company and the constraints of the equipment, leading to efficient systems with little tolerance for the variety of people who must use or interface with them. Within the office automation area, these methods do not work nearly as well. The frequency and amount of human interaction in the office environment, and the wide variety of situations and reactions there in, demands a different design methodology."

The Current state of expectations is that Computer Integrated Manufacturing (CIM) will ulti mately determine the industrial growth of world nations within the next few decades. Computer Aided Design (CAD), Computer Aided Manufacturing (CAM), Flexible Manufacturing Systems (FMS), Robotics together with Knowledge and Information Based Systems (KIBS) and Com munication Networks are expected to develop to a mature state to respond effectively to the managerial requirements of the factories of the future that are becoming highly integrated and complex. CIM represents a new production approach which will allow the factories to deliver a high variety of products at a low cost and with short production cycles. The new technologies for CIM are needed to develop manufacturing environments that are smarter, faster, close-cou pled, integrated, optimized, and flexible. Sophistication and a high degree of specialization in materials science, artificial intelligence, communications technology and knowledge-information science techniques are needed among others for the development of realizable and workable CIM systems that are capable of adjusting to volatile markets. CIM factories are to allow the production of a wide variety of similar products in small batches through standard but multi mission oriented designs that accommodate flexibility with specialized software."

2 e This book describes principles, methods and tools that are common to computer applications for design tasks. CAD is considered in this book as a discipline that provides the required know-how in computer hardware and software, in systems analysis and in engineering methodology for specifying, designing, implementing, introducing, and using computer based systems for design purposes. The first chapter gives an impression of the book as a whole, and following chapters deal with the history and the components of CAD, the process aspect of CAD, CAD architecture, graphical devices and systems, CAD engineering methods, CAD data transfer, and application examples. The flood of new developments in the field and the success of the first edition of this book have led the authors to prepare this completely revised, updated and extended second edition. Extensive new material is included on computer graphics, implementation methodology and CAD data transfer; the material on graphics standards is updated. The book is aimed primarily at engineers who design or install CAD systems. It is also intended for students who seek a broad fundamental background in CAD.

This text addresses the design methodologies and CAD tools available for the systematic design and design automation of analogue integrated circuits. Two complementary approaches discussed increase analogue design productivity, demonstrated throughout using design times of the different design experiments undertaken.

Model Generation in Electronic Design covers a wide range of model applications and research. The book begins by describing a model generator to create component models. It goes on to discuss ASIC design and ASIC library generation. This section includes chapters on the requirements for developing and ASIC library, a case study in which VITAL is used to create such a library, and the analysis and description of the accuracy required in modeling interconnections in ASIC design. Other chapters describe the development of thermal models for electronic devices, the development of a set of model packages for VHDL floating point operations, a techniques for model validation and verification, and a tool for model encryption. Model Generation in Electronic Design is an essential update for users, vendors, model producers, technical managers, designers and researchers working in electronic design.

Physical Design for Multichip Modules collects together a large body of important research work that has been conducted in recent years in the area of Multichip Module (MCM) design. The material consists of a survey of published results as well as original work by the authors. All major aspects of MCM physical design are discussed, including interconnect analysis and modeling, system partitioning and placement, and multilayer routing. For readers unfamiliar with MCMs, this book presents an overview of the different MCM technologies available today. An in-depth discussion of various recent approaches to interconnect analysis are also presented. Remaining chapters discuss the problems of partitioning, placement, and multilayer routing, with an emphasis on timing performance. For the first time, data from a wide range of sources is integrated to present a clear picture of a new, challenging and very important research area. For students and researchers looking for interesting research topics, open problems and suggestions for further research are clearly stated.Points of interest include: * Clear overview of MCM technology and its relationship to physical design; * Emphasis on performance-driven design, with a chapter devoted to recent techniques for rapid performance analysis and modeling of MCM interconnects; * Different approaches to multilayer MCM routing collected together and compared for the first time; * Explanation of algorithms is not overly mathematical, yet is detailed enough to give readers a clear understanding of the approach; * Quantitative data provided wherever possible for comparison of different approaches; * A comprehensive list of references to recent literature on MCMs provided.

The rapid evolution and explosive growth of integrated circuit technology have impacted society more than any other technological development of the 20th century. Integrated circuits (ICs) are used universally and the expanding use of IC technology requires more accurate circuit analysis methods and tools, prompting the introduction of computers into the design process. The goal of this book is to build a firm foundation in the use of computer-assisted techniques for IC device and process design. Both practical and analytical viewpoints are stressed to give the reader the background necessary to appreciate CAD tools and to feel comfortable with their use. Technology CAD - Computer Simulation of IC Processes and Devices presents a unified discourse on process and device CAD as interrelated subjects, building on a wide range of experiences and applications of the SUPREM program. Chapter 1 focuses on the motivation for coupled process and device CAD. In Chapter 2 SUPREM III is introduced, and process CAD is discussed in terms of ion-implantation, impurity diffusion, and oxidation models.Chapter 3 introduces the Stanford device analysis program SEDAN III (SEmiconductor Device ANalysis). The next three chapters move into greater detail concerning device operating principles and analysis techniques. Chapter 4 reviews the classical formulation of pn junction theory and uses device analysis (SEDAN) both to evaluate some of the classical assumptions and to investigate the difficult problem of high level injection. Chapter 5 returns to MOS devices, reviews the first-order MOS theory, and introduces some important second-order effects. Chapter 6 considers the bipolar transistor. Chapter 7 considers the application of process simulation and device analysis to technology design. The BiCMOS process is selected as a useful design vehicle for two reasons. First, it allows the reader to pull together concepts from the entire book. Second, the inherent nature of BiCMOS technology offers real constraints and hence trade-offs which must be understood and accounted for.

The purpose of computer vision is to make computers capable of understanding environments from visual information. Computer vision has been an interesting theme in the field of artificial intelligence. It involves a variety of intelligent information processing: both pattern processing for extraction of meaningful symbols from visual information and symbol processing for determining what the symbols represent. The term "3D computer vision" is used if visual information has to be interpreted as three-dimensional scenes. 3D computer vision is more challenging because objects are seen from limited directions and some objects are occluded by others. In 1980, the author wrote a book "Computer Vision" in Japanese to introduce an interesting new approach to visual information processing developed so far. Since then computer vision has made remarkable progress: various rangefinders have become available, new methods have been developed to obtain 3D informa tion, knowledge representation frameworks have been proposed, geometric models which were developed in CAD/CAM have been used for computer vision, and so on. The progress in computer vision technology has made it possible to understand more complex 3 D scenes. There is an increasing demand for 3D computer vision. In factories, for example, automatic assembly and inspection can be realized with fewer con straints than conventional ones which employ two-dimensional computer vision."

Software Diversity is one of the fault-tolerance means to achieve dependable systems. In this volume, some experimental systems as well as real-life applications of software diversity are presented. The history, the current state-of-the-art and future perspectives are given. Although this technique is used quite successfully in industrial applications, further research is necessary to solve some open questions. We hope to report on new results and applications in another volume of this series within some years. Acknowledgements The idea of the workshop was put forward by the chairpersons of IFIP WG lOA, J. -c. Laprie, J. F. Meyer and Y. Tohma, in January 1986, and the edi tor of this volume was asked to organize the workshop. This volume was edited with the assistance of the editors of the series, A. AviZienis, H. Kopetz and J. -C. Laprie, who also had the function of reviewers. Karlsruhe, October 1987 U. Voges, Editor Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. Introduction U. Voges 2. Railway Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 ERICSSON Safety System for Railway Control . . . . . . . . . . . . . . . . . . 11 G. Hagelin 3. Nuclear Applications . . . . . . . . . . . . . . . . . . . . . . 23 Use of Diversity in Experimental Reactor Safety Systems . 29 U. Voges The PODS Diversity Experiment . 51 P. G. Bishop 4. Flight Applications . . . . . . . . . . . . . . . . . . . . . . . . . 85 AIRBUS and ATR System Architecture and Specification. . 95 P. Traverse 5. University Research . . . . . . . . . . . . . . . . . . . 105 Tolerating Software Design Faults in a Command and Control System . . . . . . . . . . . . . . . . . . . . . . 109 T. Anderson, P. A. Barrett, D. N. Halliwell, M. R. Moulding DEDIX 87 - A Supervisory System for Design Diversity Experiments at UCLA . . . . . . . . . . . . . . . . . ."

This fourth volume of Advances in Computer Graphics gathers together a selection of the tutorials presented at the EUROGRAPHICS annual conference in Nice, France, Septem ber 1988. The six contributions cover various disciplines in Computer Graphics, giving either an in-depth view of a specific topic or an updated overview of a large area. Chapter 1, Object-oriented Computer Graphics, introduces the concepts of object ori ented programming and shows how they can be applied in different fields of Computer Graphics, such as modelling, animation and user interface design. Finally, it provides an extensive bibliography for those who want to know more about this fast growing subject. Chapter 2, Projective Geometry and Computer Graphics, is a detailed presentation of the mathematics of projective geometry, which serves as the mathematical background for all graphic packages, including GKS, GKS-3D and PRIGS. This useful paper gives in a single document information formerly scattered throughout the literature and can be used as a reference for those who have to implement graphics and CAD systems. Chapter 3, GKS-3D and PHIGS: Theory and Practice, describes both standards for 3D graphics, and shows how each of them is better adapted in different typical applications. It provides answers to those who have to choose a basic 3D graphics library for their developments, or to people who have to define their future policy for graphics.

Computer-AidedInnovation(CAI)isayoungdomaininthearrayofCAxte- nologies. ThegoalofCAIistosupportengineersandenterprisesthroughoutthe completeinnovationprocess. AlthoughsomeexistingideasandconceptsofCAI focus on assisting product designers in their creative stage, a more compreh- sive vision conceives CAI systems beginning at the creative stage of perceiving business opportunities and customer demands, then helping in developing - ventions and, further on, providing help up to the point of turning inventions into successful innovations in the market. Following the track of the last two successful CAI conferences held in 2005, in Germany, and 2007 in USA, the ThirdIFIPWorkingConferenceonComputer-AidedInnovation(CAI)washeld in Harbin, China, and attractedparticipants fromacademia and industry. This workingconferencecontinuedthe traditionofstronglylinkingacademicand- dustrymembers. Theconferencehadseveralparallelsessions, andeightkeynote sessions. Over 100 participants attended the conference. Some famous scholars wereinvited askeynotespeakers. I would liketo takethe opportunityto thank all the authors for their quality research, the international Program Comm- teemembersfortheirsupportinreviewingthepapers, andthelocalOrganizing Committeefortheirpreparationoftheconference. Furthermore, IthanktheC- neseNaturalScienceFoundation, theDepartmentofScienceandTechnologyof HeilongjiangProvincialGovernment, theInstituteofDesignforInnovation, and Hebei University of Technology, for their ?nancial support of the conference. I wouldalsoliketothankZhuLin, YaoYihang, XueGuiying, andCaoGuozhong for their signi?cantcontributions towardthe successof the conference. August 2009 Runhua Tan Organization TheThirdIFIPWorkingConferenceonComputer-AidedInnovation(CAI)was organized by Hebei University of Technology and the Department of Science andTechnologyofHeilongjiangProvincialGovernmentincooperationwiththe National Natural Science Foundationof China. Program Committee Conference Chair Runhua Tan, (Hebei University ofTechnology, China) Noel Leon(ITESM, Campus Monterrey, Mexico) OrganizingChair T. S. Yang (Department ofScience and Technologyof Heilongjiang Provincial Government, China) Referees T. Arciszewski(USA) Y. Li (China) M. Ashtiani (USA) H. Liu (China) G. Cascini(Italy) M. L. Maher (Australia) D. Cavalucci (France) M. B. Mc Grath(USA) R. De Guio(France) G. Mukundan (USA) S. K. Cho (USA) G. Olling (USA) S. Finger (USA) J. Ovtcharova(Germany) J. Gero(Australia) E. Schueler-Hainsch(Germany) C. Gundlach(Germ

Large system complexities and operation under tight timing constraints in rapidly shrinking technologies have made it extremely important to ensure correct temporal behavior of modern-day digital circuits, both before and after fabrication. Research in (pre-fabrication) timing verification and (post-fabrication) delay fault testing has evolved along largely disjoint lines in spite of the fact that they share many basic concepts. A Unified Approach for Timing Verification and Delay Fault Testing applies concepts developed in the context of delay fault testing to path sensitization, which allows an accurate timing analysis mechanism to be developed. This path sensitization strategy is further applied for efficient delay fault diagnosis and delay fault coverage estimation. A new path sensitization strategy called Signal Stabilization Time Analysis (SSTA) has been developed based on the fact that primitive PDFs determine the stabilization time of the circuit outputs. This analysis has been used to develop a feasible method of identifying the primitive PDFs in a general multi-level logic circuit. An approach to determine the maximum circuit delay using this primitive PDF identification mechanism is also presented. The Primitive PDF Identification-based Timing Analysis (PITA) approach is proved to determine the maximum floating mode circuit delay exactly under any component delay model, and provides several advantages over previously floating mode timing analyzers. A framework for the diagnosis of circuit failures caused by distributed path delay faults is also presented. A metric to quantify the diagnosability of a path delay fault for a test is also proposed. Finally, the book presents a very realistic metric for delay fault coverage which accounts for delay fault size distributions and is applicable to any delay fault model. A Unified Approach for Timing Verification and Delay Fault Testing will be of interest to university and industry researchers in timing analysis and delay fault testing as well as EDA tool development engineers and design verification engineers dealing with timing issues in ULSI circuits. The book should also be of interest to digital designers and others interested in knowing the state of the art in timing verification and delay fault testing.

Computer Science Workbench is a monograph series which will provide you with an in-depth working knowledge of current developments in computer technology. Every volume in this series will deal with a topic of importance in computer science and elaborate on how you yourself can build systems related to the main theme. You will be able to develop a variety of systems, including computer software tools, computer gra phics, computer animation, database management systems, and compu ter-aided design and manufacturing systems. Computer Science Work bench represents an important new contribution in the field of practical computer technology. TOSIYASU L. KUNII Preface to the Second Edition Computer graphics is growing very rapidly; only computer animation grows faster. The first edition of the book Computer Animation: Theory and Practice was released in 1985. Four years later, computer animation has exploded. Conferences on computer animation have appeared and the topic is recognized in well-known journals as a leading theme. Computer-generated film festivals now exist in each country and several thousands of films are produced each year. From a commercial point of view, the computer animation market has grown considerably. TV logos are computer-made and more and more simulations use the technique of computer animation. What is the most fascinating is certainly the development of computer animation from a research point-of-view."

Wave Pipelining: Theory and CMOS Implementation provides a coherent presentation of the theory of wave pipelined operation of digital circuits and discusses practical design techniques for the realization of wave pipelined circuits in CMOS technology. Wave pipeling is a timing methodology used in digital systems to enhance performance while conserving the number of data registers used. This is achieved by applying new data to the inputs of a combinatorial logic block before the previous outputs are available. In contrast to conventional pipelining, system performance is limited by differences in maximum and minimum circuit delay rather than maximum circuit delays. Realization of practical systems using this technique requires accurate system level and circuit level timing analysis. At the system level, timing constraints identifying valid regions of operation for correct clocking of wave pipelined circuits are presented. Both single stage and multiple stage systems including feedback are considered. At the circuit level, since performance is determined by the maximum circuit delay difference, highly accurate estimates of both maximum and minimum delays are needed.Thus, timing analysis based on traditional gate delay models is not sufficient. For CMOS circuits, data dependent delay models considering the effect of simultaneous multiple input switchings must be used. An algorithm using these delay models for accurate analysis of small to medium sized circuits is implemented in a prototype timing analyzer, XTV. Results are given for a set of benchmark circuits.

The design of asynchronous circuits is increasingly important in solving problems such as complexity management, modularity, power consumption and clock distribution in large digital integrated circuits. Since the second half of the 1980s asynchronous circuits have been the subject of a great deal of research following a period of relative oblivion. The lack of interest in asynchronous techniques was motivated by the progressive shift towards synchronous design techniques that had much more structure and were much easier to verify and synthesize. System design requirements made it impossible to totally eliminate the use of asynchronous circuits. Given the objective difficulty encountered by designers, the asynchronous components of electronic systems, such as interfaces, became a serious bottleneck in the design process. The use of new models and some theoretical breakthroughs made it possible to develop asynchronous design techniques that were reliable and effective.Algorithms for Synthesis and Testing of Asynchronous Circuits describes a variety of mathematical models and of algorithms that form the backbone and the body of a new design methodology for asynchronous design. The book is intended for asynchronous hardware designers, for computer-aided tool experts, and for digital designers interested in exploring the possibility of designing asynchronous circuits. It requires a solid mathematical background in discrete event systems and algorithms. While the book has not been written as a textbook, it could nevertheless be used as a reference book in an advanced course in logic synthesis or asynchronous design. Algorithms for Synthesis and Testing of Asynchronous Circuits also includes an extensive literature review, which summarizes and compares classical papers from the 1960s with the most recent developments in the areas of asynchronous circuit design testing and verification. The validity and utility of employment tests have become entangled in the debate over the 1991 Civil Rights Bill.Worried about compliance with new federal guidelines for test validity, and concerned about possible lawsuits, the business world became wary of pre-employment testing in the early 1980s, but the use of employment testing increased throughout that decade.

The purpose of this book is to present computationally efficient algorithms for calculating the dynamics of robot mechanisms represented as systems of rigid bodies. The efficiency is achieved by the use of recursive formulations of the equations of motion, i.e. formulations in which the equations of motion are expressed implicitly in terms of recurrence relations between the quantities describing the system. The use of recursive formulations in dynamics is fairly new, 50 the principles of their operation and reasons for their efficiency are explained. Three main algorithms are described: the recursIve Newton-Euler formulation for inverse dynamics (the calculation of the forces given the accelerations), and the composite-rigid-body and articulated-body methods for forward dynamics (the calculation of the accelerations given the forces). These algorithms are initially described in terms of an un-branched, open loop kinematic chain -- a typical serial robot mechanism. This is done to keep the descriptions of the algorithms simple, and is in line with descriptions appearing in the literature. Once the basic algorithms have been introduced, the restrictions on the mechanism are lifted and the algorithms are extended to cope with kinematic trees and loops, and general constraints at the joints. The problem of simulating the effect of contact between a robot and its environment is also considered. Some consideration is given to the details and practical problems of implementing these algori?hms on a computer."

Computer-aided design has come of age in the magnetic devices industry. From its early beginnings in the 1960s, when the precision needs of the experimental physics community first created a need for computational aids to magnet design, CAD software has grown to occupy an important spot in the industrial designer's tool kit. Numerous commercial CAD systems are now available for magnetics work, and many more software packages are used in-house by large industrial firms. While their capabilities vary, all these software systems share a very substantial common core of both methodology and objec tives. The present need, particularly in medium-sized and nonspecialist firms, is for an understanding of how to make effective use of these new and immensely powerful tools: what approximations are inherent in the methods, what quantities can be calculated, and how to relate the com puted results to the needs of the designer. These new analysis techniques profoundly affect the designer's approach to problems, since the analytic tools available exert a strong influence on the conceptual models people build, and these in turn dictate the manner in which they formulate prob lems. The impact of CAD is just beginning to be felt industrially, and the authors believe this is an early, but not too early, time to collect together some of the experience which has now accumulated among industrial and research users of magnetics analysis systems."

Differential equations is a subject of wide applicability, and knowledge of dif Differential equations is a subject of wide applicability, and knowledge of dif ferential ferential equations equations topics topics permeates permeates all all areas areas of of study study in in engineering engineering and and applied applied mathematics. mathematics. Some Some differential differential equations equations are are susceptible susceptible to to analytic analytic means means of of so so lution, lution, while while others others require require the the generation generation of of numerical numerical solution solution trajectories trajectories to to see see the the behavior behavior of of the the system system under under study. study. For For both both situations, situations, the the software software package package Maple Maple can can be be used used to to advantage. advantage. To To the the student student Making Making effective effective use use of of differential differential equations equations requires requires facility facility in in recognizing recognizing and and solving solving standard standard "tractable" "tractable" problems, problems, as as well well as as having having the the background background in in the the subject subject to to make make use use of of tools tools for for dealing dealing with with situations situations that that are are not not amenable amenable to to simple simple analytic analytic approaches. approaches.

The changing manufacturing environment requires more responsive and adaptable manufacturing systems. The theme of the 4th International Conference on Changeable, Agile, Reconfigurable and Virtual production (CARV2011) is "Enabling Manufacturing Competitiveness and Economic Sustainability". Leading edge research and best implementation practices and experiences, which address these important issues and challenges, are presented. The proceedings include advances in manufacturing systems design, planning, evaluation, control and evolving paradigms such as mass customization, personalization, changeability, re-configurability and flexibility. New and important concepts such as the dynamic product families and platforms, co-evolution of products and systems, and methods for enhancing manufacturing systems' economic sustainability and prolonging their life to produce more than one product generation are treated. Enablers of change in manufacturing systems, production volume and capability scalability and managing the volatility of markets, competition among global enterprises and the increasing complexity of products, manufacturing systems and management strategies are discussed. Industry challenges and future directions for research and development needed to help both practitioners and academicians are presented.

Document image analysis is the automatic computer interpretation of images of printed and handwritten documents, including text, drawings, maps, music scores, etc. Research in this field supports a rapidly growing international industry. This is the first book to offer a broad selection of state-of-the-art research papers, including authoritative critical surveys of the literature, and parallel studies of the architectureof complete high-performance printed-document reading systems. A unique feature is the extended section on music notation, an ideal vehicle for international sharing of basic research. Also, the collection includes important new work on line drawings, handwriting, character and symbol recognition, and basic methodological issues. The IAPR 1990 Workshop on Syntactic and Structural Pattern Recognition is summarized, including the reports of its expert working groups, whose debates provide a fascinating perspective on the field. The book is an excellent text for a first-year graduate seminar in document image analysis, and is likely to remain a standard reference in the field for years.

People use the word strategy in a variety of different contexts. The term has connotations ranging from statesmanship to economic planning, and has become pervasive in the social sciences. We also talk about "problem solving strategies" and "corporate strategy" in a large business enterprise. The concept of strategy applies whenever a sequence of goal-oriented actions is based on large-scale and long-range planning. This monograph gives a systematic overview of the theory of strategies, a new area of enquiry developed over the past two decades by the author and his team. The projects described have clearly defined research objectives and are based on realistic assumptions about the environments in which the programming systems will work, and about the constraints and requirements they have to satisfy. Applications of the systems range over various aspects of air traffic control, automatic verification and validation of discrete-event simulation models, econometric model building, distributed planning systems for manufacturing, control of traffic lights, and others. The book is aimed at researchers, teachers and students in computer science, management science and certain areas of engineering. The reader should have some maturity in computer science and mathematics, and familiarity with the basic concepts of artificial intelligence.

Motion and Structure from Image Sequences is invaluable reading for researchers, graduate students, and practicing engineers dealing with computer vision. It presents a balanced treatment of the theoretical and practical issues, including very recent results - some of which are published here for the first time. The topics covered in detail are: - image matching and optical flow computation - structure from stereo - structure from motion - motion estimation - integration of multiple views - motion modeling and prediction Aspects such as uniqueness of the solution, degeneracy conditions, error analysis, stability, optimality, and robustness are also investigated. These details together with the fact that the algorithms are accessible without necessarily studying the rest of the material, make this book particularly attractive to practitioners.

Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths remain independent with very little interaction occurring between them until system integration. In particular, hardware is often specified without fully appreciating the computational requirements of the software. Also, software development does not influence hardware development and does not track changes made during the hardware design phase. Thus, the ability to explore hardware/software tradeoffs is restricted, such as the movement of functionality from the software domain to the hardware domain (and vice-versa) or the modification of the hardware/software interface. As a result, problems that are encountered during system integration may require modification of the software and/or hardware, resulting in potentially significant cost increases and schedule overruns. To address the problems described above, a cooperative design approach, one that utilizes a unified view of hardware and software, is described. This approach is called hardware/software codesign. The Codesign of Embedded Systems develops several fundamental hardware/software codesign concepts and a methodology that supports them. A unified representation, referred to as a decomposition graph, is presented which can be used to describe hardware or software using either functional abstractions or data abstractions. Using a unified representation based on functional abstractions, an abstract hardware/software model has been implemented in a common simulation environment called ADEPT (Advanced Design Environment Prototyping Tool). This model permits early hardware/software evaluation and tradeoff exploration. Techniques have been developed which support the identification of software bottlenecks and the evaluation of design alternatives with respect to multiple metrics. The application of the model is demonstrated on several examples. A unified representation based on data abstractions is also explored. This work leads to investigations regarding the application of object-oriented techniques to hardware design. The Codesign of Embedded Systems: A Unified Hardware/Software Representation describes a novel approach to a topic of immense importance to CAD researchers and designers alike.

New perspective technologies of genetic search and evolution simulation represent the kernel of this book. The authors wanted to show how these technologies are used for practical problems solution. This monograph is devoted to specialists of CAD, intellectual information technologies in science, biology, economics, sociology and others. It may be used by post-graduate students and students of specialties connected to the systems theory and system analysis methods, information science, optimization methods, operations investigation and solution-making.