1
Udgivet 2010
Indholdsfortegnelse: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Få fuldtekst
Electronisk eBog
2
Indholdsfortegnelse: ...Introduction -- Theory behind the SAR Model --  Parallel Exact SAR Model Solutions -- Comparing...
Få fuldtekst
Electronisk eBog
3
Udgivet 2006
Indholdsfortegnelse: ... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...
Få fuldtekst
Electronisk eBog
4
Udgivet 2013
Indholdsfortegnelse: ... Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly...
Få fuldtekst
Electronisk eBog
5
Udgivet 2008
Indholdsfortegnelse: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
Få fuldtekst
Electronisk eBog
6
Udgivet 2011
Indholdsfortegnelse: ...: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures -- 6. Adaptive Task...
Få fuldtekst
Electronisk eBog
7
Udgivet 2010
Indholdsfortegnelse: ... in the Ribosomal Exit Tunnel -- Preparing RAxML for the SPEC MPI Benchmark Suite -- Parallel Computing with the R...
Få fuldtekst
Electronisk eBog
8
Udgivet 2008
Indholdsfortegnelse: ... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...
Få fuldtekst
Electronisk eBog
9
Udgivet 2007
Indholdsfortegnelse: ... Processor -- Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML -- Parallelization...
Få fuldtekst
Electronisk eBog