Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
parallel grain » parallel drains, parallel graph, parallel grid
function https » functions https, fiction https
grain program » rain program, grant program, main program
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
parallel grain » parallel drains, parallel graph, parallel grid
function https » functions https, fiction https
grain program » rain program, grant program, main program
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:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Accéder au texte intégral
Électronique
eBook
3
Publié 2010
Table des matières:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Accéder au texte intégral
Électronique
eBook
4
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publié 2015
Table des matières:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Accéder au texte intégral
Électronique
eBook
5
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publié 2014
Table des matières:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Accéder au texte intégral
Électronique
eBook
6
par Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Publié 2011
Sujets:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Publié 2011
Accéder au texte intégral
Électronique
eBook
7
Publié 2010
Table des matières:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”Accéder au texte intégral
Électronique
eBook
8
Publié 2015
Table des matières:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Accéder au texte intégral
Électronique
eBook
9
Table des matières:
“... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
10
Publié 2008
Table des matières:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”Accéder au texte intégral
Électronique
eBook
11
Publié 2008
Table des matières:
“...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”Accéder au texte intégral
Électronique
eBook
12
Publié 2007
Table des matières:
“... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”Accéder au texte intégral
Électronique
eBook
13
Publié 2005
Table des matières:
“... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”Accéder au texte intégral
Électronique
eBook
14
Publié 2008
Table des matières:
“... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”Accéder au texte intégral
Électronique
eBook
15
Publié 2006
Table des matières:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”Accéder au texte intégral
Électronique
eBook
16
Publié 2007
Table des matières:
“...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”Accéder au texte intégral
Électronique
eBook
17
Publié 2006
Table des matières:
“... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”Accéder au texte intégral
Électronique
eBook
18
Publié 2010
Table des matières:
“... Functions -- Distributed Data-Mining in the LISp-Miner System Using Techila Grid -- Non-negative Matrix...”Accéder au texte intégral
Électronique
eBook