This book is the fourth in a series on novel low power design architectures, methods and design practices. It results from of a large European project started in 1997, whose goal is to promote the further development and the faster and wider industrial use of advanced design methods for reducing the power con sumption of electronic systems. Low power design became crucial with the wide spread of portable infor mation and communication terminals, where a small battery has to last for a long period. High performance electronics, in addition, suffers from a per manent increase of the dissipated power per square millimeter of silicon, due to the increasing clock-rates, which causes cooling and reliability problems or otherwise limits the performance. The European Union's Information Technologies Programme 'Esprit' did therefore launch a 'Pilot action for Low Power Design', which eventually grew to 19 R&D projects and one coordination project, with an overall budget of 14 million EURO. It is meanwhile known as European Low Power Initiative for Electronic System Design (ESD-LPD) and will be completed in the year 2002. It involves to develop or demonstrate new design methods for power reduction, while the coordination project takes care that the methods, experiences and results are properly documented and publicised."

Designing Inclusive Futures reflects the need to explore, in a coherent way, the issues and practicalities that lie behind design that is intended to extend our active future lives. This encompasses design for inclusion in daily life at home but also extends to the workplace and for products within these contexts. For example, given trends in employment sector growth, skills requirements, labour supply and demographic change, there is a need to predict the critical areas where individual capabilities are mismatched with the physical, social and organisational demands of work. This mismatch, which can be addressed within the domain of inclusive design, is pervasively linked to real artefacts in workspaces and their intersection with the health factors that relate to ageing. This book is the result of the fourth CWUAAT workshop held in Cambridge, England in April 2008.

In Interconnect-centric Design for Advanced SoC and NoC, we have tried to create a comprehensive understanding about on-chip interconnect characteristics, design methodologies, layered views on different abstraction levels and finally about applying the interconnect-centric design in system-on-chip design.
Traditionally, on-chip communication design has been done using rather ad-hoc and informal approaches that fail to meet some of the challenges posed by next-generation SOC designs, such as performance and throughput, power and energy, reliability, predictability, synchronization, and management of concurrency. To address these challenges, it is critical to take a global view of the communication problem, and decompose it along lines that make it more tractable. We believe that a layered approach similar to that defined by the communication networks community should also be used for on-chip communication design.
The design issues are handled on physical and circuit layer, logic and architecture layer, and from system design methodology and tools point of view. Formal communication modeling and refinement is used to bridge the communication layers, and network-centric modeling of multiprocessor on-chip networks and socket-based design will serve the development of platforms for SoC and NoC integration. Interconnect-centric Design for Advanced SoC and NoC is concluded by two application examples: interconnect and memory organization in SoCs for advanced set-top boxes and TV, and a case study in NoC platform design for more generic applications.

"Introduction to Embedded System Design Using Field Programmable Gate Arrays" provides a starting point for the use of field programmable gate arrays in the design of embedded systems. The text considers a hypothetical robot controller as an embedded application and weaves around it related concepts of FPGA-based digital design. The book details: use of FPGA vis-a-vis general purpose processor and microcontroller; design using Verilog hardware description language; digital design synthesis using Verilog and Xilinx(r) SpartanTM 3 FPGA; FPGA-based embedded processors and peripherals; overview of serial data communications and signal conditioning using FPGA; FPGA-based motor drive controllers; and prototyping digital systems using FPGA.

The book is a good introductory text for FPGA-based design for both students and digital systems designers. Its end-of-chapter exercises and frequent use of example can be used for teaching or for self-study."

Here is an ideal textbook on software visualization, written especially for students and teachers in computer science. It provides a broad and systematic overview of the area including many pointers to tools available today. Topics covered include static program visualization, algorithm animation, visual debugging, as well as the visualization of the evolution of software. The author's presentation emphasizes common principles and provides different examples mostly taken from seminal work. In addition, each chapter is followed by a list of exercises including both pen-and-paper exercises as well as programming tasks.

Computer-Aided Design of User Interfaces VI gathers the latest experience of experts, research teams and leading organisations involved in computer-aided design of user interactive applications. This area investigates how it is desirable and possible to support, to facilitate and to speed up the development life cycle of any interactive system: requirements engineering, early-stage design, detailed design, deelopment, deployment, evaluation, and maintenance. In particular, it stresses how the design activity could be better understood for different types of advanced interactive ubiquitous computing, and multi-device environments.

