Search Results - integer program programs program array https

1

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

Table of Contents: “...1. Elementary Programming Concepts -- 2. C The Basics -- 3. Programs with Sequence Logic -- 4...”
View full text

Electronic eBook

2

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

Published 2008

Table of Contents: “...) - Model Evolution with Linear Integer Arithmetic Constraints -- A Constraint Sequent Calculus for First...”
View full text

Electronic eBook

3

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /

by Simon, Axel., Simon, Axel.
Published 2008

Table of Contents: “...-To Analysis -- Numeric Domains -- Taming Casting and Wrapping -- A Language Featuring Finite Integer...”
View full text

Electronic eBook

4

Pro Perl

by Wainwright, Peter., Wainwright, Peter.
Published 2005

Table of Contents: “...Introducing Perl -- Basic Concepts -- Scalars: Integers, Floating-Point Numbers, and Strings...”
View full text

Electronic eBook

5

MATLAB Numerical Calculations

by Lopez, Cesar., Lopez, Cesar.
Published 2014

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

6

Swift for Absolute Beginners

by Bennett, Gary., Bennett, Gary., Lees, Brad.
Published 2015

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

7

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers /

Published 2007

Table of Contents: “... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”
View full text

Electronic eBook

8

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March...

Published 2007

Table of Contents: “... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...”
View full text

Electronic eBook

9

Algorithms and Data Structures The Basic Toolbox /

by Mehlhorn, Kurt., Mehlhorn, Kurt., Sanders, Peter.
Published 2008

Table of Contents: “...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...”
View full text

Electronic eBook

10

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: “...-Hiding -- Products of Message Sequence Charts -- What Else Is Decidable about Integer Arrays? -- Model...”
View full text

Electronic eBook

11

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: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
View full text

Electronic eBook

12

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Published 2007

Table of Contents: “... with Cosymmetry -- Weak Integer Quantifier Elimination Beyond the Linear Case -- Polynomial Division Using Dynamic...”
View full text

Electronic eBook

13

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Published 2005

Table of Contents: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
View full text

Electronic eBook

14

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
View full text

Electronic eBook

15

LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings /

Published 2008

Table of Contents: “... Abstract) -- Sparse Approximate Solutions to Semidefinite Programs -- On the Facets of Mixed Integer...”
View full text

Electronic eBook

16

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

Published 2006

Table of Contents: “... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...”
View full text

Electronic eBook

17

Handbook on Modelling for Discrete Optimization

Published 2006

Table of Contents: “... Planning Models for Supply Chain: An Application of Stochastic Mixed Integer Programming -- Logic Inference...”
View full text

Electronic eBook

18

Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings /

Published 2015

Table of Contents: “... -- Describing Global Musical Structures by Integer Programming on Musical Patterns -- Improved Iterative Random...”
View full text

Electronic eBook

19

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

Published 2005

Table of Contents: “... Fast Search and Its Construction Algorithm Using Optimal Working Space -- Succinct Suffix Arrays Based...”
View full text

Electronic eBook

20

Handbook of Optimization in Telecommunications

Published 2006

Table of Contents: “... Programming in Telecommunications -- Integer Programming for Telecommunications -- Metaheuristics...”
View full text

Electronic eBook

Narrow Search