It is not often that we can welcome the advent of a new theory of programming. Twelve years ago, E.W. Dijkstra published his Discipline of Programming, which is still a definitive source-book on the development of sequential algorithms. And now Chandy and Misra have shown how Dijkstra's methods, and other more recent developments, can be...

With the introduction of multicore devices such as the iPad 2 and the quad-core Mac- Book Pro, writing multithreaded apps that take advantage of multiple cores on a device has become one of the biggest headaches for developers. Take, for instance, the introduction of iPad 2. On the launch day, only a few applications, basically those...

Why should a Java developer learn about functional programming (FP)? After all, hasn’t functional programming been safely hidden in academia for decades? Isn’t objectoriented programming (OOP) all we really need? This book explains why functional programming has become an important tool for the challenges of our time and how...

Parallel programming truly redefines the programming model for multicore architecture, which has become commonplace. For this reason, parallel programming has been elevated to a core technology in the Microsoft .NET Framework 4. In this version of the .NET Framework, the Task Parallel Library (TPL) and the System.Threading.Tasks...

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...

The decade of the 80's saw the dramatic expansion of high performance computer graphics into domains previously able only to irt with the technology. Among the most dramatic has been the incorporation of real-time interactive manipulation and display for human gures. Though actively pur- sued by several research groups, the...

Haskell is a deep language; we think learning it is a hugely rewarding experience. We will focus on three elements as we explain why. The first is novelty: we invite you to think about programming from a different and valuable perspective. The second is power: we’ll show you how to create software that is short, fast, and safe....

This book describes a use case–driven UML-based method for the modeling and design of software architectures, including object-oriented software architectures, client/server software architectures, service-oriented architectures, componentbased software architectures, concurrent and real-time software architectures, and software...

The Program Committee,...

The release of Spring...

Parallel programming has been revolutionised in .NET 4 providing, for the first time, a standardised and simplified method for creating robust, scalable and reliable multi-threaded applications. The Parallel Programming features of .NET 4 allow the programmer to create applications that harness the power of multi-core and multi-processor...