Authors Jim Jeffers and James Reinders spent two years helping educate customers about the prototype and pre-production hardware before Intel introduced the first Intel Xeon Phi coprocessor. They have distilled their own experiences coupled with insights from many expert customers, Intel Field Engineers, Application Engineers and Technical...

This book addresses the challenges of data abstraction generation using a least number of database scans, compressing data through novel lossy and non-lossy schemes, and carrying out clustering and classification directly in the compressed domain. Schemes are presented which are shown to be efficient both in terms of space and time, while...

This brief surveys existing techniques to address the problem of long delays and high power consumption for web browsing on smartphones, which can be due to the local computational limitation at the smartphone (e.g., running java scripts or flash objects) level. To address this issue, an architecture called Virtual-Machine based Proxy (VMP)...

Presenting and developing the theory of spin glasses as a prototype for complex systems, this book is a rigorous and up-to-date introduction to their properties. The book combines a mathematical description with a physical insight of spin glass models. Topics covered include the physical origins of those models and their treatment with...

• Helps you to use Shiny's built in functions to produce engaging and useful user interfaces in hours, not days
• Enables you to extend Shiny using...

• Develop your knowledge for Cisco certification (CCNA, CCNP, CCIE), using GNS3
• Install GNS3 successfully on Windows, Linux, or OS...

• Develop and validate your own embedded audio/video applications rapidly with Beagleboard
• Create embedded Linux applications on a pure Windows PC
• Full of illustrations, diagrams, and...

Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the...

Optimal Estimation of Dynamic Systems, Second Edition highlights the importance of both physical and numerical modeling in solving dynamics-based estimation problems found in engineering systems. Accessible to engineering students, applied mathematicians, and practicing engineers, the text presents the central concepts and...

• Create sophisticated prototypes incorporating Axure with the latest web trends...