Search Results - programming modular programs https array https

1

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
View full text

Electronic eBook

2

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

Published 2008

Table of Contents: “... Genetic Programming -- Evolvability Via Modularity-Induced Mutational Focussing -- A Linear Estimation...”
View full text

Electronic eBook

3

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Published 2013

Table of Contents: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
View full text

Electronic eBook

4

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

5

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

6

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

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

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

Electronic eBook

7

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

Published 2006

Table of Contents: “... Programs with Preferences -- A Modularity Approach for a Fragment of -- Whatever You Say -- Automatic...”
View full text

Electronic eBook

8

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
View full text

Electronic eBook

9

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

Published 2010

Table of Contents: “..., Modular, Synthetic Chromosomes -- GPU Parallelization of Algebraic Dynamic Programming -- Parallel Extreme...”
View full text

Electronic eBook

10

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”
View full text

Electronic eBook

11

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

12

Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010, Proceedings /

Published 2010

Table of Contents: “... Sampling Component of the Dendritic Cell Algorithm -- FDCM: A Fuzzy Dendritic Cell Method -- Modular RADAR...”
View full text

Electronic eBook

13

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Published 2012

Table of Contents: “... with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling...”
View full text

Electronic eBook

14

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

15

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

16

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

17

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: “... Moves -- Very Sparse Leaf Languages -- On the Correlation Between Parity and Modular Polynomials...”
View full text

Electronic eBook

18

Systems Biology for Signaling Networks

Published 2010

Table of Contents: “... in Molecular Interactions in Cellular Signalling -- Tools for Systems Biology -- A Primer on Modular Mass...”
View full text

Electronic eBook

19

Applications of Soft Computing Recent Trends /

Published 2006

Table of Contents: “... Reconfiguration Algorithm for Field Programmable Analog Scalable Device Array (FPADA) with Fixed Topology...”
View full text

Electronic eBook

20

Reconfigurable Computing: Architectures and Applications Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006 Revised Selected Papers /

Published 2006

Table of Contents: “... -- Implementation of Inner Product Architecture for Increased Flexibility in Bitwidths of Input Array -- A Flexible...”
View full text

Electronic eBook

Narrow Search