1
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
2
Publicado em 2006
Sumário: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Obter o texto integral
Recurso Electrónico livro electrónico
3
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
4
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
5
Publicado em 2010
Sumário: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2013
Sumário: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2005
Sumário: ...-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2015
Sumário: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2012
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2006
Sumário: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2011
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2010
Sumário: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2007
Sumário: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2006
Sumário: ... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2012
Sumário: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2008
Sumário: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Obter o texto integral
Recurso Electrónico livro electrónico
17
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
18
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
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 2012
Assuntos: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico