Page 1
Page 1
New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design ; IFIP International Working Conference: EduTech 2005, Perth, Australia, October 20-21, 2005
Computation and communication technologies underpin work and development in many different areas. Among them, Computer-Aided Design of electronic systems and E-Learning technologies are two areas which are different but share many concerns. The design of CAD and E-Learning systems already touches on a number of parallels, such as system interoperability, user interfaces, standardization, EML-based formats, reusability aspects (of content or designs), and intellectual property rights. Furthermore, the teaching of Design Automation tools and methods is particularly amenable to a distant or blended learning setting, and implies the interconnection of typical CAD tools, such as simulators or synthesis tools, with e-learning tools. There are many other aspects in which synergy can be found when using E-Learning technology for teaching and learning technology. This workshop, sponsored by IFIP WG 10.5 Design and Engineering of Electronic Systems in cooperation with IFIP WG 3.6 Distance Education, will explore the interrelationship between these two subjects, where Computer-Aided Design meets Computer-Aided Learning. New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design documents recent approaches and results presented at the EduTech 2005 Workshop, which was held in October 2005 in Perth, Australia and sponsored by the International Federation for Information Processing (IFIP). The topics chosen for this working conference are very timely: learning environments, tools and applications for education, education technologies and trends, and teaching in the hardware design area.
Information Processing with Evolutionary Algorithms : From Industrial Applications to Academic Speculations
The last decade of the 20th century has witnessed a surge of interest in num- ical, computation-intensive approaches to information processing. The lines that draw the boundaries among statistics, optimization, arti cial intelligence and information processing are disappearing, and it is not uncommon to nd well-founded and sophisticated mathematical approaches in application - mains traditionally associated with ad-hoc programming. Heuristics has - come a branch of optimization and statistics. Clustering is applied to analyze soft data and to provide fast indexing in the World Wide Web. Non-trivial matrix algebra is at the heart of the last advances in computer vision. The breakthrough impulse was, apparently, due to the rise of the interest in arti cial neural networks, after its rediscovery in the late 1980s. Disguised as ANN, numerical and statistical methods made an appearance in the - formation processing scene, and others followed. A key component in many intelligent computational processing is the search for an optimal value of some function. Sometimes, this function is not evident and it must be made explicit in order to formulate the problem as an optimization problem. The search - ten takes place in high-dimensional spaces that can be either discrete, or c- tinuous or mixed. The shape of the high-dimensional surface that corresponds to the optimized function is usually very complex. Evolutionary algorithms are increasingly being applied to information processing applications that require any kind of optimization.
Formal Methods for Hardware Verification ; 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.
Formal Methods for Components and Objects ; 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components
Evolvable systems : From biology to hardware ; 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings
The 41 revised full papers collected in this volume are organized in topical sections on digital hardware evolution, analog hardware evolution, bio-inspired systems, mechanical hardware evolution, evolutionary design, evolutionary algorithms in hardware design, and hardware implementation of evolutionary algorithms.
Event-Based Programming : Taking Events to the Limit
This book teaches you how to develop software based on parts that interact primarily through an event mechanism. You'll learn how to use events in many different situations, to solve recurring development problems without coupling. The book introduces Signal Wiring Diagram, a novel form of software diagram similar to the circuit diagrams used by hardware designers. The book concludes with a series of case studies, incorporating all featured concepts.
Embedded Software and Systems Vol. 3605 ; 1st International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers
Welcome to the post proceedings of the First International Conference on Embedded Software and Systems (ICESS 2004), which was held in Hangzhou, P. R. China, 9–10 December 2004. Embedded Software and Systems technology is of increasing importance for a wide range of industrial areas, such as aerospace, automotive, telecommunication, and manufacturing automation. Embedded technology is playing an increasingly dominant role in modern society. This is a natural outcome of amazingly fast developments in the embedded field. The ICESS 2004 conference brought together researchers and developers from academia, industry, and government to advance the science, engineering, and technology in embedded software and systems development, and provided them with a forum to present and exchange their ideas, results, work in progress, and experience in all areas of embedded systems research and development. The ICESS 2004 conference attracted much more interest than expected.
Embedded Software and Systems ; Vol. 3820 ; 2nd International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings
Welcome to the proceedings of the 2005 International Conference on Emb- ded Software and Systems (ICESS 2005) held in Xian, China, December 16-18, 2005. With the advent of VLSI system level integration and system-on-chip, the center of gravity of the computer industry is now moving from personal c- puting into embedded computing. Embedded software and systems are incre- ingly becoming a key technological component of all kinds of complex technical systems, ranging from vehicles, telephones, aircraft, toys, security systems, to medical diagnostics, weapons, pacemakers, climate control systems, etc. The ICESS 2005 conference provided a premier international forum for - searchers, developers and providers from academia and industry to address all resulting profound challenges; to present and discuss their new ideas, - search results, applications and experience; to improve international com- nication and cooperation; and to promote embedded software and system - dustrialization and wide applications on all aspects of embedded software and systems.
Embedded Computer Systems : Architectures, Modeling, and Simulation ; Vol. 4017 ; 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 6th International Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2006, held in Samos, Greece on July 2006.The 47 revised full papers presented together with 2 keynote talks were thoroughly reviewed and selected from 130 submissions.
Embedded Computer Systems : Architectures, Modeling, and Simulation ; 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 8th International Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2008, held in Samos, Greece, in July 2008.
Ecological Informatics : Scope, Techniques and Applications
Ecological Informatics promotes interdisciplinary research between ecology and computer science on elucidation of principles of information processing in ecosystems, ecological sustainability by informed decision making, and bio-inspired computation. The 2nd edition of the book consolidates the scope, concepts, and techniques of this newly emerging discipline by a new preface and additional chapters on cellular automata, qualitative reasoning, hybrid evolutionary algorithms and artificial neural networks. It illustrates numerous applications of Ecological Informatics for aquatic and terrestrial ecosystems, image recognition at micro- and macro-scale as well as computer hardware design.
Digital VLSI Systems Design : A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
The book presents new material and theory as well as synthesis of recent work with complete Project Designs using industry standard CAD tools and FPGA boards, enabling the serious readers to design VLSI Systems on their own. The reader is taken step by step through the design right from implementing a single digital gate to a massive design consuming well over 100,000 gates. The Verilog codes developed for these designs are universal and can work on any FPGA or ASIC and are technology independent. The book presents the development of novel algorithms and architectures for optimum realization of high tech. products. All the design codes developed in this book are Register Transfer Level (RTL) compliant and can be readily used or amended to suit new projects.
Cryptographic Algorithms on Reconfigurable Hardware
This book covers the study of computational methods, computer arithmetic algorithms, and design improvement techniques needed to implement efficient cryptographic algorithms in FPGA reconfigurable hardware platforms. The concepts and techniques reviewed in this book will make special emphasis on the practical aspects of reconfigurable hardware design, explaining the basic mathematics related and giving a comprehensive description of state-of-the-art implementation techniques. The authors show how high-speed cryptographic algorithms implementations can be achieved on reconfigurable hardware devices without posing prohibited high requirements for hardware resources. The material in this book will be of interest to engineering professionals, programmers, hardware designers, and graduate students interested in the development of security and cryptographic mechanisms at a beginning/intermediate level.
Correct hardware design and verification methods
Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrucken, Germany, in October 2005.
Computational intelligence for remote sensing
This book is a composition of different points of view regarding the application of Computational Intelligence techniques and methods to Remote Sensing data and applications. The book covers a broad range of topics, starting from the hardware design of hyperspectral sensors, and data handling problems, namely data compression and watermarking issues, as well as autonomous web services.
Compiling ESTEREL
Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution of the program is divided into discrete instants, and statements are either guaranteed to execute in a single instant, or take multiple instants as requested by the programmer. Suitable for programming safety-critical real-time systems, Esterel and its model of computation have found use in industrial applications such as avionics, integrated circuit design, and other safety-critical environments. While Compiling Esterel does not assume prior knowledge of the Esterel language, readers will appreciate having prior knowledge of programming language semantics and compiler technology, along with some familiarity with synchronous digital hardware design.
Automated technology for verification and analysis ; 3rd International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2005, the third of the ATVA series, was held in Taipei, Taiwan, 2005. The main theme of the symposium encompasses - sign, complexities, tools, and applications of automated methods for veri?cation and analysis. This book constitutes the refereed proceedings of the symposium .
Artificial intelligence hardware design : Challenges and solutions
Learn foundational and advanced topics in Neural Processing Unit design with real-world examples from leading voices in the field. A thorough introduction to neural networks and neural network development history, as well as Convolutional Neural Network (CNN) models Explorations of various parallel architectures, including the Intel CPU, Nvidia GPU, Google TPU, and Microsoft NPU, emphasizing hardware and software integration for performance improvement Discussions of streaming graph for massive parallel computation with the Blaize GSP and Graphcore IPU An examination of how to optimize convolution with UCLA Deep Convolutional Neural Network accelerator filter decomposition
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. This book is also of interest to students of temporal logic. The formal semantics of PSL are included as an appendix, and bibliographical notes include pointers to some of the main theoretical works.
