Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
computing function » computing auction, counting function, combining function
function function » function functional, functions functional, function dysfunction
talks computing » talk computing, games computing, arts computing
parallel talks » parallel tasks, parallel task, parallel texts
function https » functions https, fiction https
computing function » computing auction, counting function, combining function
function function » function functional, functions functional, function dysfunction
talks computing » talk computing, games computing, arts computing
parallel talks » parallel tasks, parallel task, parallel texts
function https » functions https, fiction https
1
Publicado 2010
Tabla de Contenidos:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”Enlace del recurso
Electrónico
eBook
2
Publicado 2010
Tabla de Contenidos:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”Enlace del recurso
Electrónico
eBook
3
Publicado 2010
Tabla de Contenidos:
“... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...”Enlace del recurso
Electrónico
eBook
4
Publicado 2008
Tabla de Contenidos:
“... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...”Enlace del recurso
Electrónico
eBook
5
Publicado 2005
Tabla de Contenidos:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”Enlace del recurso
Electrónico
eBook
6
Publicado 2010
Tabla de Contenidos:
“... Decomposition -- Computational Science in Armenia (Invited Talk) -- From Petri Nets to Polynomials: Modeling...”Enlace del recurso
Electrónico
eBook
7
Publicado 2012
Tabla de Contenidos:
“... Genericity -- Invariant Theory: Applications and Computations (Invited Talk) -- Local Generic Position...”Enlace del recurso
Electrónico
eBook
8
Publicado 2015
Tabla de Contenidos:
“... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”Enlace del recurso
Electrónico
eBook
9
Publicado 2010
Tabla de Contenidos:
“...Invited Talks -- Regular Labelings and Geometric Structures -- Algorithmic Aspects of Secure...”Enlace del recurso
Electrónico
eBook
10
Publicado 2010
Tabla de Contenidos:
“...Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems...”Enlace del recurso
Electrónico
eBook
11
Publicado 2008
Tabla de Contenidos:
“... Method to Overcome Computer Word Size Limitation in Bit-Parallel Pattern Matching -- 6A Computational...”Enlace del recurso
Electrónico
eBook
12
Publicado 2008
Tabla de Contenidos:
“...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”Enlace del recurso
Electrónico
eBook
13
Publicado 2014
Tabla de Contenidos:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”Enlace del recurso
Electrónico
eBook
14
Publicado 2013
Tabla de Contenidos:
“... Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly...”Enlace del recurso
Electrónico
eBook
15
Publicado 2015
Tabla de Contenidos:
“... Modulo Theories Framework -- Using Minimal Correction Sets to More Efficiently Compute Minimal...”Enlace del recurso
Electrónico
eBook
16
Publicado 2005
Tabla de Contenidos:
“...-Throughput Proteome Annotation Pipeline -- Genome-Wide Functional Annotation Environment for Thermus...”Enlace del recurso
Electrónico
eBook
17
Publicado 2008
Tabla de Contenidos:
“... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...”Enlace del recurso
Electrónico
eBook
18
Publicado 2012
Tabla de Contenidos:
“... Monitor-Camera Response Function -- Polyakov Action Minimization for Efficient Color Image Processing...”Enlace del recurso
Electrónico
eBook
19
Publicado 2008
Tabla de Contenidos:
“... -- Transforming Graphs with the Same Degree Sequence -- The Forest Number of (n,m)-Graphs -- Computing Simple...”Enlace del recurso
Electrónico
eBook
20
Publicado 2005
Tabla de Contenidos:
“...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...”Enlace del recurso
Electrónico
eBook