Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
parallel programming » parallel processing
function function » function functional, functions functional, function dysfunction
programming tool » programming tools, programming two, programming school
function https » functions https, fiction https
tool function » tool functions, tool functional, tools functions
parallel programming » parallel processing
function function » function functional, functions functional, function dysfunction
programming tool » programming tools, programming two, programming school
function https » functions https, fiction https
tool function » tool functions, tool functional, tools functions
1
Publié 2006
Table des matières:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Accéder au texte intégral
Électronique
eBook
2
Publié 2006
Table des matières:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Accéder au texte intégral
Électronique
eBook
3
Publié 2012
Table des matières:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Accéder au texte intégral
Électronique
eBook
4
Publié 2007
Table des matières:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”Accéder au texte intégral
Électronique
eBook
5
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
6
Publié 2008
Table des matières:
“... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...”Accéder au texte intégral
Électronique
eBook
7
Publié 2005
Table des matières:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Accéder au texte intégral
Électronique
eBook
8
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
9
Publié 2015
Table des matières:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”Accéder au texte intégral
Électronique
eBook
10
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
11
Publié 2014
Table des matières:
“...BioBrick Assembly Standards and Techniques and Associated Software Tools -- Plasmid Construction...”Accéder au texte intégral
Électronique
eBook
12
Publié 2005
Table des matières:
“...Programming Models and Support Tools -- Flexible Message Passing Interface for A Heterogenous...”Accéder au texte intégral
Électronique
eBook
13
Publié 2008
Table des matières:
“...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”Accéder au texte intégral
Électronique
eBook
14
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
15
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
16
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
17
Table des matières:
“...The ZEN Experiment Specification Language -- ZENTURIO Experiment Management Tool -- Tool...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
18
Publié 2013
Table des matières:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Accéder au texte intégral
Électronique
eBook
19
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
20
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publié 2013
Table des matières:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Accéder au texte intégral
Électronique
eBook