Computer-Aided Innovation (CAI) is emerging as a strategic domain of research and application to support enterprises throughout the overall innovation process. The 5.4 Working Group of IFIP aims at defining the scientific foundation of Computer Aided Innovation systems and at identifying state of the art and trends of CAI tools and methods. These Proceedings derive from the second Topical Session on Computer- Aided Innovation organized within the 20th World Computer Congress of IFIP. The goal of the Topical Session is to provide a survey of existing technologies and research activities in the field and to identify opportunities of integration of CAI with other PLM systems. According to the heterogeneous needs of innovation-related activities, the papers published in this volume are characterized by multidisciplinary contents and complementary perspectives and scopes. Such a richness of topics and disciplines will certainly contribute to the promotion of fruitful new collaborations and synergies within the IFIP community. Gaetano Cascini th Florence, April 30 20 08 CAI Topical Session Organization The IFIP Topical Session on Computer-Aided Innovation (CAI) is a co-located conference organized under the auspices of the IFIP World Computer Congress (WCC) 2008 in Milano, Italy Gaetano Cascini CAI Program Committee Chair [email protected]

In recent years meshless/meshfree methods have gained considerable attention in engineering and applied mathematics. The variety of problems that are now being addressed by these techniques continues to expand and the quality of the results obtained demonstrates the effectiveness of many of the methods currently available. The book presents a significant sample of the state of the art in the field with methods that have reached a certain level of maturity while also addressing many open issues. The book collects extended original contributions presented at the Second ECCOMAS Conference on Meshless Methods held in 2007 in Porto. The list of contributors reveals a fortunate mix of highly distinguished authors as well as quite young but very active and promising researchers, thus giving the reader an interesting and updated view of different meshless approximation methods and their range of applications. The material presented is appropriate for researchers, engineers, physicists, applied mathematicians and graduate students interested in this active research area.

CAD (Computer Aided Design) technology is now crucial for every division of modern industry, from a viewpoint of higher productivity and better products. As technologies advance, the amount of information and knowledge that engineers have to deal with is constantly increasing. This results in seeking more advanced computer technology to achieve higher functionalities, flexibility, and efficient performance of the CAD systems. Knowledge engineering, or more broadly artificial intelligence, is considered a primary candidate technology to build a new generation of CAD systems. Since design is a very intellectual human activity, this approach seems to make sense. The ideas of intelligent CAD systems (ICAD) are now increasingly discussed everywhere. We can observe many conferences and workshops reporting a number of research efforts on this particular subject. Researchers are coming from computer science, artificial intelligence, mechanical engineering, electronic engineering, civil engineering, architectural science, control engineering, etc. But, still we cannot see the direction of this concept, or at least, there is no widely accepted concept of ICAD. What can designers expect from these future generation CAD systems? In which direction must developers proceed? The situation is somewhat confusing.

This book contains a selection of revised versions of papers presented at the Third Eurographics Workshop on Intelligent CAD Systems, which was held at Hotel Opduin on the island of Texel in The Netherlands, April 3-7, 1989. The workshop theme was Practical Experience and Evaluation. It included five paper presentation sessions, each followed by a discussion. The workshop closed with a general discussion. The book is therefore divided into five parts: design process, system architecture, languages, geometric reasoning, and user interface. A report on the discussion session, written by the session's moderator, concludes each part. These reports are not intended to be exact records of the discussion, but rather the moderators' summary of their contents. The aim of the workshop was to share the experience the participants gained by developing intelligent CAD (Computer Aided Design) systems, and to evaluate the developed systems to determine which features were still lacking. The workshop was organized as the last one in a series of three workshops under the same title. The first workshop focused on theoretical and methodological aspects, resulting in a sound theoretical basis for intelligent CAD systems. Implementational issues were discussed at the second workshop, paying attention to systems developed with reference to this basis. The experience and evaluation showed a dual outcome. Firstly, it resulted in the development of a new generation of intelligent CAD systems. Secondly, it led us to the development of new theories for intelligent CAD.

Introduction The exponential scaling of feature sizes in semiconductor technologies has side-effects on layout optimization, related to effects such as inter connect delay, noise and crosstalk, signal integrity, parasitics effects, and power dissipation, that invalidate the assumptions that form the basis of previous design methodologies and tools. This book is intended to sample the most important, contemporary, and advanced layout opti mization problems emerging with the advent of very deep submicron technologies in semiconductor processing. We hope that it will stimulate more people to perform research that leads to advances in the design and development of more efficient, effective, and elegant algorithms and design tools. Organization of the Book The book is organized as follows. A multi-stage simulated annealing algorithm that integrates floorplanning and interconnect planning is pre sented in Chapter 1. To reduce the run time, different interconnect plan ning approaches are applied in different ranges of temperatures. Chapter 2 introduces a new design methodology - the interconnect-centric design methodology and its centerpiece, interconnect planning, which consists of physical hierarchy generation, floorplanning with interconnect planning, and interconnect architecture planning. Chapter 3 investigates a net-cut minimization based placement tool, Dragon, which integrates the state of the art partitioning and placement techniques."

