Learn IT - Books tags concurrent

Inferno Programming with Limbo

John Wiley & Sons, 2003

Inferno Programming with Limbo is the first complete developer’s guide to programming for the Inferno operating system. Developed at Lucent's Bell Labs, Inferno enables cross-platform, portable, distributed application development that is well suited for networked applications on resource constrained, embedded systems. Limbo is its...

Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Link6ping, Sweden, May 3-5, 1993. Proceedings

Springer, 1993

This volume contains a selection of the papers which were accepted for presentation at AADEBUG'93, the First International Workshop on Automated and Algorithmic Debugging, held in Link6ping, Sweden, 3-5 May 1993.

The area referred to as automated debugging has seen major developments over the last decade. One especially successful area...

Preparing for DB2 Near-realtime Business Intelligence

IBM Press, 2004

In this IBM Redbook we discuss primary processes and various alternatives that prepare you in implementing a DB2 near-realtime business intelligence environment. We discuss architectural alternatives and include overviews of software products that you can use in an implementation. As a primary focus, we tested the capabilities for supporting...

Principles of the Spin Model Checker

Springer, 2008

Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use.

The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching...

Constraint Logic Programming using Eclipse

Cambridge University Press, 2007

Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics. Eclipse is one of the leading software systems that realise its underlying...

Distributed Computing: Principles, Algorithms, and Systems

Cambridge University Press, 2008

Designing distributed computing systems is a complex process requiring a solid understanding of the design problems and the theoretical and practical aspects of their solutions. This comprehensive textbook covers the fundamental principles and models underlying the theory, algorithms and systems aspects of distributed computing. Broad and detailed...

Principles of Model Checking

MIT Press, 2008

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a...

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science)

Springer, 2008

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.

The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all...

Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control (Data Management Systems)

Morgan Kaufmann, 2001

Transactional Information Systems is the long-awaited, comprehensive work from leading scientists in the transaction processing field. Weikum and Vossen begin with a broad look at the role of transactional technology in today's economic and scientific endeavors, then delve into critical issues faced by all practitioners, presenting...

Computer Architecture And Organization

CRC Press, 1990

One does not undertake the task of composing a new textbook lightly. This one has taken more than a year to produce. Furthermore, it does not make the author rich. (It pays better working in a bar!) So why bother?

Having moved to a computer science department from an applied physics environment, I was somewhat shocked at just how little...

Essential COM (DevelopMentor Series)

Addison Wesley, 1998

The Component Object Model (COM) is deep and extremely difficult, making it impossible to grasp the ideas behind this specification quickly or easily. Don Box, the author of Essential COM concedes that it took him six months of reading documentation, writing programs, and experiencing general puzzlement before he had his personal COM...

Computer-Aided Design, Engineering, and Manufacturing: Systems Techniques and Applications, Volume V, The Design of Manu

CRC Press, 2000

In the competitive business arena companies must continually strive to create new and better products faster, more efficiently, and more cost effectively than their competitors to gain and keep the competitive advantage. Computer-aided design (CAD), computer-aided engineering (CAE), and computer-aided manufacturing (CAM) are now the industry...

Result Page: 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3