Search Results - linear problems program processing array https

1

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

Published 2008

Table of Contents: “... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”
View full text

Electronic eBook

2

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

Published 2010

Table of Contents: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
View full text

Electronic eBook

3

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

Published 2015

Table of Contents: “... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...”
View full text

Electronic eBook

4

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

Published 2010

Table of Contents: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
View full text

Electronic eBook

5

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

Published 2006

Table of Contents: “... Versus Suffix Arrays for Locating Patterns in Primary Memory -- Efficient Lazy Algorithms for Minimal...”
View full text

Electronic eBook

6

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

Published 2008

Table of Contents: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
View full text

Electronic eBook

7

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

Published 2014

Table of Contents: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
View full text

Electronic eBook

8

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

Published 2010

Table of Contents: “... of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors...”
View full text

Electronic eBook

9

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

Published 2015

Table of Contents: “...BORM-II and UML as accessibility process in knowledge and business modelling -- Planning-Context...”
View full text

Electronic eBook

10

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

Published 2014

Table of Contents: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
View full text

Electronic eBook

11

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

Published 2015

Table of Contents: “... of Uncountable-State Stochastic Processes -- Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving...”
View full text

Electronic eBook

12

Numerical Python A Practical Techniques Approach for Industry /

by Johansson, Robert., Johansson, Robert.
Published 2015

Table of Contents: “...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...”
View full text

Electronic eBook

13

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

Published 2005

Table of Contents: “... on Run-Length Encoding -- Linear-Time Construction of Compressed Suffix Arrays Using o(n log n)-Bit...”
View full text

Electronic eBook

14

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

Published 2007

Table of Contents: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
View full text

Electronic eBook

15

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

Published 2005

Table of Contents: “... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...”
View full text

Electronic eBook

16

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

Published 2015

Table of Contents: “... Systems -- A Neurodynamic Optimization Approach to Bilevel Linear Programming -- A Nonlinear Neural...”
View full text

Electronic eBook

17

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

Published 2010

Table of Contents: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
View full text

Electronic eBook

18

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

Published 2012

Table of Contents: “... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...”
View full text

Electronic eBook

19

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

Published 2006

Table of Contents: “... Programming: A Declarative Approach to Solving Search Problems -- Inconsistencies in Ontologies -- Technical...”
View full text

Electronic eBook

20

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Published 2010

Table of Contents: “...: An Ant Colony Optimization Algorithm for the Closest String Problem -- Linear Complementarity Algorithms...”
View full text

Electronic eBook

Narrow Search