Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel directing » parallel direct, parallel routing, parallel sorting
directing programs » parenting programs, selecting programs, breeding programs
programs function » programs functional, programme function, programs fiction
using https » using http, nursing https, aging https
parallel directing » parallel direct, parallel routing, parallel sorting
directing programs » parenting programs, selecting programs, breeding programs
programs function » programs functional, programme function, programs fiction
using https » using http, nursing https, aging https
1
Publicado 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2005
Table of Contents:
“... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2008
Table of Contents:
“... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2013
Table of Contents:
“... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....”Ligazón do recurso
Electrónico
eBook
12
Publicado 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2008
Table of Contents:
“... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2008
Table of Contents:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2008
Table of Contents:
“...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2010
Table of Contents:
“... for Objective Functions with Locally Correlated Variables -- Neural Data Analysis and Reduction Using Improved...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2005
Table of Contents:
“...Invited Lecture -- Robust Airline Fleet Assignment:Imposing Station Purity Using Station...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2005
Table of Contents:
“... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2010
Table of Contents:
“... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2008
Table of Contents:
“...Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- 3
- Seguinte »
- [3]