One of the grand challenges in the nano-scopic computing era is guarantees of robustness. Robust computing system design is confronted with quantum physical, probabilistic, and even biological phenomena, and guaranteeing high reliability is much more difficult than ever before. Scaling devices down to the level of single electron operation will bring forth new challenges due to probabilistic effects and uncertainty in guaranteeing 'zero-one' based computing. Minuscule devices imply billions of devices on a single chip, which may help mitigate the challenge of uncertainty by replication and redundancy. However, such device densities will create a design and validation nightmare with the shear scale.
The questions that confront computer engineers regarding the current status of nanocomputing material and the reliability of systems built from such miniscule devices, are difficult to articulate and answer. We have found a lack of resources in the confines of a single volume that at least partially attempts to answer these questions.
We believe that this volume contains a large amount of research material as well as new ideas that will be very useful for some one starting research in the arena of nanocomputing, not at the device level, but the problems one would face at system level design and validation when nanoscopic physicality will be present at the device level.

The VITAL specification addresses the issues of interoperability, backannotation and high performance simulation for sign-off quality ASIC libraries in VHDL. VITAL provides modeling guidelines and a set of pre-defined packages (containing pre-defined routines for modeling functionality and timing) to facilitate the acceleration of designs which use cells from a VITAL library. The VITAL Level-I guidelines constrain the modeling capabilities provided by VHDL in order to facilitate higher performance (Figure I). Accumulating "gains" Constrained "flexibility" Higher performance & Increased capacity Benefits Flexibility FujI VHDL 1076 Figure 1: VHDL and VITAL Even within the Level-I guidelines, there are several ways in which a model can be written. In this chapter, we highlight the various modeling trade-offs and provide guidelines which can be used for developing efficient models. We will also discuss the techniques that can be used by tool developers to accelerate the simulation of VIT AL based designs. 2.2. OVERVIEW OF A VITAL LEVEL-l ARCIDTECTURE The VITAL specification is versatile enough to support several modeling styles e.g., distributed delay style, pin-to-pin delay style etc. In general, a VITAL Level-I model can have the structure illustrated in Figure 2."

The book is a collection of extended papers which have been selected for presentation during the SIMHYDRO 2012 conference held in Sophia Antipolis in September 2012. The papers present the state of the art numerical simulation in domains such as (1) New trends in modelling for marine, river & urban hydraulics; (2) Stakeholders & practitioners of simulation; (3) 3D CFD & applications. All papers have been peer reviewed and by scientific committee members with report about quality, content and originality. The target audience for this book includes scientists, engineers and practitioners involved in the field of numerical modelling in the water sector: flood management, natural resources preservation, hydraulic machineries, and innovation in numerical methods, 3D developments and applications.

The emergence of the system-on-chip (SoC) era is creating many new challenges at all stages of the design process. Engineers are reconsidering how designs are specified, partitioned and verified. With systems and software engineers programming in C/C++ and their hardware counterparts working in hardware description languages such as VHDL and Verilog, problems arise from the use of different design languages, incompatible tools and fragmented tool flows. Momentum is building behind the SystemC language and modeling platform as the best solution for representing functionality, communication, and software and hardware implementations at various levels of abstraction. The reason is clear: increasing design complexity demands very fast executable specifications to validate system concepts, and only C/C++ delivers adequate levels of abstraction, hardware-software integration, and performance. System design today also demands a single common language and modeling foundation in order to make interoperable system--level design tools, services and intellectual property a reality. SystemC is entirely based on C/C++ and the complete source code for the SystemC reference simulator can be freely downloaded from www.systemc.org and executed on both PCs and workstations. System Design and SystemC provides a comprehensive introduction to the powerful modeling capabilities of the SystemC language, and also provides a large and valuable set of system level modeling examples and techniques. Written by experts from Cadence Design Systems, Inc. and Synopsys, Inc. who were deeply involved in the definition and implementation of the SystemC language and reference simulator, this book will provide you with thekey concepts you need to be successful with SystemC. System Design with SystemC thoroughly covers the new system level modeling capabilities available in SystemC 2.0 as well as the hardware modeling capabilities available in earlier versions of SystemC. designed and implemented the SystemC language and reference simulator, this book will provide you with the key concepts you need to be successful with SystemC. System Design with SystemC will be of interest to designers in industry working on complex system designs, as well as students and researchers within academia. All of the examples and techniques described within this book can be used with freely available compilers and debuggers &endash; no commercial software is needed. Instructions for obtaining the free source code for the examples obtained within this book are included in the first chapter.

