Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
interaction computational » interactions computational, interactive computational, interactive computationally
computational programming » computation programming, computational program, computing programming
programming caching » programming making, programming learning, programming building
caching arrays » scanning arrays
arrays a » arrays _
interaction computational » interactions computational, interactive computational, interactive computationally
computational programming » computation programming, computational program, computing programming
programming caching » programming making, programming learning, programming building
caching arrays » scanning arrays
arrays a » arrays _
1
Pubblicazione 2005
Sommario:
“...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”Testo
Elettronico
eBook
2
Pubblicazione 2005
Sommario:
“... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”Testo
Elettronico
eBook
3
Pubblicazione 2010
Sommario:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Testo
Elettronico
eBook
4
Pubblicazione 2005
Sommario:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”Testo
Elettronico
eBook
5
Pubblicazione 2005
Sommario:
“...-Grained Parallel Algorithm for Irregular Dynamic Programming Applications -- A Feedback-Based Adaptive...”Testo
Elettronico
eBook
6
Pubblicazione 2014
Sommario:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Testo
Elettronico
eBook
7
Pubblicazione 2015
Sommario:
“... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”Testo
Elettronico
eBook
8
Pubblicazione 2008
Sommario:
“...) -- The Abella Interactive Theorem Prover (System Description) -- LEO-II - A Cooperative Automatic Theorem Prover...”Testo
Elettronico
eBook
9
Pubblicazione 2005
Sommario:
“... Information Integration -- A Caching Model for Real-Time Databases in Mobile Ad-Hoc Networks -- Adaptive Query...”Testo
Elettronico
eBook