1
Udgivet 2007
Indholdsfortegnelse: ... Simulation of Cardiac Electrophysiology -- Parallel Solution in Simulation of Cardiac Excitation Anisotropic...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...
Få fuldtekst
Electronisk eBog
4
Udgivet 2007
Indholdsfortegnelse: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
Få fuldtekst
Electronisk eBog
5
Udgivet 2005
Indholdsfortegnelse: ... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...
Få fuldtekst
Electronisk eBog
6
Udgivet 2015
Indholdsfortegnelse: ...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...
Få fuldtekst
Electronisk eBog
7
Udgivet 2014
Indholdsfortegnelse: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
Få fuldtekst
Electronisk eBog
8
Udgivet 2010
Indholdsfortegnelse: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Få fuldtekst
Electronisk eBog
9
Udgivet 2010
Indholdsfortegnelse: ... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...
Få fuldtekst
Electronisk eBog
10
Udgivet 2005
Indholdsfortegnelse: ...-Parallel Algorithms for 1-Dimensional Fast Fourier Transform -- Towards Solving NP-Complete Problems...
Få fuldtekst
Electronisk eBog
11
Udgivet 2008
Indholdsfortegnelse: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Få fuldtekst
Electronisk eBog
12
Udgivet 2007
Indholdsfortegnelse: ... Cantilever with a Contact Boundary -- Frictional Impact of Planar Deformable Bodies -- Parallel Load Balanced...
Få fuldtekst
Electronisk eBog
13
Udgivet 2014
Indholdsfortegnelse: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Få fuldtekst
Electronisk eBog
14
Udgivet 2010
Indholdsfortegnelse: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
Få fuldtekst
Electronisk eBog
15
Udgivet 2014
Indholdsfortegnelse: ... -- Task Allocation in Ant Colonies -- Agreement Problems -- Communication-Efficient Randomized Consensus...
Få fuldtekst
Electronisk eBog
16
Indholdsfortegnelse: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
Få fuldtekst
Electronisk eBog
17
Udgivet 2015
Indholdsfortegnelse: ...-Coordinated Parallel Coordinates (GCPC): A Case Study of Environmental Data Analysis -- Generalized Shortest...
Få fuldtekst
Electronisk eBog
18
Udgivet 2015
Indholdsfortegnelse: ... Results -- Unwanted Feature Interactions Between the Problem and Search Operators in Evolutionary Multi...
Få fuldtekst
Electronisk eBog
19
Udgivet 2015
Indholdsfortegnelse: ... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...
Få fuldtekst
Electronisk eBog
20
Udgivet 2005
Indholdsfortegnelse: ...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...
Få fuldtekst
Electronisk eBog