Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
functionality function » functionals function, functionaries function, functional functions
parallel programming » parallel processing
tools functionality » tool functionality, cross functionality, tools functional
programming tools » programming theory, programming problems
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
parallel programming » parallel processing
tools functionality » tool functionality, cross functionality, tools functional
programming tools » programming theory, programming problems
function https » functions https, fiction https
1
Udgivet 2006
Indholdsfortegnelse:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2006
Indholdsfortegnelse:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2012
Indholdsfortegnelse:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2007
Indholdsfortegnelse:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2010
Indholdsfortegnelse:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2008
Indholdsfortegnelse:
“... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2005
Indholdsfortegnelse:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2010
Indholdsfortegnelse:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2015
Indholdsfortegnelse:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2010
Indholdsfortegnelse:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2005
Indholdsfortegnelse:
“...Programming Models and Support Tools -- Flexible Message Passing Interface for A Heterogenous...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2008
Indholdsfortegnelse:
“...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2008
Indholdsfortegnelse:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2010
Indholdsfortegnelse:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2014
Indholdsfortegnelse:
“...BioBrick Assembly Standards and Techniques and Associated Software Tools -- Plasmid Construction...”Få fuldtekst
Electronisk
eBog
16
af Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Udgivet 2011
Fag:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Udgivet 2011
Få fuldtekst
Electronisk
eBog
17
Udgivet 2013
Indholdsfortegnelse:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2005
Indholdsfortegnelse:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Få fuldtekst
Electronisk
eBog
19
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Udgivet 2013
Indholdsfortegnelse:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Få fuldtekst
Electronisk
eBog
20
Indholdsfortegnelse:
“...The ZEN Experiment Specification Language -- ZENTURIO Experiment Management Tool -- Tool...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog