Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
parallel table » parallel cable, parallel tabu, parallel tasks
table program » maple program, care program, whole program
using https » using http, nursing https, aging https
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
parallel table » parallel cable, parallel tabu, parallel tasks
table program » maple program, care program, whole program
using https » using http, nursing https, aging https
1
Published 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
5
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... over Large Transactional Tables -- Using a More Powerful Teacher to Reduce the Number of Queries...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“....-Numerical Integration Using Sequences Generating Permutations.-XII Table of Contents.-Optimization...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Analysis and Finite Mixture Models -- Visualizing Contingency Tables -- Mosaic Plots and Their Variants...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”View full text
Electronic
eBook
20
Table of Contents:
“... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
View full text
View full text
Electronic
eBook