Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Standardized Functional Verification describes the science of functional verification that applies to any digital hardware system. With a precise and comprehensive terminology this book describes a thorough technical framework for achieving superior results with greater efficiency. It also defines a scientific basis for achieving functional closure and shows how true functional closure can be measured by software. The author provides a wealth of practical guidance to the practicing professional. It describes how to compare results from differing projects and how to assess the risk of functional bugs at tape-out or at any other critical product juncture. The book also shows consumers how to compare IP offerings from multiple vendors. For producers, it describes how to verify IP in a manner that meets customer needs. Producers and consumers of silicon IP therefore have a solid framework to communicate requirements and to align expectations effectively and efficiently. Standardized Functional Verification is a valuable reference for verification engineers and managers, and also for developers of verification software. The principles and theory this book describes will drive creation of the next generation of verification tools.

Electronics --- Electrical engineering --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- informatica --- elektronica --- CAD (computer aided design) --- elektrische circuits

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 9th International Symposium on Smart Graphics, SG 2008, held in Rennes, France in August 2008. The 17 revised full papers together with 9 short papers and 3 demonstrations presented were carefully reviewed and selected. The papers are organized in topical sections on sketching, navigation and selection, studies and evaluation, camera planning, as well as visualization.

Journalism --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- grafische vormgeving --- informatica --- media --- CAD (computer aided design)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Electronics --- Electrical engineering --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- informatica --- elektronica --- CAD (computer aided design) --- elektrische circuits

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Journalism --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- grafische vormgeving --- informatica --- media --- CAD (computer aided design)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Distributed production networks are structures which are considered able to provide the organisational agility and efficiency necessary to compete in the global market. The performance of such organisations heavily depends on the ability of those involved in the network to coordinate their activities. Two approaches are available for managing complex distributed production networks: a centralised approach, where a unique entity (the planner, for instance) has all the necessary information to make planning decisions for the entire network; or a decentralised approach where each entity in the network has the necessary information and knowledge to make autonomous planning decisions, while the common goal is reached through cooperation between all the people involved in the network. Production Planning in Production Networks addresses production planning problems in distributed manufacturing networks from strategic, tactical, organisational and operative perspectives. New methodologies for capacity negotiation, allocation and workload assignment in production networks are presented. Specifically, three main problems are focussed on: how to negotiate production capacity availability in the long-term; how to allocate production capacity in medium-term planning; and, how to assign workloads in the short-term. The proposed approaches are based on negotiation algorithms in multi-agent networks. These approaches are compared with classical centralised approaches using discrete event simulation methodologies. Benchmark analysis is provided to understand the effectiveness and efficiency of the proposed approaches. The methodologies, approaches and results presented in Production Planning in Production Networks will be of interest to production network managers who will learn how to organise decentralised production planning in distributed organisations, and enterprise resource planning vendors who can apply the proposed methodologies to the extended enterprise.

Industrial economics --- Plant and equipment --- Production management --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- productieorganisatie --- logistiek --- industriële marketing --- machines --- ingenieurswetenschappen --- CAD (computer aided design)