Search Results - program method programs optimization array https

1

MATLAB Programming for Numerical Analysis

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

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

Electronic eBook

2

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

3

Combinatorial Optimization and Applications Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings /

Published 2008

Table of Contents: “... by Approximate Diameter -- Computational Study on Dominating Set Problem of Planar Graphs -- Optimal Movement...”
View full text

Electronic eBook

4

Handbook of Optimization in Telecommunications

Published 2006

Table of Contents: “...Optimization algorithms -- Interior Point Methods for Large-Scale Linear Programming -- Nonlinear...”
View full text

Electronic eBook

5

Handbook on Modelling for Discrete Optimization

Published 2006

Table of Contents: “...Methods -- The Formulation and Solution of Discrete Optimisation Models -- Continuous Approaches...”
View full text

Electronic eBook

6

Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications /

by Triantaphyllou, Evangelos., Triantaphyllou, Evangelos.
Published 2010

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

7

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

Published 2010

Table of Contents: “... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”
View full text

Electronic eBook

8

Modeling, Simulation and Optimization of Complex Processes - HPSC 2012 Proceedings of the Fifth...

Published 2014

Table of Contents: “... and Rectangular Arrays -- Krzysztof Walkowiak and Jacek Rak: Optimization Issues in Distributed Computing Systems...”
View full text

Electronic eBook

9

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

10

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Published 2015

Table of Contents: “... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”
View full text

Electronic eBook

11

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

12

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

13

Stochastic Networked Control Systems Stabilization and Optimization under Information Constraints /

by Yüksel, Serdar., Yüksel, Serdar., Başar, Tamer.
Published 2013

Table of Contents: “... Structures -- Topological Properties of Information Structures: Comparison, Convergence and Optimization...”
View full text

Electronic eBook

14

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

Published 2006

Table of Contents: “... Programming System -- optsat: A Tool for Solving SAT Related Optimization Problems -- Automated Reasoning...”
View full text

Electronic eBook

15

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: “... Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction...”
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: “... Extensions of LPF Table: The Power of Suffix Arrays -- Query Optimization through Cached Queries for Object...”
View full text

Electronic eBook

17

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... for Reconfigurable -- Towards Analytical Methods for FPGA Architecture Investigation -- Session 1: Architectures 1...”
View full text

Electronic eBook

18

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Published 2005

Table of Contents: “... Abstract Programs as Boolean Satisfiability -- Efficient Communication Scheduling Methods for Irregular...”
View full text

Electronic eBook

19

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: “... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”
View full text

Electronic eBook

20

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

Published 2010

Table of Contents: “... Physical Fields -- A New Method for Normalization of Interval Weights -- A Global Optimization Method...”
View full text

Electronic eBook

Narrow Search