0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (4)
  • R250 - R500 (19)
  • R500+ (1,650)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems

Oracle Application Express Administration - For DBAs and Developers (Paperback, 1st ed.): Francis Mignault, Luc Demanche Oracle Application Express Administration - For DBAs and Developers (Paperback, 1st ed.)
Francis Mignault, Luc Demanche
R1,802 Discovery Miles 18 020 Ships in 10 - 15 working days

Succeed in managing Oracle Application Express (APEX) environments. This book focuses on creating the right combination of scalability, high-availability, backup and recovery, integrity, and resource control. The book covers everything from simple to enterprise-class deployments, with emphasis on enterprise-level requirements and coverage of cloud and hybrid-cloud scenarios. Many books cover how to develop applications in Oracle APEX. It's a tool with a fast-growing user-base as developers come to know how quick and easy it is to create new applications that run in a browser. However, just getting an application off the ground is only a small part of a bigger picture. Applications must be supported. They must be available when users need them. They must be robust against disaster and secure against malicious attack. These are the issues addressed in Oracle Application Express Administration. These are the issues that when tackled successfully lead to long term success in using Oracle APEX as a rapid application-development toolset. Readers of this book learn how to install the Oracle APEX engine in support of small-scale projects such as at the departmental level, and in support of enterprise-level projects accessed by thousands of users across dozens of time zones. Readers learn to take advantage of Oracle Database's underlying feature set in regards to application scalability and performance, integrity, security, high-availability, and robustness against failure and data loss. Oracle Application Express Administration also describes different cloud solutions, integration with Oracle E-Business Suite, and helps in taking advantage of multitenancy in Oracle Database 12c and beyond. Covers important enterprise considerations such as scalability, robustness, high-availability. Describes cloud-based application deployment scenarios Focuses on creating the right deployment environment for long-term success What You Will Learn Install, upgrade, and configure robust APEX environments Back up and recover APEX applications and their data Monitor and tune the APEX engine and its applications Benefit from new administration features in APEX 5.0 Run under multi-tenant architecture in Oracle Database 12c Manage the use of scarce resources with Resource Manager Secure your data with advanced security features Build high-availability into your APEX deployments Integrate APEX with Oracle E-Business Suite Who This Book Is For Architects, administrators, and developers who want to better understand how APEX works in a corporate environment. Readers will use this book to design deployment architectures around Oracle Database strengths like multi-tenancy, resource management, and high availability. The book is also useful to administrators responsible for installation and upgrade, backup and recovery, and the ongoing monitoring of the APEX engine and the applications built upon it.

Data Analytics - Models and Algorithms for Intelligent Data Analysis (Paperback, 3rd ed. 2020): Thomas A Runkler Data Analytics - Models and Algorithms for Intelligent Data Analysis (Paperback, 3rd ed. 2020)
Thomas A Runkler
R1,308 Discovery Miles 13 080 Ships in 9 - 17 working days

This book is a comprehensive introduction to the methods and algorithms of modern data analytics. It provides a sound mathematical basis, discusses advantages and drawbacks of different approaches, and enables the reader to design and implement data analytics solutions for real-world applications. This book has been used for more than ten years in the Data Mining course at the Technical University of Munich. Much of the content is based on the results of industrial research and development projects at Siemens.

Transforming the Law - Essays on Technology, Justice and the Legal Marketplace (Hardcover): Richard Susskind Transforming the Law - Essays on Technology, Justice and the Legal Marketplace (Hardcover)
Richard Susskind
R2,481 Discovery Miles 24 810 Ships in 12 - 19 working days

This is the latest book from law and technology guru Richard Susskind, author of best-selling The Future of Law, bringing together in one volume eleven significant essays on the application of IT to legal practice and the administration of justice, including Susskind's very latest thinking on key topics such as knowledge management and the impact of electronic commerce and electronic government.

Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for... Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings (Paperback, 1st ed. 2016)
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
R2,227 Discovery Miles 22 270 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.