Microtechnologies and their corresponding CAD tools have meanwhile reached alevel of sophistication that requires the application of theoretical means on all modelling levels of design and analysis. Also, there is a growing need for a scientific approach in modelling again. Many concepts provided by Systems Theory again turn out to be of major importance. This is especially valid for the design of "machines with intelligent behaviour." When dealing with complex systems, the engineering design has to be supported by CAD tools. Consequently, the methods of Systems Theory must also get computerized. The newly established field of "Computer Aided Systems Theory" (CAST) is a first effort in this direction. The goal of CAST research and development isto provide "Systems Theory Method Banks" which can be used in education and to provide a platform for the migration of CAST methods into existing CAD tools. This book, basing on different research and development projects in CAST, is written for engineers who are interested in using and developing CAST systems, particularly in thefield of Information and Systems Engineering.

Intelligent agents are one of the most promising business tools in our information rich world. An intelligent agent consists of a software system capable of performing intelligent tasks within a dynamic and unpredictable environment. They can be characterised by various attributes including: autonomous, adaptive, collaborative, communicative, mobile, and reactive. Many problems are not well defined and the information needed to make decisions is not available. These problems are not easy to solve using conventional computing approaches. Here, the intelligent agent paradigm may play a major role in helping to solve these problems. This book, written for application researchers, covers a broad selection of research results that demonstrate, in an authoritative and clear manner, the applications of agents within our information society.

Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning to. However, no language by itself can guarantee success without proper techniques. Object-oriented programming (OOP), with its focus on managing complexity, is ideally suited to this task.

With this handbook-the first to focus on applying OOP to SystemVerilog-we'll show how to manage complexity by using layers of abstraction and base classes. By adapting these techniques, you will write more "reasonable" code, and build efficient and reusable verification components.

Both a learning tool and a reference, this handbook contains hundreds of real-world code snippets and three professional verification-system examples. You can copy and paste from these examples, which are all based on an open-source, vendor-neutral framework (with code freely available at www.trusster.com).

Learn about OOP techniques such as these:

• Creating classes-code interfaces, factory functions, reuse
• Connecting classes-pointers, inheritance, channels
• Using "correct by construction"-strong typing, base classes
• Packaging it up-singletons, static methods, packages

A set of original results in the ?eld of high-level design of logical control devices and systems is presented in this book. These concern different aspects of such important and long-term design problems, including the following, which seem to be the main ones. First, the behavior of a device under design must be described properly, and some adequate formal language should be chosen for that. Second, effective algorithmsshouldbeusedforcheckingtheprepareddescriptionforcorrectness, foritssyntacticandsemanticveri?cationattheinitialbehaviorlevel.Third, the problem of logic circuit implementation must be solved using some concrete technological base; ef?cient methods of logic synthesis, test, and veri?cation should be developed for that. Fourth, the task of the communication between the control device and controlled objects (and maybe between different control devices)waitsforitssolution.Alltheseproblemsarehardenoughandcannotbe successfully solved without ef?cient methods and algorithms oriented toward computer implementation. Some of these are described in this book. The languages used for behavior description have been descended usually from two well-known abstract models which became classic: Petri nets and ?nite state machines (FSMs). Anyhow, more detailed versions are developed and described in the book, which enable to give more complete information concerningspeci?cqualitiesoftheregardedsystems.Forexample, themodelof parallelautomatonispresented, whichunliketheconventional?niteautomaton can be placed simultaneously into several places, calledpartial. As a base for circuit implementation of control algorithms, FPGA is accepted in majority of cas

In today's competitive world, industries focus on shorter lead times, improved quality, reduced cost, improved productivity and better customer service. This book offers an overview of intelligent computing in manufacturing, discussing modeling, data processing, algorithms and computational analysis of problems encountered in advanced manufacturing. Coverage includes techniques to aid decision makers dealing with multiple, conflicting objectives. Readers will gain knowledge of computational technologies for improving the performance of manufacturing systems.

This is the first book to focus on emerging technologies for distributed intelligent decision-making in process planning and dynamic scheduling. It has two sections: a review of several key areas of research, and an in-depth treatment of particular techniques. Each chapter addresses a specific problem domain and offers practical solutions to solve it. The book provides a better understanding of the present state and future trends of research in this area.

Evolutionary algorithms are successful biologically inspired meta-heuristics. Their success depends on adequate parameter settings. The question arises: how can evolutionary algorithms learn parameters automatically during the optimization? Evolution strategies gave an answer decades ago: self-adaptation. Their self-adaptive mutation control turned out to be exceptionally successful. But nevertheless self-adaptation has not achieved the attention it deserves. This book introduces various types of self-adaptive parameters for evolutionary computation. Biased mutation for evolution strategies is useful for constrained search spaces. Self-adaptive inversion mutation accelerates the search on combinatorial TSP-like problems. After the analysis of self-adaptive crossover operators the book concentrates on premature convergence of self-adaptive mutation control at the constraint boundary. Besides extensive experiments, statistical tests and some theoretical investigations enrich the analysis of the proposed concepts.

