1
Published 2005
Table of Contents: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
View full text
Electronic eBook
4
by Fischer, Robert., Fischer, Robert.
Published 2015
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis...
View full text
Electronic eBook
6
Table of Contents: ... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... -- An Improved Adaptive Self-Organizing Map -- Usage of the TRACO Compiler for Neural Network Parallelization...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... Programming -- 22 Multidimensional Markov Chains Usage in the Radio Resource Management Problem -- 23 A...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Correctness -- Efficient Semantic Event Processing: Lessons Learned in User Interface Integration -- Usage...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ...Probabilistic Latent Clustering of Device Usage -- Condensed Nearest Neighbor Data Domain...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... for Real-Time Systems with Mixed Workload -- Reconfigurable Embedded Systems -- Function-Level Multitasking...
View full text
Electronic eBook