1
Publicat 2006
Taula de continguts: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Obtenir text complet
Electrònic eBook
3
Publicat 2006
Taula de continguts: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Obtenir text complet
Electrònic eBook
4
Matèries: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
5
Publicat 2008
Taula de continguts: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Obtenir text complet
Electrònic eBook
6
Publicat 2010
Taula de continguts: ... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...
Obtenir text complet
Electrònic eBook
7
Publicat 2010
Taula de continguts: ... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...
Obtenir text complet
Electrònic eBook
8
Publicat 2010
Taula de continguts: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
Obtenir text complet
Electrònic eBook
9
Publicat 2008
Taula de continguts: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
Obtenir text complet
Electrònic eBook
10
Publicat 2010
Taula de continguts: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Obtenir text complet
Electrònic eBook
11
Publicat 2007
Taula de continguts: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Obtenir text complet
Electrònic eBook
12
Publicat 2008
Taula de continguts: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
Obtenir text complet
Electrònic eBook
13
Publicat 2007
Taula de continguts: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ... Environments: A Cross-Cultural Study Analyzing the Willingness of Users to Share Context Information...
Obtenir text complet
Electrònic eBook
15
Publicat 2014
Taula de continguts: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Obtenir text complet
Electrònic eBook
16
Publicat 2005
Taula de continguts: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
Obtenir text complet
Electrònic eBook
17
Publicat 2012
Taula de continguts: ... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....
Obtenir text complet
Electrònic eBook
18
Publicat 2008
Taula de continguts: ... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...
Obtenir text complet
Electrònic eBook
19
Publicat 2005
Taula de continguts: ... Platform and Open Source Environments -- Progress on Crossing Number Problems -- Full Contributed Papers...
Obtenir text complet
Electrònic eBook
20
Publicat 2013
Taula de continguts: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
Obtenir text complet
Electrònic eBook