Author: Dachuan Xu
Publisher: Springer
ISBN: 3319213989
Category : Computers
Languages : en
Pages : 778
Book Description
This book constitutes the refereed proceedings of the 21st International Conference on Computing and Combinatorics, COCOON 2015, held in Beijing, China, in August 2015. The 49 revised full papers and 11 shorter papers presented were carefully reviewed and selected from various submissions. The papers cover various topics including algorithms and data structures; algorithmic game theory; approximation algorithms and online algorithms; automata, languages, logic and computability; complexity theory; computational learning theory; cryptography, reliability and security; database theory, computational biology and bioinformatics; computational algebra, geometry, number theory, graph drawing and information visualization; graph theory, communication networks, optimization and parallel and distributed computing.
Computing and Combinatorics
Author: Dachuan Xu
Publisher: Springer
ISBN: 3319213989
Category : Computers
Languages : en
Pages : 778
Book Description
This book constitutes the refereed proceedings of the 21st International Conference on Computing and Combinatorics, COCOON 2015, held in Beijing, China, in August 2015. The 49 revised full papers and 11 shorter papers presented were carefully reviewed and selected from various submissions. The papers cover various topics including algorithms and data structures; algorithmic game theory; approximation algorithms and online algorithms; automata, languages, logic and computability; complexity theory; computational learning theory; cryptography, reliability and security; database theory, computational biology and bioinformatics; computational algebra, geometry, number theory, graph drawing and information visualization; graph theory, communication networks, optimization and parallel and distributed computing.
Publisher: Springer
ISBN: 3319213989
Category : Computers
Languages : en
Pages : 778
Book Description
This book constitutes the refereed proceedings of the 21st International Conference on Computing and Combinatorics, COCOON 2015, held in Beijing, China, in August 2015. The 49 revised full papers and 11 shorter papers presented were carefully reviewed and selected from various submissions. The papers cover various topics including algorithms and data structures; algorithmic game theory; approximation algorithms and online algorithms; automata, languages, logic and computability; complexity theory; computational learning theory; cryptography, reliability and security; database theory, computational biology and bioinformatics; computational algebra, geometry, number theory, graph drawing and information visualization; graph theory, communication networks, optimization and parallel and distributed computing.
Term Indexing
Author: Peter Graf
Publisher: Springer Science & Business Media
ISBN: 9783540610403
Category : Computers
Languages : en
Pages : 308
Book Description
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.
Publisher: Springer Science & Business Media
ISBN: 9783540610403
Category : Computers
Languages : en
Pages : 308
Book Description
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.
Resource Management in Real-time Systems and Networks
Author: C. Siva Ram Murthy
Publisher: MIT Press
ISBN: 9780262133760
Category : Business & Economics
Languages : en
Pages : 472
Book Description
This book introduces the concepts and state-of-the-art research developments of resource management in real-time systems and networks. Real-time systems and networks are of increasing importance in many applications, including automated factories, telecommunication systems, defense systems, and space systems. This book introduces the concepts and state-of-the-art research developments of resource management in real-time systems and networks. Unlike other texts in the field, it covers the entire spectrum of issues in resource management, including task scheduling in uniprocessor real-time systems; task scheduling, fault-tolerant task scheduling, and resource reclaiming in multiprocessor real-time systems; conventional task scheduling and object-based task scheduling in distributed real-time systems; message scheduling; QoS routing; dependable communication; multicast communication; and medium access protocols in real-time networks. It provides algorithmic treatments for all of the issues addressed, highlighting the intuition behind each algorithm and giving examples. The book also includes two chapters of case studies.
Publisher: MIT Press
ISBN: 9780262133760
Category : Business & Economics
Languages : en
Pages : 472
Book Description
This book introduces the concepts and state-of-the-art research developments of resource management in real-time systems and networks. Real-time systems and networks are of increasing importance in many applications, including automated factories, telecommunication systems, defense systems, and space systems. This book introduces the concepts and state-of-the-art research developments of resource management in real-time systems and networks. Unlike other texts in the field, it covers the entire spectrum of issues in resource management, including task scheduling in uniprocessor real-time systems; task scheduling, fault-tolerant task scheduling, and resource reclaiming in multiprocessor real-time systems; conventional task scheduling and object-based task scheduling in distributed real-time systems; message scheduling; QoS routing; dependable communication; multicast communication; and medium access protocols in real-time networks. It provides algorithmic treatments for all of the issues addressed, highlighting the intuition behind each algorithm and giving examples. The book also includes two chapters of case studies.
Algorithms and Architectures for Parallel Processing
Author: Xiang-he Sun
Publisher: Springer
ISBN: 3319111949
Category : Computers
Languages : en
Pages : 711
Book Description
This two volume set LNCS 8630 and 8631 constitutes the proceedings of the 14th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2014, held in Dalian, China, in August 2014. The 70 revised papers presented in the two volumes were selected from 285 submissions. The first volume comprises selected papers of the main conference and papers of the 1st International Workshop on Emerging Topics in Wireless and Mobile Computing, ETWMC 2014, the 5th International Workshop on Intelligent Communication Networks, IntelNet 2014, and the 5th International Workshop on Wireless Networks and Multimedia, WNM 2014. The second volume comprises selected papers of the main conference and papers of the Workshop on Computing, Communication and Control Technologies in Intelligent Transportation System, 3C in ITS 2014, and the Workshop on Security and Privacy in Computer and Network Systems, SPCNS 2014.
Publisher: Springer
ISBN: 3319111949
Category : Computers
Languages : en
Pages : 711
Book Description
This two volume set LNCS 8630 and 8631 constitutes the proceedings of the 14th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2014, held in Dalian, China, in August 2014. The 70 revised papers presented in the two volumes were selected from 285 submissions. The first volume comprises selected papers of the main conference and papers of the 1st International Workshop on Emerging Topics in Wireless and Mobile Computing, ETWMC 2014, the 5th International Workshop on Intelligent Communication Networks, IntelNet 2014, and the 5th International Workshop on Wireless Networks and Multimedia, WNM 2014. The second volume comprises selected papers of the main conference and papers of the Workshop on Computing, Communication and Control Technologies in Intelligent Transportation System, 3C in ITS 2014, and the Workshop on Security and Privacy in Computer and Network Systems, SPCNS 2014.
Time-Varying Network Optimization
Author: Dan Sha
Publisher: Springer Science & Business Media
ISBN: 0387712151
Category : Computers
Languages : en
Pages : 234
Book Description
This text describes a series of models, propositions, and algorithms developed in recent years on time-varying networks. References and discussions on relevant problems and studies that have appeared in the literature are integrated in the book. Its eight chapters consider problems including the shortest path problem, the minimum-spanning tree problem, the maximum flow problem, and many more. The time-varying traveling salesman problem and the Chinese postman problem are presented in a chapter together with the time-varying generalized problem. While these topics are examined within the framework of time-varying networks, each chapter is self-contained so that each can be read – and used – separately.
Publisher: Springer Science & Business Media
ISBN: 0387712151
Category : Computers
Languages : en
Pages : 234
Book Description
This text describes a series of models, propositions, and algorithms developed in recent years on time-varying networks. References and discussions on relevant problems and studies that have appeared in the literature are integrated in the book. Its eight chapters consider problems including the shortest path problem, the minimum-spanning tree problem, the maximum flow problem, and many more. The time-varying traveling salesman problem and the Chinese postman problem are presented in a chapter together with the time-varying generalized problem. While these topics are examined within the framework of time-varying networks, each chapter is self-contained so that each can be read – and used – separately.
Mobile Intelligent Autonomous Systems
Author: Jitendra R. Raol
Publisher: CRC Press
ISBN: 1000755649
Category : Technology & Engineering
Languages : en
Pages : 835
Book Description
Going beyond the traditional field of robotics to include other mobile vehicles, this reference and "recipe book" describes important theoretical concepts, techniques, and applications that can be used to build truly mobile intelligent autonomous systems (MIAS). With the infusion of neural networks, fuzzy logic, and genetic algorithm paradigms for MIAS, it blends modeling, sensors, control, estimation, optimization, signal processing, and heuristic methods in MIAS and robotics, and includes examples and applications throughout. Offering a comprehensive view of important topics, it helps readers understand the subject from a system-theoretic and practical point of view.
Publisher: CRC Press
ISBN: 1000755649
Category : Technology & Engineering
Languages : en
Pages : 835
Book Description
Going beyond the traditional field of robotics to include other mobile vehicles, this reference and "recipe book" describes important theoretical concepts, techniques, and applications that can be used to build truly mobile intelligent autonomous systems (MIAS). With the infusion of neural networks, fuzzy logic, and genetic algorithm paradigms for MIAS, it blends modeling, sensors, control, estimation, optimization, signal processing, and heuristic methods in MIAS and robotics, and includes examples and applications throughout. Offering a comprehensive view of important topics, it helps readers understand the subject from a system-theoretic and practical point of view.
Active Networks
Author: Stefan Covaci
Publisher: Springer
ISBN: 3540485074
Category : Computers
Languages : en
Pages : 373
Book Description
This book constitutes the refereed proceedings of the First International Workshop on Active Networks, IWAN'99, held in Berlin, Germany in June/July 1999. The 30 revised full papers presented were carefully reviewed and selected from a total of 80 submissions. The book is divided in sections on networks architectures, platforms, active management and control, and security. All in all, this book provides a unique state-of-the-art account of architectural aspects, technologies, and prototype systems that will impact the way future networked businesses will be created and managed.
Publisher: Springer
ISBN: 3540485074
Category : Computers
Languages : en
Pages : 373
Book Description
This book constitutes the refereed proceedings of the First International Workshop on Active Networks, IWAN'99, held in Berlin, Germany in June/July 1999. The 30 revised full papers presented were carefully reviewed and selected from a total of 80 submissions. The book is divided in sections on networks architectures, platforms, active management and control, and security. All in all, this book provides a unique state-of-the-art account of architectural aspects, technologies, and prototype systems that will impact the way future networked businesses will be created and managed.
Intelligent Computing in Engineering and Architecture
Author: Ian F.C. Smith
Publisher: Springer Science & Business Media
ISBN: 3540462465
Category : Computers
Languages : en
Pages : 703
Book Description
This book constitutes the thoroughly refereed proceedings of the 13th Workshop of the European Group for Intelligent Computing in Engineering and Architecture, EG-ICE 2006, held in Ascona, Switzerland in June 2006. The 59 revised full papers were carefully reviewed and selected from numerous submissions for inclusion in the book. All issues of advanced informatics are covered including a range of techniques.
Publisher: Springer Science & Business Media
ISBN: 3540462465
Category : Computers
Languages : en
Pages : 703
Book Description
This book constitutes the thoroughly refereed proceedings of the 13th Workshop of the European Group for Intelligent Computing in Engineering and Architecture, EG-ICE 2006, held in Ascona, Switzerland in June 2006. The 59 revised full papers were carefully reviewed and selected from numerous submissions for inclusion in the book. All issues of advanced informatics are covered including a range of techniques.
Progress in VLSI Design and Test
Author: Hafizur Rahaman
Publisher: Springer
ISBN: 3642314945
Category : Computers
Languages : en
Pages : 427
Book Description
This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July 2012. The 30 revised regular papers presented together with 10 short papers and 13 poster sessions were carefully selected from 135 submissions. The papers are organized in topical sections on VLSI design, design and modeling of digital circuits and systems, testing and verification, design for testability, testing memories and regular logic arrays, embedded systems: hardware/software co-design and verification, emerging technology: nanoscale computing and nanotechnology.
Publisher: Springer
ISBN: 3642314945
Category : Computers
Languages : en
Pages : 427
Book Description
This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July 2012. The 30 revised regular papers presented together with 10 short papers and 13 poster sessions were carefully selected from 135 submissions. The papers are organized in topical sections on VLSI design, design and modeling of digital circuits and systems, testing and verification, design for testability, testing memories and regular logic arrays, embedded systems: hardware/software co-design and verification, emerging technology: nanoscale computing and nanotechnology.
Embedded and Ubiquitous Computing
Author: Edwin Sha
Publisher: Springer Science & Business Media
ISBN: 3540366792
Category : Computers
Languages : en
Pages : 1192
Book Description
This book constitutes the refereed proceedings of the International Conference on Embedded and Ubiquitous Computing, EUC 2006, held in Seoul, Korea, August 2006. The book presents 113 revised full papers together with 3 keynote articles, organized in topical sections on power aware computing, security and fault tolerance, agent and distributed computing, wireless communications, real-time systems, embedded systems, multimedia and data management, mobile computing, network protocols, middleware and P2P, and more.
Publisher: Springer Science & Business Media
ISBN: 3540366792
Category : Computers
Languages : en
Pages : 1192
Book Description
This book constitutes the refereed proceedings of the International Conference on Embedded and Ubiquitous Computing, EUC 2006, held in Seoul, Korea, August 2006. The book presents 113 revised full papers together with 3 keynote articles, organized in topical sections on power aware computing, security and fault tolerance, agent and distributed computing, wireless communications, real-time systems, embedded systems, multimedia and data management, mobile computing, network protocols, middleware and P2P, and more.