Результаты поиска - parallelizing compiler problem functionals function https

1

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

Опубликовано 2015

Оглавление: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
Полный текст

Электронный ресурс eКнига

2

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

Опубликовано 2010

Оглавление: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
Полный текст

Электронный ресурс eКнига

3

Fundamentals of Time-Dependent Density Functional Theory

Опубликовано 2012

Предметы: “...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”
Полный текст

Электронный ресурс eКнига

4

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

Опубликовано 2010

Оглавление: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Полный текст

Электронный ресурс eКнига

5

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

Опубликовано 2005

Оглавление: “... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”
Полный текст

Электронный ресурс eКнига

6

C++ Recipes A Problem-Solution Approach /

по Sutherland, Bruce., Sutherland, Bruce.
Опубликовано 2015

Предметы: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Полный текст

Электронный ресурс eКнига

7

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

Опубликовано 2008

Оглавление: “... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”
Полный текст

Электронный ресурс eКнига

8

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

Опубликовано 2005

Оглавление: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Полный текст

Электронный ресурс eКнига

9

Expert F# 4.0

по Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
Опубликовано 2015

Предметы: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Полный текст

Электронный ресурс eКнига

10

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

Опубликовано 2014

Оглавление: “... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...”
Полный текст

Электронный ресурс eКнига

11

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

по Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Опубликовано 2006

Оглавление: “...Overview -- to Computer Systems -- to Operating Systems -- to Using a Computer System -- to Problem...”
Полный текст

Электронный ресурс eКнига

12

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

Опубликовано 2010

Оглавление: “...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”
Полный текст

Электронный ресурс eКнига

13

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...

Опубликовано 2015

Оглавление: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Полный текст

Электронный ресурс eКнига

14

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

Опубликовано 2005

Оглавление: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Полный текст

Электронный ресурс eКнига

15

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

Опубликовано 2010

Оглавление: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Полный текст

Электронный ресурс eКнига

16

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

Опубликовано 2013

Оглавление: “... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”
Полный текст

Электронный ресурс eКнига

17

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

по Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Опубликовано 2015

Оглавление: “...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...”
Полный текст

Электронный ресурс eКнига

18

Distributed Computing 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings /

Опубликовано 2014

Оглавление: “... -- Task Allocation in Ant Colonies -- Agreement Problems -- Communication-Efficient Randomized Consensus...”
Полный текст

Электронный ресурс eКнига

19

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

по Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Опубликовано 2012

Оглавление: “...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...”
Полный текст

Электронный ресурс eКнига

20

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Опубликовано 2008

Оглавление: “...High Performance Computing -- Multiple Stream Prediction -- Enhanced Loop Coalescing: A Compiler...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска