The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this remarkable progress, the voracity of modem applications and user expectations still pushes technology right to the limit. As hardware engineers build ever-more-powerful machines, so too must software become more sophisticated to keep up. Medium- to large-scale programming projects need teams of people...
The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be,...
* The first exposition on super-recursive algorithms, systematizing all main classes and providing an accessible, focused examination of the theory and its ramifications
* Demonstrates how these algorithms are more appropriate as mathematical models for modern computers and how they present a better framework for computing methods
* Develops a new practically-oriented perspective on the theory of algorithms, computation, and automata, as a whole
* The first exposition on super-recursive algorithms, systematizing all main classes and providing an accessible, focused examination of the theory...
examines problems in robotics in terms of modern geometry. geometry, Lie groups and Lie algebras, simple examples from robotics are given to introduce some powerful methods; geometric ideas are then applied to more serious problems encountered in the design and construction of robotics. of areas, notably mechanical engineering, computer engineering, and applied mathematics.
examines problems in robotics in terms of modern geometry. geometry, Lie groups and Lie algebras, simple examples from robotics are given to introduce...
Overview and Goals Data arriving in time order (a data stream) arises in fields ranging from physics to finance to medicine to music, just to name a few. Often the data comes from sensors (in physics and medicine for example) whose data rates continue to improve dramati cally as sensor technology improves. Further, the number of sensors is increasing, so correlating data between sensors becomes ever more critical in orderto distill knowl edge from the data. On-line response is desirable in many applications (e.g., to aim a telescope at a burst of activity in a galaxy or to perform magnetic...
Overview and Goals Data arriving in time order (a data stream) arises in fields ranging from physics to finance to medicine to music, just to name a f...
During maintenance of a software system, not all questions can be answered directly by resorting to otherwise reliable and accurate source code. Reverse engineering aims at extracting abstract, goal-oriented views of the system, able to summarize relevant properties of the program's computations. Reverse Engineering of Object-Oriented Code provides a comprehensive overview of several techniques that have been recently investigated in the field of reverse engineering. The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that...
During maintenance of a software system, not all questions can be answered directly by resorting to otherwise reliable and accurate source code. Re...
* The first exposition on super-recursive algorithms, systematizing all main classes and providing an accessible, focused examination of the theory and its ramifications
* Demonstrates how these algorithms are more appropriate as mathematical models for modern computers and how they present a better framework for computing methods
* Develops a new practically-oriented perspective on the theory of algorithms, computation, and automata, as a whole
* The first exposition on super-recursive algorithms, systematizing all main classes and providing an accessible, focused examination of the theory...
The core technologies underlying software configuration managementhave changed little in more than two decades. Developmentorganizations struggle to manage ever larger software systems with tools that were never designed to handle them. Their development processes are warped by the inadequacies of their building and version management tools. Developers must take time from writing and debugging code to cope with the operational problems thrust upon them by their build system's inade quate support of large-scale concurrent development. Vesta, a novel system for large-scale software...
The core technologies underlying software configuration managementhave changed little in more than two decades. Developmentorganizations struggle to m...
This monograph is a technical survey of concepts and techniques for describing and analyzing large-scale time-series data streams. Some topics covered are algorithms for query by humming, gamma-ray burst detection, pairs trading, and density detection. Included are self-contained descriptions of wavelets, fast Fourier transforms, and sketches as they apply to time-series analysis. Detailed applications are built on a solid scientific basis.
This monograph is a technical survey of concepts and techniques for describing and analyzing large-scale time-series data streams. Some topics cove...
The programming language SETL is a relatively new member of the so-called "very-high-level" class of languages, some of whose other well-known mem bers are LISP, APL, SNOBOL, and PROLOG. These languages all aim to reduce the cost of programming, recognized today as a main obstacle to future progress in the computer field, by allowing direct manipulation of large composite objects, considerably more complex than the integers, strings, etc., available in such well-known mainstream languages as PASCAL, PL/I, ALGOL, and Ada. For this purpose, LISP introduces structured lists as data objects, APL...
The programming language SETL is a relatively new member of the so-called "very-high-level" class of languages, some of whose other well-known mem ber...
This book began as a series of lecture notes for a course called Introduc tion to Adaptive Systems which I developed for undergraduate Computing Science majors at the University of Alberta and first taught in 1973. The objective of the course has been threefold: (l) to expose undergraduate computer scientists to a variety of subjects in the theory and application of computation, subjects which are too often postponed to the graduate level or never taught at all; (2) to provide undergraduates with a background sufficient to make them effective participants in graduate level courses in Automata...
This book began as a series of lecture notes for a course called Introduc tion to Adaptive Systems which I developed for undergraduate Computing Scien...
