Search Results - programs range https implementation https https

1

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

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

Table of Contents: “...From the Contents: Preface -- Introduction.-Value Range Analysis -- Analysing C -- A Semantics...”
View full text

Electronic eBook

2

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...”
View full text

Electronic eBook

3

Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers /

Published 2011

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

Electronic eBook

4

Implementation and Application of Automata 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... -- On the Complexity of Hopcroft’s State Minimization Algorithm -- Implementation of Catalytic P Systems -- Code...”
View full text

Electronic eBook

5

Production Rendering Design and Implementation /

Published 2005

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

6

Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Published 2013

Table of Contents: “... in a Docking Process.- Semantic Bias in Program Coevolution.- A New Implementation of Geometric...”
View full text

Electronic eBook

7

Parallel Programming for Multicore and Cluster Systems /

by Rauber, Thomas., Rauber, Thomas., Rünger, Gudula.
Published 2013

Table of Contents: “...Introduction -- Parallel Computer Architecture -- Parallel Programming Models -- Performance...”
View full text

Electronic eBook

8

Parallel Programming for Multicore and Cluster Systems /

by Rauber, Thomas., Rauber, Thomas., Rünger, Gudula.
Published 2010

Table of Contents: “...Parallel Computer Architecture -- Parallel Programming Models -- Performance Analysis of Parallel...”
View full text

Electronic eBook

9

Practical Considerations for Adaptive Trial Design and Implementation

Published 2014

Table of Contents: “... -- Considerations and optimization of adaptive trial design in clinical development programs -- Optimal Cost...”
View full text

Electronic eBook

10

Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /

Published 2007

Table of Contents: “...Datatype-Generic Programming -- Comparing Approaches to Generic Programming in Haskell -- Generic...”
View full text

Electronic eBook

11

Engineering Embedded Systems Physics, Programs, Circuits /

by Hintenaus, Peter., Hintenaus, Peter.
Published 2015

Table of Contents: “... Recovery from Noise - Lock-In Detection -- Short-Range Radar -- Infrared Spectrometry -- Appendices....”
View full text

Electronic eBook

12

Adaptive Dynamic Programming for Control Algorithms and Stability /

by Zhang, Huaguang., Zhang, Huaguang., Liu, Derong., Luo, Yanhong., Wang, Ding.
Published 2013

Subjects: “...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...”
View full text

Electronic eBook

13

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /

Published 2014

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

Electronic eBook

14

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers /

Published 2013

Table of Contents: “...An Implementation of Jason in Erlang -- Conceptual Integration of Agents with WSDL and Restful Web...”
View full text

Electronic eBook

15

The Boundary Element Method with Programming For Engineers and Scientists /

by Beer, Gernot., Beer, Gernot., Smith, Ian., Duenser, Christian.
Published 2008

Table of Contents: “...Preliminaries -- Programming -- Discretisation and Interpolation -- Material Modelling...”
View full text

Electronic eBook

16

Implementing Evidence-Based Practices in Community Corrections and Addiction Treatment

by Taxman, Faye S., Taxman, Faye S., Belenko, Steven.
Published 2012

Table of Contents: “... for Addiction Treatment Programs -- Technology Transfer Process and Models -- Current State of the Corrections...”
View full text

Electronic eBook

17

Applications of Fourier Transform to Smile Modeling Theory and Implementation /

by Zhu, Jianwei., Zhu, Jianwei.
Published 2010

Subjects: “...Business Mathematics. https://scigraph.springernature.com/ontologies/product-market-codes/523000...”
View full text

Electronic eBook

18

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR...

Published 2010

Table of Contents: “... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...”
View full text

Electronic eBook

19

Managing Agile Strategy, Implementation, Organisation and People /

by Moran, Alan., Moran, Alan.
Published 2015

Table of Contents: “... -- Part II Implementation -- 4 Agile Project Management -- 5 Agile Programme Management -- 6 Governance...”
View full text

Electronic eBook

20

Introduction to Reliable and Secure Distributed Programming

by Cachin, Christian., Cachin, Christian., Guerraoui, Rachid., Rodrigues, Luís.
Published 2011

Subjects: “...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...”
View full text

Electronic eBook

Narrow Search