Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
parallel needs » parallel netcdf, parallel greedy, parallel nested
needs program » needs programs
using https » using http, nursing https, aging https
1
Cover Image
Published 2010
Table of Contents: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
by Freeman, Adam., Freeman, Adam.
Published 2010
Table of Contents: “...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2005
Table of Contents: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Published 2010
Table of Contents: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Published 2014
Table of Contents: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
View full text
Electronic eBook
Save to List
Saved in:
6
Cover Image
Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
Electronic eBook
Save to List
Saved in:
7
Cover Image
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: “...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
View full text
Electronic eBook
Save to List
Saved in:
8
Cover Image
Published 2007
Table of Contents: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
View full text
Electronic eBook
Save to List
Saved in:
9
Cover Image
Table of Contents: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
View full text
Electronic eBook
Save to List
Saved in:
10
Cover Image
Published 2010
Table of Contents: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
View full text
Electronic eBook
Save to List
Saved in:
11
Cover Image
Published 2008
Table of Contents: “... Interactive and Preference-Based Approaches -- Interactive Multiobjective Optimization Using a Set of Additive...”
View full text
Electronic eBook
Save to List
Saved in:
12
Cover Image
Published 2010
Table of Contents: “... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...”
View full text
Electronic eBook
Save to List
Saved in:
13
Cover Image
Table of Contents: “... Versatile Program for the Design of Digital Filters Using Differential Evolution -- Optimization of Radial...”
View full text
Electronic eBook
Save to List
Saved in:
14
Cover Image
Published 2014
Table of Contents: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
View full text
Electronic eBook
Save to List
Saved in:
15
Cover Image
Published 2012
Table of Contents: “... and Value Faults --  An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems -- Use...”
View full text
Electronic eBook
Save to List
Saved in:
16
Cover Image
Published 2015
Table of Contents: “... Related to the Use of In-vehicle Intelligent Transport Systems by Drivers with Functional Impairments...”
View full text
Electronic eBook
Save to List
Saved in:
17
Cover Image
Published 2005
Table of Contents: “...Information Organization -- Automatic Word Clustering for Text Categorization Using Global...”
View full text
Electronic eBook
Save to List
Saved in:
18
Cover Image
Published 2013
Table of Contents: “... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...”
View full text
Electronic eBook
Save to List
Saved in:
19
Cover Image
Published 2008
Table of Contents: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
View full text
Electronic eBook
Save to List
Saved in:
20
Cover Image
Published 2005
Table of Contents: “... Variables in Bayesian Networks -- Kernel K-Means for Categorical Data -- Using Genetic Algorithms to Improve...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search