Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs constructing » program constructing, programs constructive, program construction
constructing java » constructing data, constructing a, constructing farm
path programs » batch programs, death programs, health programs
program path » program paths, program part, program pacd
https » http
programs constructing » program constructing, programs constructive, program construction
constructing java » constructing data, constructing a, constructing farm
path programs » batch programs, death programs, health programs
program path » program paths, program part, program pacd
https » http
1
Published 2010
Table of Contents:
“...Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs -- Visualization of Program...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
5
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
6
Published 2005
Table of Contents:
“... Study -- Model Checking Real Time Java Using Java PathFinder -- Infinite-State and Parameterized Systems...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...”View full text
Electronic
eBook
8
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
9
Published 2006
Table of Contents:
“... by Reuse Path Analysis -- Integrating TAU with Eclipse: A Performance Analysis System in an Integrated...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... -- Text Classification with Support Vector Machine and Back Propagation Neural Network -- Construction...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Routing Algorithm Using Evolution Program for Multiple Shortest Paths in DRGS -- Particle Swarm...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... on Duplicates, Contexts and Rules -- An Efficient Data Indexing Approach on Hadoop Using Java Persistence API...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Paths Between XML Documents Using Sequential Patterns -- Web Information Systems Development -- Using...”View full text
Electronic
eBook