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