SISAL: Streams and Iteration in a Single Assignment Language. Language Reference Manual
Author : Lawrence Livermore Laboratory
Publisher :
Page : pages
File Size : 44,40 MB
Release : 1985
Category :
ISBN :
Author : Lawrence Livermore Laboratory
Publisher :
Page : pages
File Size : 44,40 MB
Release : 1985
Category :
ISBN :
Author :
Publisher :
Page : pages
File Size : 12,66 MB
Release : 1986
Category : Compilers (Computer programs)
ISBN :
Author : J. Mcgraw
Publisher :
Page : pages
File Size : 40,9 MB
Release : 1985
Category :
ISBN :
Author : Ricardo Pena
Publisher : Springer Science & Business Media
Page : 258 pages
File Size : 32,21 MB
Release : 2003-05-20
Category : Computers
ISBN : 3540401903
This book constitutes the thoroughly refereed post-proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented were carefully selected from 25 submissions during two rounds of reviewing and revision. Among the topics addressed are language concepts, type checking, compilation techniques, abstract interpretation, automatic program generation, machine architecture, array processing, concurrent and parallel programming and program execution, heap management, runtime profiling and performance measurement, debugging and tracing, verification of functional programs, and tools and programming techniques.
Author : Phil Trinder
Publisher : Springer Science & Business Media
Page : 193 pages
File Size : 49,17 MB
Release : 2004-11-29
Category : Computers
ISBN : 3540237275
This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of Functional Languages, IFL 2003, held in Edinburgh, UK in September 2003. The 11 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 workshop presentations. The papers are organized in topical sections on language constructs and programming, static analysis and types, parallelism, and generic programming.
Author :
Publisher :
Page : 1010 pages
File Size : 34,13 MB
Release : 1990
Category : Power resources
ISBN :
Author : Jean-Pierre Jouannaud
Publisher : Springer Science & Business Media
Page : 424 pages
File Size : 36,81 MB
Release : 1985-09
Category : Computers
ISBN : 9783540159759
Author :
Publisher :
Page : 688 pages
File Size : 46,97 MB
Release : 1984
Category : Aeronautics
ISBN :
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
Author : Miroslaw Malek
Publisher : DIANE Publishing
Page : 54 pages
File Size : 43,72 MB
Release : 1993-05
Category :
ISBN : 9781568063058
Discusses the wide spectrum of high-performance computing in Europe, including advanced microprocessor and memory technology, system design, formal methods, and software. Also discusses several high-profile European Community (EC) science and technology programs.
Author : David Padua
Publisher : Springer Science & Business Media
Page : 2211 pages
File Size : 37,69 MB
Release : 2014-07-08
Category : Computers
ISBN : 038709766X
Containing over 300 entries in an A-Z format, the Encyclopedia of Parallel Computing provides easy, intuitive access to relevant information for professionals and researchers seeking access to any aspect within the broad field of parallel computing. Topics for this comprehensive reference were selected, written, and peer-reviewed by an international pool of distinguished researchers in the field. The Encyclopedia is broad in scope, covering machine organization, programming languages, algorithms, and applications. Within each area, concepts, designs, and specific implementations are presented. The highly-structured essays in this work comprise synonyms, a definition and discussion of the topic, bibliographies, and links to related literature. Extensive cross-references to other entries within the Encyclopedia support efficient, user-friendly searchers for immediate access to useful information. Key concepts presented in the Encyclopedia of Parallel Computing include; laws and metrics; specific numerical and non-numerical algorithms; asynchronous algorithms; libraries of subroutines; benchmark suites; applications; sequential consistency and cache coherency; machine classes such as clusters, shared-memory multiprocessors, special-purpose machines and dataflow machines; specific machines such as Cray supercomputers, IBM’s cell processor and Intel’s multicore machines; race detection and auto parallelization; parallel programming languages, synchronization primitives, collective operations, message passing libraries, checkpointing, and operating systems. Topics covered: Speedup, Efficiency, Isoefficiency, Redundancy, Amdahls law, Computer Architecture Concepts, Parallel Machine Designs, Benmarks, Parallel Programming concepts & design, Algorithms, Parallel applications. This authoritative reference will be published in two formats: print and online. The online edition features hyperlinks to cross-references and to additional significant research. Related Subjects: supercomputing, high-performance computing, distributed computing