1
Publicado em 2005
Sumário: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2007
Sumário: ... Simulation of Cardiac Electrophysiology -- Parallel Solution in Simulation of Cardiac Excitation Anisotropic...
Obter o texto integral
Recurso Electrónico livro electrónico
3
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
4
Publicado em 2006
Sumário: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Sumário: ... -- EDA Tools -- Adders -- Multipliers -- Dividers -- Other Operations -- Floating Point Arithmetic...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2005
Sumário: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Obter o texto integral
Recurso Electrónico livro electrónico
7
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
8
Publicado em 2007
Sumário: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2005
Sumário: ... of Weighted Continuous Functions -- On a Gevrey-Nonsolvable Partial Differential Operator -- Optimal...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2005
Sumário: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Por Serakos, Demetrios., Serakos, Demetrios.
Publicado em 2015
Sumário: ...1. Introduction -- 2.Preliminaries -- 3. Spaces of time functions consisting of input-output...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Por Eisner, Tanja., Eisner, Tanja.
Publicado em 2010
Sumário: ...Introduction -- Chapter I. Functional analytic tools -- 1. Structure of compact semigroups -- 2...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Por Freeman, Adam., Freeman, Adam.
Publicado em 2010
Sumário: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2010
Sumário: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2010
Sumário: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2010
Sumário: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2010
Sumário: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Sumário: ...Foundations of Analysis -- Sets, Topology and Metrics -- Elementary Functional Analysis -- Measure...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2005
Sumário: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2008
Sumário: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
Obter o texto integral
Recurso Electrónico livro electrónico