Over the last few decades, the constant developments in the IT field have expanded into nearly every discipline and aspect of life. Interdisciplinary Advances in Information Technology Research explores multiple fields and the research done as well as how they differentiate and relate to one another. This collection provides focused discussions from unique perspectives on the latest information technology research. Researchers, practitioners, and professionals will benefit from this publication s broad perspective.

Blockchain technology provided a buzz-seeking opportunity for all industries to implement improved corporate procedures and trust-building. Still, some industries, such as the banking sector, may view it as a disruptive technology that must be adopted. A transaction ledger's contents can be verified, maintained, and synchronized by community members using blockchain technology. A transaction can never be changed or removed from the blockchain; updates may only be made by participants in the system. Its distributed database cannot be manipulated, disrupted, or hacked in the same manner as conventional, user-controlled access systems and centralized databases. Building Secure Business Models Through Blockchain Technology: Tactics, Methods, Limitations, and Performance studies and explores the status of blockchain technology and, through the latest technology, builds business models to secure the future direction in the field of business. This book discusses the tactics and methods, as well as their limitations and performance. Covering topics such as AI-based efficient models, digital technology and services, and financial trading, this premier reference source is a valuable resource for business leaders and managers, IT managers, students and educators of higher education, entrepreneurs, government officials, librarians, researchers, and academicians.

Low-Power Digital VLSI Design: Circuits and Systems addresses both process technologies and device modeling. Power dissipation in CMOS circuits, several practical circuit examples, and low-power techniques are discussed. Low-voltage issues for digital CMOS and BiCMOS circuits are emphasized. The book also provides an extensive study of advanced CMOS subsystem design. A low-power design methodology is presented with various power minimization techniques at the circuit, logic, architecture and algorithm levels. Features: Low-voltage CMOS device modeling, technology files, design rules Switching activity concept, low-power guidelines to engineering practice Pass-transistor logic families Power dissipation of I/O circuits Multi- and low-VT CMOS logic, static power reduction circuit techniques State of the art design of low-voltage BiCMOS and CMOS circuits Low-power techniques in CMOS SRAMS and DRAMS Low-power on-chip voltage down converter design Numerous advanced CMOS subsystems (e.g. adders, multipliers, data path, memories, regular structures, phase-locked loops) with several design options trading power, delay and area Low-power design methodology, power estimation techniques Power reduction techniques at the logic, architecture and algorithm levels More than 190 circuits explained at the transistor level.

An exciting aspect of contemporary legal scholarship is a concern for law from a global perspective across all legal fields. The book draws upon examples from North America, Western Europe, Africa, Asia, Eastern Europe, and Latin America. It refers to the basic private law fields of torts, property, contracts, and family law. It also refers to the basic public law fields of constitutional law, administrative law, criminal law, and international law. It analyzes diverse legal policy problems from a perspective that is designed to produce solutions whereby conservatives, liberals, and other major viewpoints can all come out ahead of their best initial expectations simultaneously. Such solutions can be considered an important part of an innovative concept of justice that emphasizes being effective, efficient, and equitable simultaneously, rather than compromising on any of those justice components.

Another exciting aspect of contemporary legal scholarship is a concern for the use of modern technology in the form of microcomputer software that can be helpful in law teaching, practice, and research. Computer-aided instruction can supplement the case method by using what-if analysis to make changes in the goals to be achieved, alternative decisions available for achieving them, the factual relations, and other inputs to see how the decisions might change with changes in those inputs. Computer-aided law practice can be helpful in counseling, negotiation, mediation, case analysis, legal policy evaluation, and advocacy. Computer-aided research can be helpful in testing deductive or statistical models to determine how well they can explain variance across the judicial process or other legal processes.

