Search Results - program selection programs https 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 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Published 2013

Table of Contents: “... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”
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

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
View full text

Electronic eBook

5

Learn to Program with C

by Kalicharan, Noel., Kalicharan, Noel.
Published 2015

Table of Contents: “.... Programs with Selection Logic -- 5. Programs with Repetition Logic -- 6. Working with Characters...”
View full text

Electronic eBook

6

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
View full text

Electronic eBook

7

Central European Functional Programming School First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /

by Horváth, Zoltán., Horváth, Zoltán.
Published 2006

Table of Contents: “... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
View full text

Electronic eBook

8

Guide to Fortran 2008 Programming

by Brainerd, Walter S., Brainerd, Walter S.
Published 2015

Table of Contents: “...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...”
View full text

Electronic eBook

9

VEE Pro: Practical Graphical Programming

by Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Published 2005

Table of Contents: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text

Electronic eBook

10

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Published 2008

Table of Contents: “... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”
View full text

Electronic eBook

11

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

12

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
View full text

Electronic eBook

13

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Scope Analysis for Generic Programs on Arrays....”
View full text

Electronic eBook

14

Guide to Java A Concise Introduction to Programming /

by Streib, James T., Streib, James T., Soma, Takako.
Published 2014

Table of Contents: “...Variables, Input / Output and Arithmetic -- Objects: An Introduction -- Selection Structures...”
View full text

Electronic eBook

15

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

Published 2014

Table of Contents: “...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”
View full text

Electronic eBook

16

Languages and Compilers for Parallel Computing 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers /

Published 2013

Table of Contents: “... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...”
View full text

Electronic eBook

17

Trapping and the Detection, Control, and Regulation of Tephritid Fruit Flies Lures, Area-Wide Programs, and Trade Implications /

Published 2014

Table of Contents: “... Aspects and Management -- 3.3 Fruit Fly Detection Programs: The Potentials and Limitations of Trap Array...”
View full text

Electronic eBook