1
Publié 2007
Table des matières: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Accéder au texte intégral
Électronique eBook
2
Publié 2010
Table des matières: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Accéder au texte intégral
Électronique eBook
3
Publié 2015
Table des matières: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
Accéder au texte intégral
Électronique eBook
4
Publié 2010
Table des matières: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Accéder au texte intégral
Électronique eBook
5
Publié 2006
Table des matières: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
Accéder au texte intégral
Électronique eBook
6
Publié 2010
Table des matières: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Accéder au texte intégral
Électronique eBook
7
Publié 2008
Table des matières: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Accéder au texte intégral
Électronique eBook
8
Publié 2014
Table des matières: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Accéder au texte intégral
Électronique eBook
9
Publié 2006
Table des matières: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Accéder au texte intégral
Électronique eBook
10
Publié 2005
Table des matières: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Accéder au texte intégral
Électronique eBook
11
Publié 2007
Table des matières: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Accéder au texte intégral
Électronique eBook
12
Publié 2010
Table des matières: ... of Modular Aggregation Functions -- Smooth Aggregation Functions on Finite Scales -- Dual Representable...
Accéder au texte intégral
Électronique eBook
13
Publié 2005
Table des matières: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Accéder au texte intégral
Électronique eBook
14
Publié 2008
Table des matières: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Accéder au texte intégral
Électronique eBook
15
Publié 2006
Table des matières: ... Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) -- Automata and Logics...
Accéder au texte intégral
Électronique eBook
16
Publié 2010
Table des matières: ... Networks in a Parametric SIMD Parallel System on Chip -- A Dedicated Reconfigurable Architecture for Finite...
Accéder au texte intégral
Électronique eBook
17
Publié 2014
Table des matières: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Accéder au texte intégral
Électronique eBook
18
Publié 2010
Table des matières: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Accéder au texte intégral
Électronique eBook
19
Publié 2008
Table des matières: ... -- : An Enhanced Stream-Based Communication Mechanism -- Performance of Coupled Parallel Finite Element Analysis...
Accéder au texte intégral
Électronique eBook
20
Publié 2010
Table des matières: ...Construction of Irreducible Polynomials over Finite Fields -- Factorization of Polynomials and GCD...
Accéder au texte intégral
Électronique eBook