Page 1
Page 1
Generating hardware assertion checkers : For hardware verification, emulation, post-fabrication debugging and on-line monitoring
This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides a unique and consistent perspective on employing assertions in major areas, such as: specification, verification, debugging, on-line monitoring and design quality improvement.
Formulas, ingredients and production of cosmetics technology of skin- and hair-care products in Japan
Provides the comprehensive knowledge and instruction necessary for researchers to design and create cosmetics products. The book’s chapters cover a comprehensive list of topics, which include, among others, the basics of cosmetics, such as the raw materials of cosmetics and their application; practical techniques and technologies for designing and manufacturing cosmetics, as well as theoretical knowledge; emulsification; sensory evaluations of cosmetic ingredients; and how to create products such as soap-based cleansers, shampoos, conditioners, creams, and others. The potential for innovation is great in Japan’s cosmetics industry. This book expresses the hope that the high level of dedicated research continues and proliferates, especially among those who are innovators at heart.
End-to-End Quality of Service Over Heterogeneous Networks
The book presents mechanisms, protocols, and system architectures to achieve end-to-end Quality-of-Service (QoS) over heterogeneous wired/wireless networks in the Internet. Particular focus is on measurement techniques, traffic engineering mechanisms and protocols, signalling protocols as well as transport protocol extensions to support fairness and QoS. It shows how those mechanisms and protocols can be combined into a comprehensive end-to-end QoS architecture to support QoS in the Internet over heterogeneous wired/wireless access networks. Finally, techniques for evaluation of QoS mechanisms such as simulation and emulation are presented.
Constraint-Based Verification
Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name. Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal methods. The goal is to show how constraints, or assertions, can be used toward automating the generation of testbenches, resulting in a seamless verifcation flow. Topics such as verification coverage, and connection with assertion-based verification are also covered.
Long-Term Preservation of Digital Documents : Principles and Practices
Key to our culture is that we can disseminate information, and then maintain and access it over time. While we are rapidly advancing from vulnerable physical solutions to superior, digital media, preserving and using data over the long term involves complicated research challenges and organization efforts. Uwe Borghoff and his coauthors address the problem of storing, reading, and using digital data for periods longer than 50 years. They briefly describe several markup and document description languages like TIFF, PDF, HTML, and XML, explain the most important techniques such as migration and emulation, and present the OAIS (Open Archival Information System) Reference Model. To complement this background information on the technology issues the authors present the most relevant international preservation projects, such as the Dublin Core Metadata Initiative, and experiences from sample projects run by the Cornell University Library and the National Library of the Netherlands. A rated survey list of available systems and tools completes the book.
Load balancing using SDN
Software-Defined Network (SDN) is considered a breakthrough to the global network. It plays an important role in performance improvement and network optimization. SDN is a new mechanism for managing and designing networks rather than the current traditional network system which does not afford more services and higher data rates; therefore, we analyze the effect of applying load balancing techniques and its importance in different SDN environments. In this paper, we propose a dynamic server load balancing technique in SDN architecture. Hence, we implement a server Connection-based load balancing technique and evaluate its performance with a static Round-robin and Random-based in both mininet emulation environment and OpenFlow-enabled switch using Ryu OpenFlow controller.
Biomimicry for Optimization, Control, and Automation
In this book, we focus onhowtousebiomimicryof the functionaloperationofthe “hardwareandso- ware” of biological systems for the development of optimization algorithms and feedbackcontrolsystemsthatextendourcapabilitiestoimplementsophisticated levels of automation. The primary focus is not on the modeling, emulation, or analysis of some biological system. The focus is on using “bio-inspiration” to inject new ideas, techniques, and perspective into the engineering of complex automation systems. There are many biological processes that, at some level of abstraction, can berepresentedasoptimizationprocesses,manyofwhichhaveasa basicpurpose automatic control, decision making, or automation.
Autonomic communication ; Vol. 3457 ; 1st International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers
The ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 2004 in Berlin, Germany. The purpose of this workshop was to discuss Autonomic Communication—a new communication paradigm to assist the design of the next-generation n- works. WAC 2004 was explicitly focused on the principles that help to achieve purposeful behavior on top of self-organization (self-management, self-healing, self-awareness, etc. ). The workshop intended to derive these common principles from submissions that study network element’s autonomic behavior exposed by innovative (cross-layer optimized, context-aware, and securely programmable) protocol stack (or its middleware emulations) in its interaction with numerous, often dynamic network groups and communities. The goals were to understand how autonomic behaviors are learned, in?uenced or changed, and how, in turn, these a?ect other elements, groups and the network. Panel reports were compiled by panel moderators and conclude this volume.
