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