Kategoria BISAC: Computers >> Machine Theory

In recent years, IT application scenarios have evolved in very innovative ways. Highly distributed networks have now become a common platform for large-scale distributed programming, high bandwidth communications are inexpensive and widespread, and most of our work tools are equipped with processors enabling us to perform a multitude of tasks. In addition, mobile computing (referring specifically to wireless devices and, more broadly, to dynamically configured systems) has made it possible to exploit interaction in novel ways. To harness the flexibility and power of these rapidly evolving,...

The book describes in detail the classical methods, as well as the extensions and novel approaches developed recently. Along with algorithmic...

This book presents the design of computer arithmetic circuits for four arithmetic operations using three number representations. The circuits are designed using algorithms or traditional design techniques and implemented using Verilog hardware description language (HDL) in the SILOS simulation environment. For each design method, the text illustrates the underling theory, examples of use, organization of the arithmetic function, logic design of the circuit, and Verilog HDL implementation. Verilog projects, including the design and test bench modules, as well as outputs and waveforms...

This volume utilizes the dissimilarity space representation originally proposed by Duin and Pekalska to embed graphs in real vector spaces. Such an embedding gives one access to all algorithms developed in the past for feature vectors, which has been the predominant representation formalism in pattern recognition...

Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of...

In recent years, IT application scenarios have evolved in very innovative ways. Highly distributed networks have now become a common platform for large-scale distributed programming, high bandwidth communications are inexpensive and widespread, and most of our work tools are equipped with processors enabling us to perform a multitude of tasks. In addition, mobile computing (referring specifically to wireless devices and, more broadly, to dynamically configured systems) has made it possible to exploit interaction in novel ways. To harness the flexibility and power of these rapidly evolving,...