Результаты поиска - linear programs problem process array https

1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

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

Оглавление: “... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”
Полный текст

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

2

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

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

Оглавление: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Полный текст

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

3

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

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

Оглавление: “... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...”
Полный текст

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

4

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

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

Оглавление: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Полный текст

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

5

String Processing and Information Retrieval 13th International Conference, SPIRE 2006, Glasgow, UK, October 11-13, 2006, Proceedings /

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

Оглавление: “... Versus Suffix Arrays for Locating Patterns in Primary Memory -- Efficient Lazy Algorithms for Minimal...”
Полный текст

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

6

A Practical Programming Model for the Multi-Core Era International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings /

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

Оглавление: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
Полный текст

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

7

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

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

Оглавление: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
Полный текст

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

8

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

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

Оглавление: “... of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors...”
Полный текст

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

9

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

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

Оглавление: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Полный текст

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

10

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

Оглавление: “... of Uncountable-State Stochastic Processes -- Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving...”
Полный текст

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

11

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

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

Оглавление: “...BORM-II and UML as accessibility process in knowledge and business modelling -- Planning-Context...”
Полный текст

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

12

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

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

Оглавление: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Полный текст

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

13

Numerical Python A Practical Techniques Approach for Industry /

по Johansson, Robert., Johansson, Robert.
Опубликовано 2015

Оглавление: “...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...”
Полный текст

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

14

Advances in Neural Networks – ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings /

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

Оглавление: “... Systems -- A Neurodynamic Optimization Approach to Bilevel Linear Programming -- A Nonlinear Neural...”
Полный текст

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

15

Combinatorial Pattern Matching 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings /

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

Оглавление: “... on Run-Length Encoding -- Linear-Time Construction of Compressed Suffix Arrays Using o(n log n)-Bit...”
Полный текст

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

16

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

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

Оглавление: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Полный текст

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

17

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

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

Оглавление: “... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...”
Полный текст

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

18

Combinatorial Image Analysis 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings /

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

Оглавление: “... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...”
Полный текст

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

19

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

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

Оглавление: “... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”
Полный текст

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

20

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

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

Оглавление: “... Programming: A Declarative Approach to Solving Search Problems -- Inconsistencies in Ontologies -- Technical...”
Полный текст

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

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