1
Publicerad 2010
Innehållsförteckning: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2010
Innehållsförteckning: ... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2007
Innehållsförteckning: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2010
Innehållsförteckning: ...-Objective Vehicle Routing Problems with Time Windows -- Speculative Evaluation in Particle Swarm...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2010
Innehållsförteckning: ...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2010
Innehållsförteckning: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2010
Innehållsförteckning: ... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2010
Innehållsförteckning: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2008
Innehållsförteckning: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2005
Innehållsförteckning: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2008
Innehållsförteckning: ... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2006
Innehållsförteckning: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2005
Innehållsförteckning: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
Hämta fulltext
Elektronisk E-bok
14
Innehållsförteckning: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2008
Innehållsförteckning: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2005
Innehållsförteckning: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2006
Innehållsförteckning: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2015
Innehållsförteckning: ... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2014
Innehållsförteckning: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2010
Innehållsförteckning: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Hämta fulltext
Elektronisk E-bok