Søgeresultater - parallel functional problem functional function https

1

Number Fields and Function Fields – Two Parallel Worlds

Udgivet 2005

Indholdsfortegnelse: “...Arithmetic over Function Fields: A Cohomological Approach -- Algebraic Stacks Whose Number...”
Få fuldtekst

Electronisk eBog

2

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
Få fuldtekst

Electronisk eBog

3

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
Få fuldtekst

Electronisk eBog

4

Guide to FPGA Implementation of Arithmetic Functions

af Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Udgivet 2012

Fag: “...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...”
Få fuldtekst

Electronisk eBog

5

Functional Imaging and Modeling of the Heart 4th International Conference, Salt Lake City, UT, USA, June 7-9, 2007 /

Udgivet 2007

Indholdsfortegnelse: “... Simulation of Cardiac Electrophysiology -- Parallel Solution in Simulation of Cardiac Excitation Anisotropic...”
Få fuldtekst

Electronisk eBog

6

Fundamentals of Time-Dependent Density Functional Theory

Udgivet 2012

Fag: “...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”
Få fuldtekst

Electronisk eBog

7

Symbolic Integration I Transcendental Functions /

af Bronstein, Manuel., Bronstein, Manuel.
Udgivet 2005

Indholdsfortegnelse: “... Problems -- The Coupled Differential System -- Structure Theorems -- Parallel Integration....”
Få fuldtekst

Electronisk eBog

8

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Udgivet 2010

Indholdsfortegnelse: “... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”
Få fuldtekst

Electronisk eBog

9

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Udgivet 2010

Indholdsfortegnelse: “... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...”
Få fuldtekst

Electronisk eBog

10

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Få fuldtekst

Electronisk eBog

11

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”
Få fuldtekst

Electronisk eBog

12

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”
Få fuldtekst

Electronisk eBog

13

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Udgivet 2010

Indholdsfortegnelse: “... for the Parallel Solution of Symmetric Tridiagonal Eigenvalue Problems -- A Parallel Solution of Large-Scale Heat...”
Få fuldtekst

Electronisk eBog

14

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Udgivet 2010

Indholdsfortegnelse: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Få fuldtekst

Electronisk eBog

15

Dynamics of Parallel Robots From Rigid Bodies to Flexible Elements /

af Briot, Sébastien., Briot, Sébastien., Khalil, Wisama.
Udgivet 2015

Indholdsfortegnelse: “...Part I Prerequisites -- 1 Generalities on parallel robots -- 1.1 Introduction -- 1.2 General...”
Få fuldtekst

Electronisk eBog

16

Numerical Solution of Partial Differential Equations: Theory, Algorithms, and Their Applications In Honor of Professor Raytcho Lazarov's 40 Years of Research in Computational Metho...

Udgivet 2013

Indholdsfortegnelse: “..., I, Owe Axelsson -- A multigrid algorithm for an elliptic problem with a perturbed boundary condition...”
Få fuldtekst

Electronisk eBog

17

Parallel Algorithms and Cluster Computing Implementations, Algorithms and Applications /

Udgivet 2006

Indholdsfortegnelse: “... Problems for Parabolic Systems -- Applications -- Parallel Simulations of Phase Transitions in Disordered...”
Få fuldtekst

Electronisk eBog

18

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Udgivet 2010

Indholdsfortegnelse: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
Få fuldtekst

Electronisk eBog

19

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”
Få fuldtekst

Electronisk eBog

20

Parallel Imaging in Clinical MR Applications

Udgivet 2007

Indholdsfortegnelse: “...Basic Principles of Parallel-Imaging Techniques -- MRI from k-Space to Parallel Imaging -- Basic...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning