Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
function https » functions https, fiction https
parallel run » parallel runge, parallel rule, parallel rlc
run program » run programs, iucn program, rain program
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
function https » functions https, fiction https
parallel run » parallel runge, parallel rule, parallel rlc
run program » run programs, iucn program, rain program
1
Publicat 2005
Taula de continguts:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“... for Analyzing Running Times of Parallel Evolutionary Algorithms -- Negative Drift in Populations -- Log...”Obtenir text complet
Electrònic
eBook
3
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicat 2015
Taula de continguts:
“... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”Obtenir text complet
Electrònic
eBook
4
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicat 2014
Taula de continguts:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Obtenir text complet
Electrònic
eBook
5
Publicat 2013
Taula de continguts:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Obtenir text complet
Electrònic
eBook
6
Publicat 2008
Taula de continguts:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Obtenir text complet
Electrònic
eBook
7
Publicat 2010
Taula de continguts:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”Obtenir text complet
Electrònic
eBook
8
Publicat 2006
Taula de continguts:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”Obtenir text complet
Electrònic
eBook
9
Publicat 2015
Taula de continguts:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Obtenir text complet
Electrònic
eBook
10
Publicat 2010
Taula de continguts:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”Obtenir text complet
Electrònic
eBook
11
Publicat 2008
Taula de continguts:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Obtenir text complet
Electrònic
eBook
12
per Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Publicat 2007
Taula de continguts:
“... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”Publicat 2007
Obtenir text complet
Electrònic
eBook
13
Publicat 2013
Taula de continguts:
“... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”Obtenir text complet
Electrònic
eBook
14
Publicat 2011
Taula de continguts:
“... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”Obtenir text complet
Electrònic
eBook
15
Publicat 2014
Taula de continguts:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”Obtenir text complet
Electrònic
eBook
16
Publicat 2007
Taula de continguts:
“... Simulation -- Variable Relaxation Solve for Nonlinear Thermal Conduction -- A Moving Boundary Wave Run-Up...”Obtenir text complet
Electrònic
eBook
17
Publicat 2006
Taula de continguts:
“... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”Obtenir text complet
Electrònic
eBook
18
Publicat 2005
Taula de continguts:
“... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”Obtenir text complet
Electrònic
eBook
19
Publicat 2008
Taula de continguts:
“...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”Obtenir text complet
Electrònic
eBook
20
Publicat 2008
Taula de continguts:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”Obtenir text complet
Electrònic
eBook