Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel programs » parallel programming
programs problems » progress problems, problems problems, programming problems
problems function » problems functions, problems fiction, problem functional
function section » function detection, function relation, function solution
section https » sedation https, fiction https, infection https
parallel programs » parallel programming
programs problems » progress problems, problems problems, programming problems
problems function » problems functions, problems fiction, problem functional
function section » function detection, function relation, function solution
section https » sedation https, fiction https, infection https
1
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Timetabling -- Decomposition and Parallelization of Multi-resource Timetabling Problems -- Interactively...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Solution of EOQ Problem -- Linear Reformulations of Integer Quadratic Programs -- Control of Some Graph...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... and Operational States of Wind Turbines -- The Parallel Approach to the Conjugate Gradient Learning Algorithm...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... for Loops Parallelization in the .NET Environment -- On a Nonlinear Production-Inventory Problem....”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... ONRBF NEURAL NETWORKS -- A HYBRID META-HEURISTIC FOR A ROUTING PROBLEM -- IDENTIFICATION OF GEOMETRIC...”View full text
Electronic
eBook