Recent Trends in Algebraic Development Techniques
Publication year: 2005
ISBN: 978-3-540-31959-7
Internet Resource: Please Login to download book
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADTb 2004 focussed on the algebraic approach to the specification and development of systems, an area that was born around the algebraic specification of abstract data types and encompasses today the formal design of software systems, new specification frameworks and a wide range of application areas.
Subject: Computer Science, Hochleistungsrechnen, Java, MPI, PVM, Scheduling, distributed systems, grid computing, load balancing, message passing interface, modeling, operating system, parallel algorithms, parallel computing, parallel virtual machine, real-time
