Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout

Posted By: AvaxGenius
Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout by Leena Singh , Leonard Drucker , Neyaz Khan
English | PDF | 2004 | 388 Pages | ISBN : 140207672X | 10.3 MB

"As chip size and complexity continues to grow exponentially, the challenges of functional verification are becoming a critical issue in the electronics industry. It is now commonly heard that logical errors missed during functional verification are the most common cause of chip re-spins, and that the costs associated with functional verification are now outweighing the costs of chip design. To cope with these challenges engineers are increasingly relying on new design and verification methodologies and languages. Transaction-based design and verification, constrained random stimulus generation, functional coverage analysis, and assertion-based verification are all techniques that advanced design and verification teams routinely use today. Engineers are also increasingly turning to design and verification models based on C/C++ and SystemC in order to build more abstract, higher performance hardware and software models and to escape the limitations of RTL HDLs. This new book, Advanced Verification Techniques, provides specific guidance for these advanced verification techniques. The book includes realistic examples and shows how SystemC and SCV can be applied to a variety of advanced design and verification tasks."

Complexity and Artificial Markets (Repost)

Posted By: AvaxGenius
Complexity and Artificial Markets (Repost)

Complexity and Artificial Markets by Klaus Schredelseker, Florian Hauser
English | PDF (True)| 2008 | 235 Pages | ISBN : 3540705538 | 3.3 MB

In recent years, agent-based simulation has become a widely accepted tool when dealing with complexity in economics and other social sciences. The contributions presented in this book apply agent-based methods to derive results from complex models related to market mechanisms, evolution, decision making, and information economics. In addition, the applicability of agent-based methods to complex problems in economics is discussed from a methodological perspective. The papers presented in this collection combine approaches from economics, finance, computer science, natural sciences, philosophy, and cognitive sciences.

Informatics: 10 Years Back. 10 Years Ahead

Posted By: AvaxGenius
Informatics: 10 Years Back. 10 Years Ahead

Informatics: 10 Years Back. 10 Years Ahead by Reinhard Wilhelm
English | PDF | 2001 | 379 Pages | ISBN : 3540416358 | 6.3 MB

Informatics - 10 Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and information technology. The 26 contributions written by leading researchers on personal invitation assess the state of the art of the field by looking back over the past decade, presenting important results, identifying relevant open problems, and developing visions for the decade to come.

Modeling Multi-Level Systems (Repost)

Posted By: AvaxGenius
Modeling Multi-Level Systems (Repost)

Modeling Multi-Level Systems by Octavian Iordache
English | PDF | 2011 | 243 Pages | ISBN : 3642179452 | 1.6 MB

This book is devoted to modeling of multi-level complex systems, a challenging domain for engineers, researchers and entrepreneurs, confronted with the transition from learning and adaptability to evolvability and autonomy for technologies, devices and problem solving methods. Chapter 1 introduces the multi-scale and multi-level systems and highlights their presence in different domains of science and technology. Methodologies as, random systems, non-Archimedean analysis, category theory and specific techniques as model categorification and integrative closure, are presented in chapter 2. Chapters 3 and 4 describe polystochastic models, PSM, and their developments. Categorical formulation of integrative closure offers the general PSM framework which serves as a flexible guideline for a large variety of multi-level modeling problems.

DSP System Design: Complexity Reduced IIR Filter Implementation for Practical Applications

Posted By: AvaxGenius
DSP System Design: Complexity Reduced IIR Filter Implementation for Practical Applications

DSP System Design: Complexity Reduced IIR Filter Implementation for Practical Applications by Artur Krukowski , İzzet Kale
English | PDF | 2003 | 240 Pages | ISBN: 1402075588 | 19.5 MB

DSP System Design presents the investigation of special type of IIR polyphase filter structures combined with frequency transformation techniques used for fast, multi-rate filtering, and their application for custom fixed-point implementation. Detailed theoretical analysis of the polyphase IIR structure has been presented for two and three coefficients in the two-path arrangement. This was then generalized for arbitrary filter order and any number of paths. The use of polyphase IIR structures in decimation and interpolation is being presented and performance assessed in terms of the number of calculations required for the given filter specification and the simplicity of implementation. Specimen decimation filter designs to be used in Sigma-Delta lowpass and bandpass A/D converters are presented which prove to outperform other traditional approaches.

Crucial Issues in Semiconductor Materials and Processing Technologies

Posted By: AvaxGenius
Crucial Issues in Semiconductor Materials and Processing Technologies

Crucial Issues in Semiconductor Materials and Processing Technologies by S. Coffa, F. Priolo, E. Rimini, J. M. Poate
English | PDF | 1992 | 523 Pages | ISBN : 0792320034 | 60.6 MB

Semiconductors lie at the heart of some of the most important industries and technologies of the twentieth century. The complexity of silicon integrated circuits is increasing considerably because of the continuous dimensional shrinkage to improve efficiency and functionality. This evolution in design rules poses real challenges for the materials scientists and processing engineers. Materials, defects and processing now have to be understood in their totality. World experts discuss, in this volume, the crucial issues facing lithography, ion implication and plasma processing, metallization and insulating layer quality, and crystal growth. Particular emphasis is placed upon silicon, but compound semiconductors and photonic materials are also highlighted. The fundamental concepts of phase stability, interfaces and defects play a key role in understanding these crucial issues. These concepts are reviewed in a crucial fashion.

Principles and Methods in Landscape Ecology: Towards a Science of the Landscape (Repost)

Posted By: AvaxGenius
Principles and Methods in Landscape Ecology: Towards a Science of the Landscape (Repost)

Principles and Methods in Landscape Ecology: Towards a Science of the Landscape by Almo Farina
English | PDF | 2006 | 430 Pages | ISBN : 1402033281 | 45.7 MB

Landscape ecology is an integrative and multi-disciplinary science and Principles and Methods in Landscape Ecology reconciles the geological, botanical, zoological and human perspectives. In particular ,new paradigms and theories such as percolation, metapopulation, hierarchies, source-sink models have been integrated in this last edition with the recent theories on bio-complexity, information and cognitive sciences.

Design and Use of Serious Games

Posted By: AvaxGenius
Design and Use of Serious Games

Design and Use of Serious Games by Marja Kankaanranta, Pekka Neittaanmäki
English | PDF (True) | 2009 | 205 Pages | ISBN : 1402094957 | 23.4 MB

During the last few years, a new area of creative media industry, namely Serious Games, has started to emerge around the world. The term serious games has become more popular for example in the fields of education, business, welfare and safety. Despite this, there has been no single definition of serious games. A key question, what the concept itself means, has stayed unsolved though most have agreed on a definition that serious games are games or game-like interactive systems developed with game technology and design principles for a primary purpose other than pure entertainment.

Intelligent Computing Everywhere

Posted By: AvaxGenius
Intelligent Computing Everywhere

Intelligent Computing Everywhere by Alfons J. Schuster
English | PDF (True) | 2007 | 255 Pages | ISBN : 1846289424 | 6.74 MB

Intelligent Computing Everywhere reflects the current perception in various fields that modern computing applications are becoming increasingly challenged in terms of complexity and intelligence.

Hybrid Evolutionary Algorithms

Posted By: AvaxGenius
Hybrid Evolutionary Algorithms

Hybrid Evolutionary Algorithms by Ajith Abraham, Crina Grosan, Hisao Ishibuchi
English | PDF (True) | 2007 | 410 Pages | ISBN : 3540732969 | 19.2 MB

Hybridization of evolutionary algorithms is getting popular due to their capabilities in handling several real world problems involving complexity, noisy environment, imprecision, uncertainty and vagueness. This edited volume is targeted to present the latest state-of-the-art methodologies in “Hybrid Evolutionary Algorithms”. This book deals with the theoretical and methodological aspects, as well as various applications to many real world problems from science, technology, business or commerce. This volume comprises of 14 chapters including an introductory chapter giving the fundamental definitions and some important research challenges. Chapters were selected on the basis of fundamental ideas/concepts rather than the thoroughness of techniques deployed.