These proceedings derive from an international conference on the history of computing and education. This conference is the third of hopefully a series of conferences that will take place within the International Federation for Information Processing (IFIP) and hence, we describe it as the "Third IFIP Conference on the History of Computing and Education" or simply "History of Computing and Education 3" (HCE3). This volume consists of a collection of articles presented at the HCE3 conference held in association with the IFIP 2008 World Computer Congress in Milano, Italy. Articles range from a wide variety of computing perspectives and they represent activities from six continents. The HCE3 conference is an event of the IFIP Working Group 9.7 on the History of Computing, a working group of IFIP' s Technical Committee 9 (TC9) on the Relationship between Computers and Society. In addition, it is in cooperation with the IFIP Technical Committee 3 (TC3) on Education. The HCE3 conference brings to light a broad spectrum of issues. It illustrates topics in computing as they occurred in the "early days" of computing whose ramifications or overtones remain with us today. Indeed, many of the early challenges remain part of our educational tapestry; most likely, many will evolve into future challenges. Therefore, these proceedings provide additional value to the reader as it will reflect in part the future development of computing and education to stimulate new ideas and models in educational development.

As governmental entities face accelerating public demand for electronic services and the internal need to utilize technology to achieve superior outcomes and operational efficiency, traditional techniques and tools are radically reshaping and evolving into innovative electronic methods of conducting governmental activities.""E-Government Diffusion, Policy, and Impact: Advanced Issues and Practices"" sheds light on how e-government technologies are shaping today's knowledge society from the ground roots of the citizen experience to the supreme level of policy and decision making. With chapters providing insights into such critical topics as public service delivery, technological diffusion, and e-readiness, this publication offers researchers, students, policy makers, and practitioners a quality depiction of worldwide social practice and how advancements within the realm of technology will affect all corners of the globe.

This volume presents the proceedings of the IFIP TC2 WG 2.5 Conference on Grid-Based Problem Solving Environments: Implications for Development and Deployment of Numerical Software, held in Prescott, Arizona from July 17-21, 2006.

Grid-Based Problem Solving Environments will be of particular interest to users of both grid-based and traditional problem solving environments, developers of both grid-based and traditional problem solving environments, developers of grid infrastructure, and developers of numerical software.

Among other topics, Grid-Based Problem Solving Environments explores the following:

- accuracy contracts and software services

- standards for problem specification

- service models for the use of numerical software

- using the grid to link numerical and other services together

- experiences with web-based numerical services

- application-oriented numerical interfaces such as web portals

- software deployment issues including updates and bug fixes

- large data (including data security) and grid-based numerical software

- grid-based services as an alternative to deployment

- evaluation and comparison of both production and research software

This book provides an overview of recent progress in computer simulations of nonperturbative phenomena in quantum field theory, particularly in the context of the lattice approach. It is a collection of extensive self-contained reviews of various subtopics, including algorithms, spectroscopy, finite temperature physics, Yukawa and chiral theories, bounds on the Higgs meson mass, the renormalization group, and weak decays of hadrons.Physicists with some knowledge of lattice gauge ideas will find this book a useful and interesting source of information on the recent developments in the field.

This book provides an overview of recent progress in computer simulations of nonperturbative phenomena in quantum field theory, particularly in the context of the lattice approach. It is a collection of extensive self-contained reviews of various subtopics, including algorithms, spectroscopy, finite temperature physics, Yukawa and chiral theories, bounds on the Higgs meson mass, the renormalization group, and weak decays of hadrons.Physicists with some knowledge of lattice gauge ideas will find this book a useful and interesting source of information on the recent developments in the field.

The intention of IMHO is to make readers think, presenting the "facts" that proponents and opponents of technology use to support their positions in a way that lets readers determine what these facts really mean. Ultimately, IMHO is a reminder that the future of human communication is in our hands, and that we are the active participants in the shaping of it.

With the rapid advancement in information technologies, e-business is rapidly growing in significance and is having a direct impact upon business applications and technologies.

This text concerns the computer-based design and modelling, computational approaches and instrumental methods for elucidating molecular mechanisms of protein folding. Ligand-acceptor interactions are included in volumes 202 and 203 as are genetic and chemical methods for the production of functional molecules including antibodies and antigens, enzymes, receptors, nucleic acids and polysaccharides and drugs.

