Search Results - program execution https function control https

1

A Beginner's Guide to Scala, Object Orientation and Functional Programming

by Hunt, John., Hunt, John.
Published 2014

Table of Contents: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text

Electronic eBook

2

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
View full text

Electronic eBook

3

IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids /

by John, Karl Heinz., John, Karl Heinz., Tiegelkamp, Michael.
Published 2010

Table of Contents: “...Building Blocks of IEC 61131-3 -- Variables, Data Types and Common Elements -- The Programming...”
View full text

Electronic eBook

4

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
View full text

Electronic eBook

5

Linear Genetic Programming

by Brameier, Markus F., Brameier, Markus F., Banzhaf, Wolfgang.
Published 2007

Table of Contents: “... -- Control of Diversity and Variation Step Size -- Code Growth and Neutral Variations -- Evolution of Program...”
View full text

Electronic eBook

6

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

by Karrenberg, Ralf., Karrenberg, Ralf.
Published 2015

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

Electronic eBook

7

Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...

Published 2010

Table of Contents: “...-Oriented Middleware for Distributed and Heterogeneous WSNs -- Stream Execution of Object Queries...”
View full text

Electronic eBook

8

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

9

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Published 2010

Table of Contents: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
View full text

Electronic eBook

10

Path mapping approach for network function virtualization resource allocation with network function decomposition support

by Raddwan, Basheer, Al-Wagih, Khalil, Al-Baltah, Ibrahim A., Alrshah, Mohamed A., Al-Maqri, Mohammed A.
Published 2019

“... Programming (ILP) and heuristic schemes have reduced the execution time up to 39.58% and 6.42% compared...”
View full text

Article

11

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Published 2010

Table of Contents: “... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”
View full text

Electronic eBook

12

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Published 2012

Table of Contents: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
View full text

Electronic eBook

13

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
View full text

Electronic eBook

14

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2013

Table of Contents: “... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”
View full text

Electronic eBook

15

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Published 2010

Table of Contents: “... -- Ranking Function Synthesis for Bit-Vector Relations -- Fairness for Dynamic Control -- Tools II -- JTorX...”
View full text

Electronic eBook

16

Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /

Published 2012

Table of Contents: “... of MDE Components -- Controlling an Iteration-Wise Coherence in Dataflow -- Learning from Failures: A...”
View full text

Electronic eBook

17

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... in Applications Mapped to Configurable Architectures -- Generation of Control and Data Flow Graphs from Scheduled...”
View full text

Electronic eBook

18

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”
View full text

Electronic eBook

19

Distributed Algorithms for Message-Passing Systems

by Raynal, Michel., Raynal, Michel.
Published 2013

Table of Contents: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
View full text

Electronic eBook

20

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings /

Published 2014

Table of Contents: “... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”
View full text

Electronic eBook

Narrow Search