Multi-Threshold CMOS Digital Circuits: Managing Leakage Power

Posted By: AvaxGenius
Multi-Threshold CMOS Digital Circuits: Managing Leakage Power

Multi-Threshold CMOS Digital Circuits: Managing Leakage Power by Mohab Anis , Mohamed Elmasry
English | PDF | 2003 | 228 Pages | ISBN : 1402075294 | 22.4 MB

Multi-Threshold CMOS Digital Circuits Managing Leakage Power discusses the Multi-threshold voltage CMOS (MTCMOS) technology, that has emerged as an increasingly popular technique to control the escalating leakage power, while maintaining high performance. The book addresses the leakage problem in a number of designs for combinational, sequential, dynamic, and current-steering logic. Moreover, computer-aided design methodologies for designing low-leakage integrated circuits are presented.

Nonlinear Resonances (Springer Series in Synergetics)

Posted By: AvaxGenius
Nonlinear Resonances (Springer Series in Synergetics)

Nonlinear Resonances by Shanmuganathan Rajasekar , Miguel A. F. Sanjuan
English | PDF(True) | 2016 | 417 Pages | ISBN : 3319248847 | 18.1 MB

This introductory text presents the basic aspects and most important features of various types of resonances and anti-resonances in dynamical systems. In particular, for each resonance, it covers the theoretical concepts, illustrates them with case studies, and reviews the available information on mechanisms, characterization, numerical simulations, experimental realizations, possible quantum analogues, applications and significant advances made over the years.

Algebraic Specifications in Software Engineering: An Introduction

Posted By: AvaxGenius
Algebraic Specifications in Software Engineering: An Introduction

Algebraic Specifications in Software Engineering: An Introduction by Ivo Horebeek, Johan Lewi
English | PDF | 1989 | 362 Pages | ISBN : 364275032X | 46 MB

"I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many projects in which algebraic specifications have been used as a design tool have been carried out. What prevents algebraic specifications from breaking through is the absence of introductory descriptions and tools supporting the construction of algebraic specifications. On the one hand. interest from industry will stimulate people to make introductions and tools. whereas on the other hand the existence of introductions and tools will stimulate industry to use algebraic specifications.

Nonlinear Dynamics and Control (Repost)

Posted By: AvaxGenius
Nonlinear Dynamics and Control (Repost)

Nonlinear Dynamics and Control: Proceedings of the First International Nonlinear Dynamics Conference (NODYCON 2019), Volume II by Walter Lacarbonara, Balakumar Balachandran, Jun Ma, J. A. Tenreiro Machado, Gabor Stepan
English | PDF | 2020 | 346 Pages | ISBN : 303034746X | 14.7 MB

This second of three volumes from the inaugural NODYCON, held at the University of Rome, in February of 2019, presents papers devoted to Nonlinear Dynamics and Control. The collection features both well-established streams of research as well as novel areas and emerging fields of investigation. Topics in Volume II include influence of nonlinearities on vibration control systems; passive, semi-active, active control of structures and systems; synchronization; robotics and human-machine interaction; network dynamics control (multi-agent systems, leader-follower dynamics, swarm dynamics, biological networks dynamics); and fractional-order control.

History and Precedent in Environmental Design

Posted By: AvaxGenius
History and Precedent in Environmental Design

History and Precedent in Environmental Design by Amos Rapoport
English | PDF | 1990 | 515 Pages | ISBN : 0306434458 | 61.3 MB

This book is about a new and different way of approaching and studying the history of the built environment and the use of historical precedents in design. However, although what I am proposing is new for what is currently called architectural history, both my approach and even my conclusions are not that new in other fields, as I discovered when I attempted to find supporting evidence. * In fact, of all the disciplines dealing with various aspects of the study of the past, architectural history seems to have changed least in the ways I am advocating. There is currently a revival of interest in the history of architecture and urban form; a similar interest applies to theory, vernacular design, and culture-environment relations.