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 2011
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
3
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
4
Publicado em 2008
Sumário: ... in Quadratic Time -- The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2012
Assuntos: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
6
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
7
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
8
Publicado em 2008
Sumário: ... Processors and Application Parallelization -- Compilation Strategies for Reducing Code Size on a VLIW...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2011
Sumário: ... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Sumário: ... in Data -- Files -- Functions -- Control Structures -- Characters -- Complex -- Logical -- User Defined...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Sumário: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2010
Sumário: ...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2015
Sumário: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2005
Sumário: ... -- Regular Languages, Unambiguous Concatenation and Computational Complexity -- Contributed Papers...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Sumário: ... -- Functions -- Control Structures -- Characters -- Complex -- Logical -- Introduction to Derived Types...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2010
Sumário: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2013
Sumário: ... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2006
Sumário: ... Framework for Coverability Properties of WSTS -- Complexity Results on Branching-Time Pushdown Model...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2015
Sumário: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Obter o texto integral
Recurso Electrónico livro electrónico