1
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
2
Publicado em 2005
Sumário: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2005
Sumário: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2008
Sumário: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2006
Sumário: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Por Fischer, Robert., Fischer, Robert.
Publicado em 2015
Assuntos: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2005
Sumário: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2008
Sumário: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2005
Sumário: ... -- Exploring Hierarchical Rule Systems in Parallel Coordinates -- Bayesian Networks Learning for Gene...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2010
Sumário: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2008
Sumário: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Sumário: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2010
Sumário: ... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2005
Sumário: ... and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optimization...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2005
Sumário: ... Approximation Algorithms for Metric Max TSP -- Unbalanced Graph Cuts -- Low Degree Connectivity in Ad-Hoc...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2008
Sumário: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2007
Sumário: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2007
Sumário: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2010
Sumário: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Obter o texto integral
Recurso Electrónico livro electrónico