Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
parallel function » parallel functional, parallel auction, parallel union
function programs » functions programs, function program, functional programs
programs active » programs action, programs adaptive, programs practices
active function » active functional, active fraction, adaptive function
function https » functions https, fiction https
parallel function » parallel functional, parallel auction, parallel union
function programs » functions programs, function program, functional programs
programs active » programs action, programs adaptive, programs practices
active function » active functional, active fraction, adaptive function
function https » functions https, fiction https
1
Publicat 2012
Taula de continguts:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Obtenir text complet
Electrònic
eBook
2
Publicat 2005
Taula de continguts:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Obtenir text complet
Electrònic
eBook
3
Publicat 2005
Taula de continguts:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Obtenir text complet
Electrònic
eBook
5
Publicat 2013
Taula de continguts:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Obtenir text complet
Electrònic
eBook
6
Matèries:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
7
Publicat 2015
Taula de continguts:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...”Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Obtenir text complet
Electrònic
eBook
10
Publicat 2015
Taula de continguts:
“... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”Obtenir text complet
Electrònic
eBook
11
Publicat 2010
Taula de continguts:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”Obtenir text complet
Electrònic
eBook
12
Publicat 2014
Taula de continguts:
“... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...”Obtenir text complet
Electrònic
eBook
13
Publicat 2010
Taula de continguts:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Obtenir text complet
Electrònic
eBook
14
Publicat 2005
Taula de continguts:
“... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”Obtenir text complet
Electrònic
eBook
15
Publicat 2008
Taula de continguts:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”Obtenir text complet
Electrònic
eBook
16
Publicat 2005
Taula de continguts:
“... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”Obtenir text complet
Electrònic
eBook
17
Publicat 2014
Taula de continguts:
“... Approach to Model Complex Systems -- P Systems with Active Membranes Working in Sublinear Space -- Membrane...”Obtenir text complet
Electrònic
eBook
18
Publicat 2010
Taula de continguts:
“...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”Obtenir text complet
Electrònic
eBook
19
Publicat 2008
Taula de continguts:
“... Functions for Flow Time Scheduling Based on Active Job Count -- Facility Location in Dynamic Geometric Data...”Obtenir text complet
Electrònic
eBook
20
Publicat 2008
Taula de continguts:
“... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...”Obtenir text complet
Electrònic
eBook