'This book is the definitive reference manual for mental ray version 3.4. It starts with a brief overview of the features of mental ray and continues with the specification of the mental ray scene description language, the mental ray shader interface, and the integration interface for third-party applications. All material is presented in...
Before starting a new task, you generally do research so you can avoid mistakes. In
the computer realm, bootstrap sessions provide a head start and help you
minimize mistakes and surprises. As an example, to design a protocol stack, build
a bootstrap session so you can understand the protocol specification and the
system on which it...
The Internet plays a significant and growing role in real-time industrial manufacturing, scheduling and management. A considerable research effort has led to the development of new technologies that make it possible to use the Internet for supervision and control of industrial processes.
For developers of computer-based systems, capturing and understanding the complex
functional requirements and behaviour of software components has come to
represent a considerable challenge. This book aims to equip readers with skills and
techniques which will help them to address this challenge. It does so by stressing
the value of...
I first began developing social applications when Facebook opened up its developer
platform in 2007, giving people like me a taste of the extensive social data that an
application can use to improve growth and target personalization settings. At the time,
I was building social fantasy sports applications for CBSSports.com, pulling user...
This book is not intended to be a traditional software engineering text — there are
many good ones. Instead, it is designed specifically for those involved in image
processing systems. It provides a modern engineering framework for the specification,
design, coding, testing, and maintenance of image processing software and...
Concurrent processes can exhibit extremely complicated behavior, and
neither informal reasoning nor testing is reliable enough to establish their
correctness. In this thesis, we develop a new technique for the verification
of parallel programs. The technique is stated in terms of axioms and inference
rules, and it is used to prove...
About four years ago David Luckham hinted to me the possibility of verifying
a "real" compiler. At that time the idea seemed unrealistic, even absurd. After
looking closer at the problem and getting more familiar with the possibilities of
the Stanford verifier a verified compiler appeared not so impossible after all. In...
The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems. It is intended for those with some basic knowledge or experience of computing but does not assume knowledge of the particular problems of concurrent and real-time systems. It concentrates on one group of languages,...
The use of modular and parallel programming languages, and the development of distributed architectures is having a profound influence on computer programming and systems design; hardware and performance can now conspire to produce much higher operating speeds than could previously be achieved through sequential processing. Executing...
Current search paradigms for the Web, direct access through search engines and
navigational access via static taxonomies, have recently been strongly criticized.
A third paradigm, dynamic taxonomies or faceted search, is gaining acceptance to
the extent that it is now the de facto standard in product selection for e-commerce.
This new...
A Proven Development Methodology That Delivers On the Promise of Model-Based Approaches
Software continues to become more and more complex, while software consumers’ expectations for performance, reliability, functionality, and speed-to-market are also growing exponentially. H. S. Lahman shows how...
