1
Publicado em 2013
Sumário: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2013
Sumário: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Por Fischer, Robert., Fischer, Robert.
Publicado em 2015
Assuntos: ...Java (Computer program language)....
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2005
Sumário: ... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2010
Sumário: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2010
Sumário: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Sumário: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2005
Sumário: ... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2014
Sumário: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2013
Sumário: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2010
Sumário: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2013
Sumário: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2008
Sumário: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2006
Sumário: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2006
Sumário: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2007
Sumário: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2014
Sumário: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2010
Sumário: ... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...
Obter o texto integral
Recurso Electrónico livro electrónico