Wireless ad hoc sensor networks has recently become a very active research subject. Achieving efficient, fault-tolerant realizations of very large, highly dynamic, complex, unconventional networks is a real challenge for abstract modelling, algorithmic design and analysis, but a solid foundational and theoretical background seems to be lacking. This book presents high-quality contributions by leading experts worldwide on the key algorithmic and complexity-theoretic aspects of wireless sensor networks. The intended audience includes researchers and graduate students working on sensor networks, and the broader areas of wireless networking and distributed computing, as well as practitioners in the relevant application areas. The book can also serve as a text for advanced courses and seminars.

Image motion processing is important to machine vision systems because it can lead to the recovery of 3D structure and motion. Author Amar Mitiche offers a comprehensive mathematical treatment of this key subject in visual systems research. Mitiche examines the interpretation of point correspondences as well as the interpretation of straight line correspondences and optical flow. In addition, the author considers interpretation by knowledge-based systems and presents the relevant mathematical basis for 3D interpretation.

Reuse Techniques for VLSI Design is a reflection on the current state of the art in design reuse for microelectronic systems. To that end, it is the first book to garner the input of leading experts from both research and application areas. These experts document herein not only their more mature approaches, but also their latest research results. Firstly, it sets out the background and support from international organisations that enforce System-on-a-Chip (SoC) design by reuse- oriented methodologies. This overview is followed by a number of technical presentations covering different requirements of the reuse domain. These are presented from different points of view, i.e., IP provider, IP user, designer, isolated reuse, intra-company or inter-company reuse. More general systems or case studies, e.g., metrics, are followed by comprehensive reuse systems, e.g., reuse management systems partly including business models. Since design reuse must not be restricted to digital components, mixed- signal and analog reuse approaches are also presented. In parallel to the digital domain, this area covers research in reuse database design. Design verification and legal aspects are two important topics that are closely related to the realization of design reuse. These hot topics are covered by presentations that finalize the survey of outstanding research, development and application of design reuse for SoC design. Reuse Techniques for VLSI Design is an invaluable reference for researchers and engineers involved in VLSI/ASIC design.

The aims of this book are: to provide a guide to the nature, uses, availability and limitations of the main data sources for interpreting and undertaking local and regional studies of economic activity and land use in the United Kingdom; and to examine the methods of collecting information on these topics, the geographic information systems used for storing and analyzing the data, and the range of techniques used to forecast local and regional economic change.

Enterprise Modeling: Improving Global Industrial Competitiveness gives an overview of the current state-of-the-art in enterprise modeling and its application. Enterprise modeling is both a concept and a tool that is highly developed at the research level, but which still promises many new industrial applications. Enterprise models constitute a theoretical basis for the information system in an enterprise and are regarded by many as a substantial opportunity to improve global industrial competitiveness. Enterprise Modeling: Improving Global Industrial Competitiveness gives the reader an understanding of enterprise modeling as a concept and provides examples of its application by describing some of the currently available tools. It is organized in five parts: overview and international trends, the basis of enterprise modeling, application areas, implementation, and industrial experience with enterprise modeling. Enterprise Modeling: Improving Global Industrial Competitiveness is useful to developers of business information systems, users of technical information systems, engineers within operations management, and engineers and economists dealing with performance assessment and improvement. Enterprise Modeling: Improving Global Industrial Competitiveness is suitable as a secondary text for a graduate level course, and as a reference for researchers and practitioners in industry.

In today's society, the quantity of information available to learners is so vast that new strategies of information processing and exchange must be continually developed and improved. E-Collaborative Knowledge Construction: Learning from Computer-Supported and Virtual Environments explores the construction of beneficial e-collaborative knowledge environments from four vital perspectives: educational, psychological, organizational, and technical. It offers several scenarios where the implementation of e-collaborative knowledge construction is necessary and then not only presents methods for facilitating e-collaborative knowledge construction, but also provides methods for assessing its results. This exciting new publication is a must-have for academics, researchers, and professionals who dare to discover new innovations

Thirteen essays explore the varying virtual, physical, cultural and institutional contexts influencing the nature of electronic space for women and explore the intersection of feminisms, power, authority, voice, and computer technologies. It also contains four interviews with prominent scholars, which historicize the disciplinary formation of computers and composition and the impact of technology on the professional lives of women. This collection continues the ongoing conversation exploring the theoretical, pedagogical, and political implications of computer technologies for composition studies, with an primary audience of teachers and theorists of writing in electronic environments.