Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
optimization program » optimization problem, optimization problems, optimization proximal
program program » programs program, programming program
program java » program jarak, program a, program jom
https » http
optimization program » optimization problem, optimization problems, optimization proximal
program program » programs program, programming program
program java » program jarak, program a, program jom
https » http
1
Published 2013
Table of Contents:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Java -- Read-Only Execution for Dynamic Languages -- Optimizing Aspect-Oriented Mechanisms for Embedded...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”View full text
Electronic
eBook
5
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
6
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Composition in Java-Like Languages -- The Meta in Meta-object Architectures -- An AsmL Semantics for Dynamic...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Refinement Method for Java Programs -- Refactoring Object-Oriented Specifications with Data and Processes...”View full text
Electronic
eBook
9
Published 2011
Table of Contents:
“... Programming -- Abstract Expression Grammar Symbolic Regression -- Age-Fitness Pareto Optimization -- Scalable...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... -- Simulation of Flexible Objects in Robotics -- Continuous Integration for Iterative Validation of Simulated...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“...Testing and Inspection -- An Implementation Framework for Optimizing Test Case Generation Using...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...Programming Languages -- Implementation, Compilation, Optimization of Object-Oriented Languages...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... -- Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems -- Aspects -- Models...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... of an Operating System Using Separation Logic -- A Statically Verifiable Programming Model for Concurrent Object...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Structural Unit-Testing on Third-Party Object-Oriented Java Software -- Adaptive Spatial Allocation...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code...”View full text
Electronic
eBook
20
Table of Contents:
“...Flex Basics -- Using Flex Components -- Working with Data Models and the Value Object -- Validating...”
View full text
View full text
Electronic
eBook