Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https functionality » its functionality, bags functionality, cross functionality
functionality cloud » functionality based, functionality boost, functionality do
programs compiling » programs combining, programs compiler, programs containing
compiling https » computing https, counseling https, consulting https
cloud https » blood https
https functionality » its functionality, bags functionality, cross functionality
functionality cloud » functionality based, functionality boost, functionality do
programs compiling » programs combining, programs compiler, programs containing
compiling https » computing https, counseling https, consulting https
cloud https » blood https
1
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“... of Probabilistic Cloud Deployment Patterns -- Interpolation-Based Function Summaries in Bounded Model Checking...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... oriented architectures, business processes, and cloud computing -- Design and verification methods...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Applications in the Cloud -- Formal Modeling and Verification of Self-* Systems Based on Observer/Controller...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Approximations from Noisy Point Clouds -- Coresets for Discrete Integration and Clustering -- Self-assemblying...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... regarding Evolvability -- Functional Architecture Modeling for the Software Product Industry -- Experiences...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... -- On the Role of Non-functional Properties in Compiler Verification....”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”View full text
Electronic
eBook
10
Table of Contents:
“...-Defined Functions to ColdFusion Components -- onMissingTemplate()—Error Handler and So Much More -- “Say...”
View full text
View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“...Virtualization -- Trusted VM Snapshots in Untrusted Cloud Infrastructures -- Secure and Robust...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Estimation Precision Tuning.-Functional and Non-functional Size Measurement with IFPUG FPA and SNAP — Case...”View full text
Electronic
eBook
14
Published 2011
Table of Contents:
“... Media Service in cloud computing -- Compiler-assisted Maximum Stack Usage Measurement Technique...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... Initialisation Method with Selection of Weights on the Basis of the Function Variability -- Soft Committee...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... -- Diversity Maintenance Perspective: An Analysis of Exploratory Power and Function Optimization in Context...”View full text
Electronic
eBook