Rezultaty - parallelizing compilers problems functionals function https

1

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

Wydane 2015

Spis treści: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

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

Wydane 2010

Spis treści: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Fundamentals of Time-Dependent Density Functional Theory

Wydane 2012

Hasła przedmiotowe: “...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

Wydane 2010

Spis treści: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

Wydane 2005

Spis treści: “... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Wydane 2008

Spis treści: “... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Wydane 2005

Spis treści: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

C++ Recipes A Problem-Solution Approach /

od Sutherland, Bruce., Sutherland, Bruce.
Wydane 2015

Hasła przedmiotowe: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Expert F# 4.0

od Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
Wydane 2015

Hasła przedmiotowe: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Wydane 2014

Spis treści: “... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

od Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Wydane 2006

Spis treści: “...Overview -- to Computer Systems -- to Operating Systems -- to Using a Computer System -- to Problem...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers /

Wydane 2010

Spis treści: “...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

od Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Wydane 2015

Spis treści: “...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Wydane 2015

Spis treści: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Wydane 2005

Spis treści: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Wydane 2010

Spis treści: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Wydane 2013

Spis treści: “... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

od Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Wydane 2012

Spis treści: “...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Wydane 2006

Spis treści: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Wydane 2010

Spis treści: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty