الصفحة 5
الصفحة 5
Digital VLSI Design with Verilog : A Textbook from Silicon Valley Technical Institute
Digital VLSI Design With Verilog is all an engineer needs for in-depth understanding of the verilog language: Syntax, synthesis semantics, simulation, and test. For a reader with access to appropriate electronic design tools, all solutions can be developed, simulated, and synthesized as described in the book.
Dependable computing ; 2nd Latin-American symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005 : proceedings
Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises 16 papers presented together with 3 invited talks. The papers are organized in topical sections on evaluation, certification, modelling, embedded systems, time, and distributed systems algorithms.
Declarative programming for knowledge management ; 16th International conference on applications of declarative programming and knowledge management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers
Presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005,held in October 2005 at Waseda University, Fukuoka, Japan. These papers re?ect a snapshot of ongoing research and current app- cations in knowledge management and declarative programming.
Data center networking : Network topologies and traffic management in large-scale data centers
Provides a comprehensive reference in large data center networking. It first summarizes the developing trend of DCNs, and reports four novel DCNs, including a switch-centric DCN, a modular DCN, a wireless DCN, and a hybrid DCN. Furthermore another important factor in DCN targets at managing and optimizing the network activity at the level of transfers to aggregate correlated data flows and thus directly to lower down the network traffic resulting from such data transfers. In particular, the book reports the in-network aggregation of incast transfer, shuffle transfer, uncertain incast transfer, and the cooperative scheduling of uncertain multicast transfer.
Cooperative systems : Control and optimization
This book provides an insight in the basic understanding of cooperative systems as well as in theory, modeling, and applications of cooperative control, optimization and related problems.
Control and Scheduling Codesign : Flexible Resource Management in Real-Time Control Systems
Recent evolutionary advances in information and communication technologies give rise to a new environment for Real Time Control Systems. This book is a monograph that covers our recent and original results in this direction.
Container Terminals and Automated Transport Systems : Logistics Control Issues and Quantitative Decision Support
Container transportation is the predominant mode of inter-continental cargo traffic. Since container ships and port terminals involve a huge capital investment and significant daily operating costs, it is of crucial importance to efficiently utilize the internal resources of container terminals and transportation systems. Today there is an ongoing trend to use automated container handling and transportation technology, in particular, in countries with high labour costs. This in turn requires highly sophisticated control strategies in order to meet the desired performance measures. The primary objective of this book is to reflect these recent developments and to present new insights and successful solutions to operational problems of automated container terminals and transportation systems. It comprises reports on the state of the art, applications of quantitative methods, as well as case studies and simulation results. Its contributions are written by leading experts from academia and business.
Construction Project Scheduling and Control
Introduces students to entirely new definitions and theories of the Critical Path Method (CPM), the leading scheduling method, as well as the most up-to-date information on Building Information Modeling (BIM). The new edition will include updated worked problems and scheduling software exercises, as well as revised teaching materials such as lecture slides and an instructor's manua
Construction Management
Covers a wide range of subjects, reflecting the breadth of knowledge needed to understand the dynamics of this large and complex industry. This edition includes updated chapters on planning and scheduling, a new chapter addressing linear scheduling methods, material regarding the historical background of construction as a profession, and includes an Instructor Resource of solutions to the end-of-chapter review exercises.
Constraint satisfaction techniques for agent-based reasoning
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial applications such as planning, scheduling and resource sharing in a variety of practical domains such as transportation, production, supply-chains, network management and human resource management. In this book we study new techniques for solving constraint satisfaction problems, with a special focus on solution adaptation applied to agent reasoning.
Computing and Combinatorics ; 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings
The refereed proceedings of the 14th Annual International Computing and Combinatorics Conference, COCOON 2008, held in Dalian, China, in June 2008.
Computer-aided Systems in Public Transport
This proceedings volume consists of selected papers presented at the Ninth Int- national Conference on Computer-Aided Scheduling of Public Transport (CASPT 2004), which was held at the Hilton San Diego Resort and Conference Center in San Diego, California, USA, from August 9-11, 2004. The CASPT 2004 conference is the continuation of a series of international workshops and conferences prese- ing recent research and progress in computer-aided scheduling in public transport.
Combinatorial optimization and applications ; 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings
This volume constitutes the proceedings of the 14th International Conference on Combinatorial Optimization and Applications, COCOA 2020, held in Dallas, TX, USA, in December 2020. The 55 full papers presented in this volume were carefully reviewed and selected from 104 submissions. The papers are grouped into the following topics: Approximation Algorithms; Scheduling; Network Optimization; Complexity and Logic; Search, Facility and Graphs; Geometric Problem; Sensors, Vehicles and Graphs; and Graph Problems.
Combinatorial and Algorithmic Aspects of Networking ; 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007, Revised Papers
It contiants developments on all aspects of networking could be presented. It covered were diverse, with talks on strategies for searching in networks, for cleaning networks of unwanted - truders, on difierent routing strategies, and on scheduling, load balancing, probability, a concept central to network modeling and managing.
Column Generation
Column Generation is an insightful overview of the state of the art in integer programming column generation and its many applications. The volume begins with "A Primer in Column Generation" which outlines the theory and ideas necessary to solve large-scale practical problems, illustrated with a variety of examples. Other chapters follow this introduction on "Shortest Path Problems with Resource Constraints," "Vehicle Routing Problem with Time Window," "Branch-and-Price Heuristics," "Cutting Stock Problems," each dealing with methodological aspects of the field. Three chapters deal with transportation applications: "Large-scale Models in the Airline Industry," "Robust Inventory Ship Routing by Column Generation," and "Ship Scheduling with Recurring Visits and Visit Separation Requirements." Production is the focus of another three chapters: "Combining Column Generation and Lagrangian Relaxation," "Dantzig-Wolfe Decomposition for Job Shop Scheduling," and "Applying Column Generation to Machine Scheduling." The final chapter by François Vanderbeck, "Implementing Mixed Integer Column Generation," reviews how to set-up the Dantzig-Wolfe reformulation, adapt standard MIP techniques to the column generation context (branching, preprocessing, primal heuristics), and deal with specific column generation issues (initialization, stabilization, column management strategies).
Cloud Computing, Smart Grid and Innovative Frontiers in Telecommunications ; 9th EAI International Conference, CloudComp 2019, and 4th EAI International Conference, SmartGIFT 2019, Beijing, China, December 4-5, 2019, and December 21-22, 2019
Constitutes the refereed proceedings of the 9thInternational Conference on Cloud Computing, CloudComp 2019, and the 4th International Conference on Smart Grid and Innovative Frontiers in Telecommunications, SmartGIFT 2019, both held in Beijing, China, in December 2019. The55 full papers of both conferences were selected from 113 submissions. CloudComp 2019 presents recent advances and experiences in clouds, cloud computing and related ecosystems and business support. The papers are grouped thematically in tracks on cloud architecture and scheduling; cloud-based data analytics; cloud applications; and cloud security and privacy. SmartGIFT 2019 focus on all aspects of smart grids and telecommunications, broadly understood as the renewable generation and distributed energy resources integration, computational intelligence applications, information and communication technologies.
Cloud Computing Solutions : Architecture, Data Storage, Implementation, and Security
Includes all the cloud-related technologies in a single platform, so that researchers, academicians, postgraduate students, and those in the industry can easily understand the cloud-based ecosystems. Discusses the evolution of cloud computing through grid computing and cluster computing. It will help researchers and practitioners to understand grid and distributed computing cloud infrastructure, virtual machines, virtualization, live migration, scheduling techniques, auditing concept, security and privacy, business models, and case studies through the state-of-the-art cloud computing countermeasures. The topics treated in the book include:The evolution of cloud computing from grid computing, cluster computing, and distributed systems / Covers cloud computing and virtualization environments / Discusses live migration, database, auditing, and applications as part of the materials related to cloud computing / Provides concepts of cloud storage, cloud strategy planning, and management, cloud security, and privacy issues / Explains complex concepts clearly and covers information for advanced users and beginners.
Mathematical Foundations of Computer Science 2005 ; 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, held in Gdansk, Poland in August/September 2005. The 62 papers address various aspects in theoretical computer science, ranging from quantum computing, approximation, automata, circuits, scheduling, games, and more.
Manufacturing Execution Systems - MES
The production plants of today develop into modern service centers. Economic efficiency of modern added value is not a property of products alone but of the process. Decisive potential in business now is a question of process capability, rather than production capability. Process capability in business requires real-time systems for optimization. Business-IT needs to be developed from telecommunications and ERP to real time services, which are not offered by the prevailing ERP systems. Today, only modern Manufacturing Execution Systems (MES) offer real-time applications. They generate current as well as historic mappings of production facilities and thus they can be used as basis for optimizations. It is important to map the supply chain in real time. Increasing complexity in production requires an integrated view of the production and service facilities: detailed scheduling, status collection, quality, performance analysis, tracing of material and so on have to be recorded and displayed in an integrated way.
Languages and Compilers for Parallel Computing ; 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 21th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2008, held in Edmonton, Canada, in July/August 2008.The 18 revised full papers and 6 revised short papers presented were carefully reviewed and selected from 35 submissions. The papers address all aspects of languages, compiler techniques, run-time environments, and compiler-related performance evaluation for parallel and high-performance computing and comprise
