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