Author: John H. Reppy
Publisher: Cambridge University Press
ISBN: 0521480892
Category : Computers
Languages : en
Pages : 328
Book Description
A 'how-to' book for programmers and researchers interested in practical applications of Concurrent ML.
Concurrent Programming in ML
Author: John H. Reppy
Publisher: Cambridge University Press
ISBN: 0521480892
Category : Computers
Languages : en
Pages : 328
Book Description
A 'how-to' book for programmers and researchers interested in practical applications of Concurrent ML.
Publisher: Cambridge University Press
ISBN: 0521480892
Category : Computers
Languages : en
Pages : 328
Book Description
A 'how-to' book for programmers and researchers interested in practical applications of Concurrent ML.
ML with Concurrency
Author: Flemming Nielson
Publisher: Springer Science & Business Media
ISBN: 1461222745
Category : Computers
Languages : en
Pages : 262
Book Description
Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standard ML, one of the most widely used functional languages, with new primitives for concurrent programming. Computer scientists and graduate students will find this a valuable guide to this topic.
Publisher: Springer Science & Business Media
ISBN: 1461222745
Category : Computers
Languages : en
Pages : 262
Book Description
Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standard ML, one of the most widely used functional languages, with new primitives for concurrent programming. Computer scientists and graduate students will find this a valuable guide to this topic.
Concurrent Programming with Events
Author: John H. Reppy
Publisher:
ISBN:
Category : Computer multitasking
Languages : en
Pages : 40
Book Description
Publisher:
ISBN:
Category : Computer multitasking
Languages : en
Pages : 40
Book Description
Scaling Up Machine Learning
Author: Ron Bekkerman
Publisher: Cambridge University Press
ISBN: 0521192242
Category : Computers
Languages : en
Pages : 493
Book Description
This integrated collection covers a range of parallelization platforms, concurrent programming frameworks and machine learning settings, with case studies.
Publisher: Cambridge University Press
ISBN: 0521192242
Category : Computers
Languages : en
Pages : 493
Book Description
This integrated collection covers a range of parallelization platforms, concurrent programming frameworks and machine learning settings, with case studies.
Concurrent Programming in ML
Author: Walter Rodby
Publisher:
ISBN:
Category : ML (Computer program language)
Languages : en
Pages : 18
Book Description
Finally, one can use the Standard ML modules system to make small adjustments in the meanings of the primitives. The implementation takes only 220 lines of Standard ML. It uses call with current continuation, callcc, to simulate concurrent execution on a sequential machine. callcc is implemented efficiently by the Standard ML of New Jersey compiler, which uses no runtime stack."
Publisher:
ISBN:
Category : ML (Computer program language)
Languages : en
Pages : 18
Book Description
Finally, one can use the Standard ML modules system to make small adjustments in the meanings of the primitives. The implementation takes only 220 lines of Standard ML. It uses call with current continuation, callcc, to simulate concurrent execution on a sequential machine. callcc is implemented efficiently by the Standard ML of New Jersey compiler, which uses no runtime stack."
Structured Parallel Programming
Author: Michael McCool
Publisher: Elsevier
ISBN: 0124159931
Category : Computers
Languages : en
Pages : 434
Book Description
Programming is now parallel programming. Much as structured programming revolutionized traditional serial programming decades ago, a new kind of structured programming, based on patterns, is relevant to parallel programming today. Parallel computing experts and industry insiders Michael McCool, Arch Robison, and James Reinders describe how to design and implement maintainable and efficient parallel algorithms using a pattern-based approach. They present both theory and practice, and give detailed concrete examples using multiple programming models. Examples are primarily given using two of the most popular and cutting edge programming models for parallel programming: Threading Building Blocks, and Cilk Plus. These architecture-independent models enable easy integration into existing applications, preserve investments in existing code, and speed the development of parallel applications. Examples from realistic contexts illustrate patterns and themes in parallel algorithm design that are widely applicable regardless of implementation technology. The patterns-based approach offers structure and insight that developers can apply to a variety of parallel programming models Develops a composable, structured, scalable, and machine-independent approach to parallel computing Includes detailed examples in both Cilk Plus and the latest Threading Building Blocks, which support a wide variety of computers
Publisher: Elsevier
ISBN: 0124159931
Category : Computers
Languages : en
Pages : 434
Book Description
Programming is now parallel programming. Much as structured programming revolutionized traditional serial programming decades ago, a new kind of structured programming, based on patterns, is relevant to parallel programming today. Parallel computing experts and industry insiders Michael McCool, Arch Robison, and James Reinders describe how to design and implement maintainable and efficient parallel algorithms using a pattern-based approach. They present both theory and practice, and give detailed concrete examples using multiple programming models. Examples are primarily given using two of the most popular and cutting edge programming models for parallel programming: Threading Building Blocks, and Cilk Plus. These architecture-independent models enable easy integration into existing applications, preserve investments in existing code, and speed the development of parallel applications. Examples from realistic contexts illustrate patterns and themes in parallel algorithm design that are widely applicable regardless of implementation technology. The patterns-based approach offers structure and insight that developers can apply to a variety of parallel programming models Develops a composable, structured, scalable, and machine-independent approach to parallel computing Includes detailed examples in both Cilk Plus and the latest Threading Building Blocks, which support a wide variety of computers
Term Rewriting and All That
Author: Franz Baader
Publisher: Cambridge University Press
ISBN: 9780521779203
Category : Computers
Languages : en
Pages : 318
Book Description
Unified and self-contained introduction to term-rewriting; suited for students or professionals.
Publisher: Cambridge University Press
ISBN: 9780521779203
Category : Computers
Languages : en
Pages : 318
Book Description
Unified and self-contained introduction to term-rewriting; suited for students or professionals.
Programming Erlang
Author: Joe Armstrong
Publisher:
ISBN: 9781937785536
Category : Computers
Languages : en
Pages : 520
Book Description
Describes how to build parallel, distributed systems using the ERLANG programming language.
Publisher:
ISBN: 9781937785536
Category : Computers
Languages : en
Pages : 520
Book Description
Describes how to build parallel, distributed systems using the ERLANG programming language.
The Definition of Standard ML
Author: Robin Milner
Publisher: MIT Press
ISBN: 9780262631815
Category : Computers
Languages : en
Pages : 132
Book Description
Software -- Programming Languages.
Publisher: MIT Press
ISBN: 9780262631815
Category : Computers
Languages : en
Pages : 132
Book Description
Software -- Programming Languages.
The Standard ML Basis Library
Author: Emden R. Gansner
Publisher: Cambridge University Press
ISBN: 9781139451406
Category : Computers
Languages : en
Pages : 486
Book Description
The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. For programmers using SML, it provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the language. The book serves as a programmer's reference, providing manual pages with concise descriptions. In addition, it presents the principles and rationales used in designing the library, and relates these to idioms and examples for using the library. A particular emphasis of the library is to encourage the use of SML in serious system programming. Major features of the library include I/O, a large collection of primitive types, support for internationalization, and a portable operating system interface. This manual will be an indispensable reference for students, professional programmers, and language designers.
Publisher: Cambridge University Press
ISBN: 9781139451406
Category : Computers
Languages : en
Pages : 486
Book Description
The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. For programmers using SML, it provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the language. The book serves as a programmer's reference, providing manual pages with concise descriptions. In addition, it presents the principles and rationales used in designing the library, and relates these to idioms and examples for using the library. A particular emphasis of the library is to encourage the use of SML in serious system programming. Major features of the library include I/O, a large collection of primitive types, support for internationalization, and a portable operating system interface. This manual will be an indispensable reference for students, professional programmers, and language designers.