Enabling Things to Talk - Designing IoT solutions with the IoT Architectural Reference Model (Paperback, Softcover reprint of... Enabling Things to Talk - Designing IoT solutions with the IoT Architectural Reference Model (Paperback, Softcover reprint of the original 1st ed. 2013)
Alessandro Bassi, Martin Bauer, Martin Fiedler, Thorsten Kramp, Rob van Kranenburg, …
R2,626 Discovery Miles 26 260 Ships in 10 - 15 working days

The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. It will support an ecosystem of smart applications and services bringing hyper-connectivity to our society by using augmented and rich interfaces. Whereas in the beginning IoT referred to the advent of barcodes and Radio Frequency Identification (RFID), which helped to automate inventory, tracking and basic identification, today IoT is characterized by a dynamic trend toward connecting smart sensors, objects, devices, data and applications. The next step will be "cognitive IoT," facilitating object and data re-use across application domains and leveraging hyper-connectivity, interoperability solutions and semantically enriched information distribution. The Architectural Reference Model (ARM), presented in this book by the members of the IoT-A project team driving this harmonization effort, makes it possible to connect vertically closed systems, architectures and application areas so as to create open interoperable systems and integrated environments and platforms. It constitutes a foundation from which software companies can capitalize on the benefits of developing consumer-oriented platforms including hardware, software and services. The material is structured in two parts. Part A introduces the general concepts developed for and applied in the ARM. It is aimed at end users who want to use IoT technologies, managers interested in understanding the opportunities generated by these novel technologies, and system architects who are interested in an overview of the underlying basic models. It also includes several case studies to illustrate how the ARM has been used in real-life scenarios. Part B then addresses the topic at a more detailed technical level and is targeted at readers with a more scientific or technical background. It provides in-depth guidance on the ARM, including a detailed description of a process for generating concrete architectures, as well as reference manuals with guidelines on how to use the various models and perspectives presented to create a concrete architecture. Furthermore, best practices and tips on how system engineers can use the ARM to develop specific IoT architectures for dedicated IoT solutions are illustrated and exemplified in reverse mapping exercises of existing standards and platforms.

Enhanced Building Information Models - Using IoT Services and Integration Patterns (Paperback, 1st ed. 2015): Umit Isikdag Enhanced Building Information Models - Using IoT Services and Integration Patterns (Paperback, 1st ed. 2015)
Umit Isikdag
R1,860 Discovery Miles 18 600 Ships in 10 - 15 working days

This book explains how to combine and exploit sensor networks and internet-of-things (IoT) technologies and Web-service design patterns to enrich and integrate Building Information Models (BIMs). It provides approaches and software architectures for facilitating the interaction with (and between) BIMs through Web services, and for enabling and facilitating the fusion of the information residing in such models or of information acquired from IoT technologies. The proposed software architectures are presented in the form of design patterns. This information fusion will facilitate many novel application fields ranging from emergency response, to urban monitoring and surveillance, and to smart buildings. The book consists of 8 chapters. The first 2 chapters focus on the basics of BIMs, while chapter 3 presents fundamental service-oriented architecture patterns for complex information models. Subsequently, chapters 4 and 5 elaborate on the hardware and software side of IoT, with a special focus on their use for BIMs. Chapter 6 provides advanced SOA patterns for BIMs, while chapter 7 details patterns for IoT, and for BIM and IoT information fusion. Lastly, chapter 8 summarizes the work and provides an outlook on promising future developments. Overall, the book will be beneficial for researchers and developers in the fields of building information models, IoT applications, and systems integration.

Biometrics in the New World - The Cloud, Mobile Technology and Pervasive Identity (Paperback, Softcover reprint of the original... Biometrics in the New World - The Cloud, Mobile Technology and Pervasive Identity (Paperback, Softcover reprint of the original 1st ed. 2014)
Julian Ashbourn
R2,585 Discovery Miles 25 850 Ships in 10 - 15 working days

This book takes a fresh look at biometrics and identity management, extending the dialogue beyond technical considerations, and exploring some of the broader societal and philosophical aspects surrounding the use of biometric applications. Features: presents a brief history of the development of biometrics, and describes some of the popularly held misconceptions surrounding the technology; investigates the challenges and possibilities of biometrics across third party infrastructures and on mobile computing devices; provides guidance on biometric systems design; explores the mechanisms necessary to enable identity intelligence, including logging mechanisms, data communications and data formats; discusses such usage issues as collaboration frameworks, and messaging and data translation; examines the impact of biometric technologies on society, covering issues of privacy and user factors; reviews the current situation in identity management, and predicts where these trends may take us in the future.

Ad Hoc Networks - 7th International Conference, AdHocHets 2015, San Remo, Italy, September 1-2, 2015. Proceedings (Paperback,... Ad Hoc Networks - 7th International Conference, AdHocHets 2015, San Remo, Italy, September 1-2, 2015. Proceedings (Paperback, 1st ed. 2015)
Nathalie Mitton, Melike Erol Kantarci, Antoine Gallais, Symeon Papavassiliou
R2,262 Discovery Miles 22 620 Ships in 10 - 15 working days

This book constitutes the proceedings of the International Conference on Ad Hoc Networks, ADHOCNETS 2015, held in September 2015 in Italy. The 17 regular and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers cover topics such as physical layer; MAC and routing; mobility in networks; self-organization, virtualization and localization; cloud, virtualization and prototypage; security and fault tolerance in wireless mobile networks.

Embedded System Technology - 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015, Revised Selected Papers... Embedded System Technology - 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015, Revised Selected Papers (Paperback, 1st ed. 2015)
Xing Zhang, Zhonghai Wu, Xingmian Sha
R1,521 Discovery Miles 15 210 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 13th National Conference on Embedded System Technology, ESTC 2015, held in Beijing, China, in October 2015. The 18 revised full papers presented were carefully reviewed and selected from 63 papers. The topics cover a broad range of fields focusing on research about embedded system technologies, such as smart hardware, system and network, applications and algorithm.

Pervasive Computing Paradigms for Mental Health - 5th International Conference, MindCare 2015, Milan, Italy, September 24-25,... Pervasive Computing Paradigms for Mental Health - 5th International Conference, MindCare 2015, Milan, Italy, September 24-25, 2015, Revised Selected Papers (Paperback, 1st ed. 2016)
Silvia Serino, Aleksandar Matic, Dimitris Giakoumis, Guillaume Lopez, Pietro Cipresso
R2,354 Discovery Miles 23 540 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 5th International Conference on Pervasive Computing Paradigms for Mental Health, MindCare 2015, held in Milan, Italy, in September 2015. The 23 full papers and 6 short papers presented were carefully reviewed and selected from 40 submissions. The papers deal with the use of technologies in favor of maintaining and improving mental wellbeing. They focus on building new computing paradigms and on addressing a multitude of challenges in mental healthcare, for example in psychiatric and psychological domains with emphasis on new technologies, such as video and audio technologies and mobile and wearable computing.

Computational Intelligence and Intelligent Systems - 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22,... Computational Intelligence and Intelligent Systems - 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers (Paperback, 1st ed. 2016)
Kangshun Li, Jin Li, Yong Liu, Aniello Castiglione
R1,656 Discovery Miles 16 560 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 7th International Symposium on Intelligence Computation and Applications, ISICA 2015, held in Guangzhou, China, in November 2015. The 77 revised full papers presented were carefully reviewed and selected from 189 submissions. The papers feature the most up-to-date research in analysis and theory of evolutionary computation, neural network architectures and learning; neuro-dynamics and neuro-engineering; fuzzy logic and control; collective intelligence and hybrid systems; deep learning; knowledge discovery; learning and reasoning.

Cloud Manufacturing - Distributed Computing Technologies for Global and Sustainable Manufacturing (Paperback, 2013 ed.): Wei... Cloud Manufacturing - Distributed Computing Technologies for Global and Sustainable Manufacturing (Paperback, 2013 ed.)
Wei Dong Li, Joern Mehnen
R3,602 Discovery Miles 36 020 Ships in 10 - 15 working days

Global networks, which are the primary pillars of the modern manufacturing industry and supply chains, can only cope with the new challenges, requirements and demands when supported by new computing and Internet-based technologies. Cloud Manufacturing: Distributed Computing Technologies for Global and Sustainable Manufacturing introduces a new paradigm for scalable service-oriented sustainable and globally distributed manufacturing systems. The eleven chapters in this book provide an updated overview of the latest technological development and applications in relevant research areas. Following an introduction to the essential features of Cloud Computing, chapters cover a range of methods and applications such as the factors that actually affect adoption of the Cloud Computing technology in manufacturing companies and new geometrical simplification method to stream 3-Dimensional design and manufacturing data via the Internet. This is further supported case studies and real life data for Waste Electrical and Electronic Equipment (WEEE) remanufacturing. This compilation of up to date research and literature can be used as a textbook or reference for mechanical, manufacturing, and computer engineering graduate students and researchers for efficient utilization, deployment and development of distributed and Cloud manufacturing systems, services and applications.

Wireless Sensor Networks - 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings (Paperback,... Wireless Sensor Networks - 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings (Paperback, 2015 ed.)
Tarek Abdelzaher, Nuno Pereira, Eduardo Tovar
R1,530 Discovery Miles 15 300 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 12 European Conference on Wireless Sensor Networks, EWSN 2015, held in Porto, Portugal, in February 2015. The 14 full papers and 9 short papers presented were carefully reviewed and selected from 85 submissions. They cover a wide range of topics grouped into five sessions: services and applications, mobility and delay-tolerance, routing and data dissemination, and human-centric sensing.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII - Selected Papers from DaWaK 2013 (Paperback, 2015 ed.):... Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII - Selected Papers from DaWaK 2013 (Paperback, 2015 ed.)
Abdelkader Hameurlain, Josef Kung, Roland Wagner, Ladjel Bellatreche, Mukesh Mohania
R1,883 Discovery Miles 18 830 Ships in 10 - 15 working days

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. Current decentralized systems still focus on data and knowledge as their main resource. Feasibility of these systems relies basically on P2P (peer-to-peer) techniques and the support of agent systems with scaling and decentralized control. Synergy between grids, P2P systems and agent technologies is the key to data- and knowledge-centered systems in large-scale environments. This, the 17th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains extended and revised versions of five papers, selected from the 24 full and 8 short papers presented at the 15th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2013, held in Prague, The Czech Republic, in August 2013. Of the five papers, two cover data warehousing aspects related to query processing optimization in advanced platforms, specifically Map Reduce and parallel databases, and three cover knowledge discovery, specifically the causal network inference problem, dimensionality reduction, and the quality-of-pattern-mining task.

Sound, Music, and Motion - 10th International Symposium, CMMR 2013, Marseille, France, October 15-18, 2013. Revised Selected... Sound, Music, and Motion - 10th International Symposium, CMMR 2013, Marseille, France, October 15-18, 2013. Revised Selected Papers (Paperback, 2014 ed.)
Mitsuko Aramaki, Olivier Derrien, Richard Kronland-Martinet, Solvi Ystad
R1,640 Discovery Miles 16 400 Ships in 10 - 15 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Symposium on Computer Music Modeling and Retrieval, CMMR 2013, held in Marseille, France, in October 2013. The 38 conference papers presented were carefully reviewed and selected from 94 submissions. The chapters reflect the interdisciplinary nature of this conference with following topics: augmented musical instruments and gesture recognition, music and emotions: representation, recognition, and audience/performers studies, the art of sonification, when auditory cues shape human sensorimotor performance, music and sound data mining, interactive sound synthesis, non-stationarity, dynamics and mathematical modeling, image-sound interaction, auditory perception and cognitive inspiration, and modeling of sound and music computational musicology.

Design Methodologies for Secure Embedded Systems - Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss (Paperback, 2011 ed.):... Design Methodologies for Secure Embedded Systems - Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss (Paperback, 2011 ed.)
Alexander Biedermann, Gregor H Molter
R4,328 Discovery Miles 43 280 Ships in 10 - 15 working days

Embedded systems have been almost invisibly pervading our daily lives for several decades. They facilitate smooth operations in avionics, automotive electronics, or telecommunication. New problems arise by the increasing employment, interconnection, and communication of embedded systems in heterogeneous environments: How secure are these embedded systems against attacks or breakdowns? Therefore, how can embedded systems be designed to be more secure? How can embedded systems autonomically react to threats? Facing these questions, Sorin A. Huss is significantly involved in the exploration of design methodologies for secure embedded systems. This Festschrift is dedicated to him and his research on the occasion of his 60th birthday.

Intelligent Robotics and Applications - 7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014,... Intelligent Robotics and Applications - 7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings, Part I (Paperback, 2014 ed.)
Xianmin Zhang, Honghai Liu, Zhong Chen, Nianfeng Wang
R3,008 Discovery Miles 30 080 Ships in 10 - 15 working days

This two volume set LNAI 8917 and 8918 constitutes the refereed proceedings of the 7th International Conference on Intelligent Robotics and Applications, ICIRA 2014, held in Guangzhou, China, in December 2014. The 109 revised full papers presented were carefully reviewed and selected from 159 submissions. The papers aim at enhancing the sharing of individual experiences and expertise in intelligent robotics with particular emphasis on technical challenges associated with varied applications such as biomedical applications, industrial automations, surveillance, and sustainable mobility.

Information Processing and Security Systems (Paperback, 2005 ed.): Khalid Saeed, Jerzy Pejas Information Processing and Security Systems (Paperback, 2005 ed.)
Khalid Saeed, Jerzy Pejas
R5,634 Discovery Miles 56 340 Ships in 10 - 15 working days

Information Processing and Security Systems is a collection of forty papers that were originally presented at an international multi-conference on Advanced Computer Systems (ACS) and Computer Information Systems and Industrial Management Applications (CISIM) held in Elk, Poland. This volume describes the latest developments in advanced computer systems and their applications within artificial intelligence, biometrics and information technology security. The volume also includes contributions on computational methods, algorithms and applications, computational science, education and industrial management applications.

Computer and Computing Technologies in Agriculture III - Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China,... Computer and Computing Technologies in Agriculture III - Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers (Paperback, 2010 ed.)
Daoliang Li, Chunjiang Zhao
R2,958 Discovery Miles 29 580 Ships in 10 - 15 working days

I want to express my sincere thanks to all authors who submitted research papers to support the Third IFIP International Conference on Computer and Computing Te- nologies in Agriculture and the Third Symposium on Development of Rural Infor- tion (CCTA 2009) held in China, during October 14-17, 2009. This conference was hosted by the CICTA (EU-China Centre for Information & Communication Technologies, China Agricultural University), China National En- neering Research Center for Information Technology in Agriculture, Asian Conf- ence on Precision Agriculture, International Federation for Information Processing, Chinese Society of Agricultural Engineering, Beijing Society for Information Te- nology in Agriculture, and the Chinese Society for Agricultural Machinery. The pla- num sponsor includes the Ministry of Science and Technology of China, Ministry of Agriculture of China, Ministry of Education of China, among others. The CICTA (EU-China Centre for Information & Communication Technologies, China Agricultural University) focuses on research and development of advanced and practical technologies applied in agriculture and on promoting international communi- tion and cooperation. It has successfully held three International Conferences on C- puter and Computing Technologies in Agriculture, namely CCTA 2007, CCTA 2008 and CCTA 2009. Sustainable agriculture is the focus of the whole world currently, and therefore the application of information technology in agriculture is becoming more and more - portant. 'Informatized agriculture' has been sought by many countries recently in order to scientifically manage agriculture to achieve low costs and high incomes.

Knowledge Management and Acquisition for Smart Systems and Services - 13th Pacific Rim Knowledge Acquisition Workshop, PKAW... Knowledge Management and Acquisition for Smart Systems and Services - 13th Pacific Rim Knowledge Acquisition Workshop, PKAW 2014, Gold Cost, QLD, Australia, December 1-2, 2014, Proceedings (Paperback, 2014 ed.)
Yang Sok Kim, Byeong Ho Kang, Deborah Richards
R2,308 Discovery Miles 23 080 Ships in 10 - 15 working days

This book constitutes the proceedings of the 13th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2014, held in Gold Cost, Qld, Australia, in December 2014. The 18 full papers and 4 short papers included in this volume were carefully reviewed and selected from 69 initial submissions. They deal with knowledge acquisition, expert systems, intelligent agents, ontology engineering, foundations of artificial intelligence, machine learning, data mining, Web mining, information systems, Web and other applications.

Knowledge Representation for Health Care - 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic,... Knowledge Representation for Health Care - 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers (Paperback, 2014 ed.)
Silvia Miksch, David Riano, Annette ten Teije
R1,763 Discovery Miles 17 630 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 6th International Workshop on Knowledge Representation for Health Care, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The workshop aimed at attracting the interest of novel research and advances contributing in the definition, representation and exploitation of health care knowledge in medical informatics. The 12 revised full research papers and 4 short papers presented in this book were carefully reviewed and selected from 26 submissions.

Functional Verification of Programmable Embedded Architectures - A Top-Down Approach (Paperback, 2005 ed.): Prabhat Mishra,... Functional Verification of Programmable Embedded Architectures - A Top-Down Approach (Paperback, 2005 ed.)
Prabhat Mishra, Nikil D. Dutt
R2,873 Discovery Miles 28 730 Ships in 10 - 15 working days

It is widely acknowledged that the cost of validation and testing comprises a s- nificant percentage of the overall development costs for electronic systems today, and is expected to escalate sharply in the future. Many studies have shown that up to 70% of the design development time and resources are spent on functional verification. Functional errors manifest themselves very early in the design flow, and unless they are detected up front, they can result in severe consequence- both financially and from a safety viewpoint. Indeed, several recent instances of high-profile functional errors (e. g. , the Pentium FDIV bug) have resulted in - creased attention paid to verifying the functional correctness of designs. Recent efforts have proposed augmenting the traditional RTL simulation-based validation methodology with formal techniques in an attempt to uncover hard-to-find c- ner cases, with the goal of trying to reach RTL functional verification closure. However, what is often not highlighted is the fact that in spite of the tremendous time and effort put into such efforts at the RTL and lower levels of abstraction, the complexity of contemporary embedded systems makes it difficult to guarantee functional correctness at the system level under all possible operational scenarios. The problem is exacerbated in current System-on-Chip (SOC) design meth- ologies that employ Intellectual Property (IP) blocks composed of processor cores, coprocessors, and memory subsystems. Functional verification becomes one of the major bottlenecks in the design of such systems.

Haptics: Neuroscience, Devices, Modeling, and Applications - 9th International Conference, EuroHaptics 2014, Versailles,... Haptics: Neuroscience, Devices, Modeling, and Applications - 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part II (Paperback, 2014 ed.)
Malika Auvray, Christian Duriez
R1,589 Discovery Miles 15 890 Ships in 10 - 15 working days

The two-volume set LNCS 8618 and 8619 constitutes the refereed proceedings of the 9th International Conference EuroHaptics 2014, held in Versailles, France, in June 2014. The 118 papers (36 oral presentations and 82 poster presentations) presented were carefully reviewed and selected from 183 submissions. Furthermore, 27 demos were exhibited, each of them resulting in a short paper included in the volumes. These proceedings reflect the multidisciplinary nature of EuroHaptics and cover topics such as human-computer interaction, human-robot interactions, neuroscience, perception and psychophysics, biomechanics and motor control, modelling and simulation; and a broad range of applications in medicine, rehabilitation, art, and design.

Physiological Computing Systems - First International Conference, PhyCS 2014, Lisbon, Portugal, January 7-9, 2014, Revised... Physiological Computing Systems - First International Conference, PhyCS 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers (Paperback, 2014 ed.)
Hugo Placido da Silva, Andreas Holzinger, Stephen Fairclough, Dennis Majoe
R1,763 Discovery Miles 17 630 Ships in 10 - 15 working days

This book constitutes the proceedings of the First International Conference on Physiological Computing Systems, PhyCS 2014, held in Lisbon, Portugal, in January 2014. The 10 papers presented in this volume were carefully reviewed and selected from 52 submissions. They are organized in topical sections named: methodologies and methods; devices; applications; and human factors.

Hardware Based Packet Classification for High Speed Internet Routers (Paperback, 2010 ed.): Chad R. Meiners, Alex X. Liu, Eric... Hardware Based Packet Classification for High Speed Internet Routers (Paperback, 2010 ed.)
Chad R. Meiners, Alex X. Liu, Eric Torng
R2,873 Discovery Miles 28 730 Ships in 10 - 15 working days

Hardware Based Packet Classification for High Speed Internet Routers presents the most recent developments in hardware based packet classification algorithms and architectures. This book describes five methods which reduce the space that classifiers occupy within TCAMs; TCAM Razor, All-Match Redundancy Removal, Bit Weaving, Sequential Decomposition, and Topological Transformations. These methods demonstrate that in most cases a substantial reduction of space is achieved. Case studies and examples are provided throughout this book. About this book: * Presents the only book in the market that exclusively covers hardware based packet classification algorithms and architectures. * Describes five methods which reduce the space that classifiers occupy within TCAMs: TCAM Razor, All-Match Redundancy Removal, Bit Weaving, Sequential Decomposition, and Topological Transformations. * Provides case studies and examples throughout. Hardware Based Packet Classification for High Speed Internet Routers is designed for professionals and researchers who work within the related field of router design. Advanced-level students concentrating on computer science and electrical engineering will also find this book valuable as a text or reference book.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Stick Control - Snaredrummer
George L Stone Staple bound R307 R280 Discovery Miles 2 800
Intelligent Processing Algorithms and…
Dewang Chen, Ruijun Cheng Hardcover R2,873 Discovery Miles 28 730
Partially Homomorphic Encryption
Cetin Kaya Koc, Funda OEzdemir, … Hardcover R3,602 Discovery Miles 36 020
Cryptocurrencies and Blockchain…
Keizer Soeze Hardcover R1,469 R1,221 Discovery Miles 12 210
Cyber Deception - Building the…
Sushil Jajodia, V.S. Subrahmanian, … Hardcover R5,700 Discovery Miles 57 000
Nanoelectronics, Circuits and…
Vijay Nath, J K Mandal Hardcover R8,468 Discovery Miles 84 680
Advances in Communication and Computing
Prabin Kumar Bora, S R Mahadeva Prasanna, … Hardcover R4,484 R3,627 Discovery Miles 36 270
Computing Platforms for Software-Defined…
Waqar Hussain, Jari Nurmi, … Hardcover R3,841 R3,559 Discovery Miles 35 590
Practical Fiber Optics
David Bailey, Edwin Wright Paperback R1,286 Discovery Miles 12 860
R for Business Analytics
A. Ohri Hardcover R3,406 Discovery Miles 34 060

 

Partners