Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https general » arts general, atoms general, csps general
program path » program paths, program part, program pacd
general java » central java, general ad, general ann
path https » data https, health https
https general » arts general, atoms general, csps general
program path » program paths, program part, program pacd
general java » central java, general ad, general ann
path https » data https, health https
1
Table of Contents:
“... Issues -- Problems in General Form -- Convex Analysis -- Game Theory -- Regression -- Financial...”
View full text
View full text
Electronic
eBook
2
Table of Contents:
“... Analyses -- Implementation Issues -- Problems in General Form -- Convex Analysis -- Game Theory...”
View full text
View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... of Touch Develop Scripts -- Efficient Incremental Static Analysis Using Path Abstraction -- Type-Based...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs -- Visualization of Program...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... and Chessboard Distance Transform on the CREW PRAM -- A General Approach to Predict the Performance Order of TSP...”View full text
Electronic
eBook
10
Table of Contents:
“... -- Graph Traversal -- Shortest Paths -- Minimum Spanning Trees -- Generic Approaches to Optimization....”
View full text
View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Approach to Business Process Automation -- NDT-Driver, a Java Tool to Support QVT Transformations for NDT...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Extension to Java PathFinder -- Markov Chains and Real-Time Systems -- A Symbolic Algorithm for Optimal...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... in Isabelle/HOLCF -- Meta Reasoning in ACL2 -- Reasoning About Java Programs with Aliasing and Frame...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Program Path Locality for Real-Time Embedded Systems -- Advanced Resource Management and Scheduling...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... -- An Enhanced Parallel Version of Kiva–3V, Coupled with a 1D CFD Code, and Its Use in General Purpose Engine...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Cooperative Diversity in Wireless Network -- Modified Widest Disjoint Paths Algorithm for Multipath Routing...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Building and Reasoning -- Applications of CBR in Oil Well Drilling: A General Overview -- Data Mining...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Routing Algorithm Using Evolution Program for Multiple Shortest Paths in DRGS -- Particle Swarm...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”View full text
Electronic
eBook