1
Udgivet 2010
Indholdsfortegnelse: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Få fuldtekst
Electronisk eBog
4
Udgivet 2005
Indholdsfortegnelse: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Få fuldtekst
Electronisk eBog
5
Udgivet 2005
Indholdsfortegnelse: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Få fuldtekst
Electronisk eBog
6
Udgivet 2015
Indholdsfortegnelse: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Få fuldtekst
Electronisk eBog
7
Udgivet 2014
Indholdsfortegnelse: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Få fuldtekst
Electronisk eBog
8
Udgivet 2005
Indholdsfortegnelse: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Få fuldtekst
Electronisk eBog
9
Udgivet 2008
Indholdsfortegnelse: ..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...
Få fuldtekst
Electronisk eBog
10
Udgivet 2010
Indholdsfortegnelse: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Få fuldtekst
Electronisk eBog
11
Udgivet 2012
Indholdsfortegnelse: ... Markov Process and Its Applications to Multi-state System Reliability -- 7. Reliability Decisions...
Få fuldtekst
Electronisk eBog
12
Udgivet 2006
Indholdsfortegnelse: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Få fuldtekst
Electronisk eBog
13
Udgivet 2015
Indholdsfortegnelse: ... and Parallel Processing -- Review of Voltage Sag Disturbance Recognition -- The Exterior Type Consistency...
Få fuldtekst
Electronisk eBog
14
Udgivet 2015
Indholdsfortegnelse: ... Steganography Over SMQT Pre-processed Digital Image -- A State-of-the-art Review of Biogeography-Based...
Få fuldtekst
Electronisk eBog
15
Udgivet 2015
Indholdsfortegnelse: ... Inference System for Enhancing the Travelling Comfort -- 9. State Variable Filter Design Using Improvised...
Få fuldtekst
Electronisk eBog
16
Udgivet 2014
Indholdsfortegnelse: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Få fuldtekst
Electronisk eBog
17
Udgivet 2006
Indholdsfortegnelse: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
Få fuldtekst
Electronisk eBog
18
Udgivet 2005
Indholdsfortegnelse: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
Få fuldtekst
Electronisk eBog
19
Udgivet 2007
Indholdsfortegnelse: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Få fuldtekst
Electronisk eBog
20
Indholdsfortegnelse: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Få fuldtekst
Electronisk eBog