Search Results - processing programs processing properties array https

1

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

2

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

3

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

Published 2014

Table of Contents: “... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...”
View full text

Electronic eBook

4

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Published 2015

Table of Contents: “... of Two Wide-band Sources with Four-element Planar Cross Array Based on Three Algorithms -- Fast...”
View full text

Electronic eBook

5

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

6

Intelligent Technologies and Engineering Systems

Published 2013

Table of Contents: “... Films -- Improving the Properties of Sol-Gel Deposition SrBi4Ti4O15 Thin Films by Post-Annealing Process...”
View full text

Electronic eBook

7

DSP Architecture Design Essentials

by Marković, Dejan., Marković, Dejan., Brodersen, Robert W.
Published 2012

Subjects: “...Signal, Image and Speech Processing. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

8

Optics in Astrophysics Proceedings of the NATO Advanced Study Institute on Optics in Astrophysics, Cargèse, France from 16 to 28 September 2002 /

Published 2005

Table of Contents: “... -- COATINGS PRINCIPLES -- CLASSICAL PROPERTIES OF CONTINUOUSWAVE OPTICAL PARAMETRIC OSCILLATORS...”
View full text

Electronic eBook

9

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

10

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

11

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

12

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: “...Finding Your Way in a Forest: On Different Types of Trees and Their Properties -- Simple Stochastic...”
View full text

Electronic eBook

13

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

Table of Contents: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
View full text

Electronic eBook

14

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

15

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: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
View full text

Electronic eBook

16

Mathematics and Computing ICMC, Haldia, India, January 2015 /

Published 2015

Table of Contents: “.... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...”
View full text

Electronic eBook

17

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Published 2010

Table of Contents: “... Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans...”
View full text

Electronic eBook

18

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

19

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

Published 2012

Table of Contents: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
View full text

Electronic eBook

20

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

Published 2007

Table of Contents: “... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...”
View full text

Electronic eBook

Narrow Search