"...well written and easy to understand...I would certainly recommend this book..." -- The Journal of Software Testing, Verification and Reliability, December 2002
Integrating three important aspects of software reuse--technical, management, and organizational--this indispensable reference shows how these...
The aim of this book is to teach computer programming using examples from mathematics and the natural sciences. We have chosen to use the Python programming language because it combines remarkable power with very clean, simple, and compact syntax. Python is easy to learn and very well suited for an introduction to computer programming. Python...
The service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. Web services are the natural evolution of conventional middleware technologies to support Web-based and enterprise-level integration.
The highly dynamic characteristics of service-oriented applications means...
This text is based on two rich sources: (1) materials in lecture notes I taught to senior
and graduate-level computer science and electrical engineering students at Rice University
and at the University of Houston, and (2) my research in the area of timing
analysis and verification of real-time systems since the late 1980s,...
Dive into Bitcoin technology with this hands-on guide from one of the leading teachers on Bitcoin and Bitcoin programming. Author Jimmy Song shows Python programmers and developers how to program a Bitcoin library from scratch. You’ll learn how to work with the basics, including the math, blocks, network, and...
With the rapid increase of computational powers and availability of modern sensing, analysis
and rendering equipment and technologies, computers are becoming more and more intelligent.
Many research projects and commercial products have demonstrated the capability for a computer
to interact with human in a natural way by looking at...
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has...
This volume of Lecture Notes in Computer Science contains revised versions of papers presented at the 15th International Conference on Implementation and Application of Automata, CIAA 2010. The conference was held at the University of Manitoba in Winnipeg, Canada, on August 12–15, 2010. The previous CIAA conferences were held in London,...
The objective of Document Analysis and Recognition (DAR) is to recognize the text and graphical components of a document and to extract information. With first papers dating back to the 1960’s, DAR is a mature but still growing research field with consolidated and known techniques. Optical Character Recognition (OCR) engines are some of the...
This book is authored to address many challenging topics related to the multi-core embedded systems research area, starting with multi-core architectures and interconnects, embedded design methodologies for multi-core systems, to mapping of applications, programming paradigms and models of computation on multi-core embedded systems.