Fuzzy Logic in Action: Applications in Epidemiology and Beyond, co-authored by Eduardo Massad, Neli Ortega, Laecio Barros, and Claudio Struchiner is a remarkable achievement. The book brings a major paradigm shift to medical sciences exploring the use of fuzzy sets in epidemiology and medical diagnosis arena. The volume addresses the most significant topics in the broad areas of epidemiology, mathematical modeling and uncertainty, embodying them within the framework of fuzzy set and dynamic systems theory. Written by leading contributors to the area of epidemiology, medical informatics and mathematics, the book combines a very lucid and authoritative exposition of the fundamentals of fuzzy sets with an insightful use of the fundamentals in the area of epidemiology and diagnosis. The content is clearly illustrated by numerous illustrative examples and several real world applications. Based on their profound knowledge of epidemiology and mathematical modeling, and on their keen understanding of the role played by uncertainty and fuzzy sets, the authors provide insights into the connections between biological phenomena and dynamic systems as a mean to predict, diagnose, and prescribe actions. An example is the use of Bellman-Zadeh fuzzy decision making approach to develop a vaccination strategy to manage measles epidemics in Sao Paulo. The book offers a comprehensive, systematic, fully updated and self- contained treatise of fuzzy sets in epidemiology and diagnosis. Its content covers material of vital interest to students, researchers and practitioners and is suitable both as a textbook and as a reference. The authors present new results of their own in most of the chapters. In doing so, they reflect the trend to view fuzzy sets, probability theory and statistics as an association of complementary and synergetic modeling methodologies.

Traditionally, the DDSS conferences aim to be a platform for both starting and experienced researchers who focus on the development and application of computer support in urban planning and architectural design. This volume contains 31 peer reviewed papers from this year's conference. This book will bring researchers together and is a valuable resource for their continuous joint effort to improve the design and planning of our environment.

This book offers up a deep understanding of concepts and practices behind the composition of heterogeneous components. After the analysis of existing computation and execution models used for the specification and validation of different sub-systems, the book introduces a systematic approach to build an execution model for systems composed of heterogeneous components. Mixed continuous/discrete and hardware/software systems are used to illustrate these concepts. The benefit of reading this book is to arrive at a clear vision of the theory and practice of specification and validation of complex modern systems. Numerous examples give designers highly applicable solutions.

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these questions and fits them into a roadmap for formal property verification a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples you do not need any background on formal methods to read most parts of this book.

"

This book presents design guidelines and implementation approaches for enterprise safety management system as integrated within enterprise integrated systems. It shows new model-based safety management where process design automation is integrated with enterprise business functions and components. It proposes new system engineering approach addressed to new generation chemical industry. It will help both the undergraduate and professional readers to build basic knowledge about issues and problems of designing practical enterprise safety management system, while presenting in clear way, the system and information engineering practices to design enterprise integrated solution.

The Language of Design articulates the theory that there is a language of design. Drawing upon insights from computational language processing, the language of design is modeled computationally through latent semantic analysis (LSA), lexical chain analysis (LCA), and sentiment analysis (SA). The statistical co-occurrence of semantics (LSA), semantic relations (LCA), and semantic modifiers (SA) in design text is used to illustrate how the reality producing effect of language is itself an enactment of design, allowing a new understanding of the connections between creative behaviors. The computation of the language of design makes it possible to make direct measurements of creative behaviors which are distributed across social spaces and mediated through language. The book demonstrates how machine understanding of design texts based on computation over the language of design yields practical applications for design management.

Object-oriented systems have gained a great deal of popularity recently and their application to graphics has been very successful. This book documents a number of recent advances and indicates numerous areas of current research. The purpose of the book is: - to demonstrate the extraordinary practical utility of object-oriented methods in computer graphics (including user interfaces, image synthesis, CAD), - to examine outstanding research issues in the field of object-oriented graphics, and in particular to investi- gate extensions and shortcomings of the methodology when applied to computer graphics. Papers included in the book extend existing object-oriented graphical techniques, such as Smalltalk's "model view controller" or "constraints," introduce the use of complex and persistent objects in graphics, and give approaches to direct manipulation interfaces. The reader is presented with an in-depth treatment of a number of significant existing graphics systems, both for user interfaces and for image synthesis. There are theoretical surveys and chapters pointing to new directions in the broad field of computer graphics. Computer language scientists will find a useful critique of object-oriented language constructs and suggested ways to extend object-oriented theory.