1
Publié 2010
Table des matières: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Accéder au texte intégral
Électronique eBook
2
Publié 2005
Table des matières: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Accéder au texte intégral
Électronique eBook
3
Publié 2005
Table des matières: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Accéder au texte intégral
Électronique eBook
4
Publié 2008
Table des matières: ...-Driven SOA -- Towards Using Reo for Compliance-Aware Business Process Modeling -- On the Risk Management...
Accéder au texte intégral
Électronique eBook
5
Publié 2007
Table des matières: ... Model by High-Resolution Central-Upwind Scheme -- User-Controllable GPGPU-Based Target-Driven Smoke...
Accéder au texte intégral
Électronique eBook
6
Publié 2014
Table des matières: ... of Decision Strategies -- Memristive Radial Basis Function Neural Network for Parameters Adjustment of PID...
Accéder au texte intégral
Électronique eBook
7
Publié 2012
Table des matières: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
Accéder au texte intégral
Électronique eBook
8
Publié 2006
Table des matières: ...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...
Accéder au texte intégral
Électronique eBook
9
Publié 2008
Table des matières: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Accéder au texte intégral
Électronique eBook
10
Publié 2012
Table des matières: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
Accéder au texte intégral
Électronique eBook
11
Publié 2010
Table des matières: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Accéder au texte intégral
Électronique eBook
12
Publié 2005
Table des matières: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Accéder au texte intégral
Électronique eBook
13
Publié 2013
Table des matières: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
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é 2007
Table des matières: ... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...
Accéder au texte intégral
Électronique eBook
16
Publié 2006
Table des matières: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Accéder au texte intégral
Électronique eBook
17
Publié 2007
Table des matières: ... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...
Accéder au texte intégral
Électronique eBook
18
Publié 2008
Table des matières: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
Accéder au texte intégral
Électronique eBook
19
Publié 2008
Table des matières: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Accéder au texte intégral
Électronique eBook
20
Publié 2007
Table des matières: ... -- Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity -- Modelling...
Accéder au texte intégral
Électronique eBook