Search Results - linear programs program processing array https

1

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

Published 2008

Table of Contents: “... Selection Architecture for Genetic Programming -- A Comparison of Cartesian Genetic Programming and Linear...”
View full text

Electronic eBook

2

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Published 2010

Table of Contents: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
View full text

Electronic eBook

3

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Published 2014

Table of Contents: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
View full text

Electronic eBook

4

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

5

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: “... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”
View full text

Electronic eBook

6

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

7

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

8

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

Published 2012

Table of Contents: “... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...”
View full text

Electronic eBook

9

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III /

Published 2014

Table of Contents: “...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”
View full text

Electronic eBook

10

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

11

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

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

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

Published 2006

Table of Contents: “... Programming Language -- Distance-Based Repairs of Databases -- Natural Deduction Calculus for Linear-Time...”
View full text

Electronic eBook

14

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April...

Published 2014

Table of Contents: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
View full text

Electronic eBook

15

Scientific Data Analysis using Jython Scripting and Java

by Chekanov, Sergei V., Chekanov, Sergei V.
Published 2010

Table of Contents: “...-dimensional Data -- Multi-dimensional Data -- Arrays, Matrices and Linear Algebra -- Histograms -- Random...”
View full text

Electronic eBook

16

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: “... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...”
View full text

Electronic eBook

17

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Published 2008

Table of Contents: “... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”
View full text

Electronic eBook

18

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /

Published 2013

Table of Contents: “... for Verification of Data-Centric Processes -- Bounded Proofs and Step Frames -- Compression of Propositional...”
View full text

Electronic eBook

19

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
View full text

Electronic eBook

20

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

Narrow Search