Rekommenderade teman
Rekommenderade teman
Menade du:
problems functionals » problem functionals, problems functions, problem functional
functionals function » function function, functions functional, function dysfunction
function https » functions https, fiction https
parallel talk » parallel task, parallel tasks, parallel table
talk problems » back problems, talk probes, crack problems
problems functionals » problem functionals, problems functions, problem functional
functionals function » function function, functions functional, function dysfunction
function https » functions https, fiction https
parallel talk » parallel task, parallel tasks, parallel table
talk problems » back problems, talk probes, crack problems
1
Publicerad 2010
Innehållsförteckning:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2010
Innehållsförteckning:
“...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2008
Innehållsförteckning:
“...Invited Talks -- The Next Frontier -- Fault Tolerance for PetaScale Systems: Current Knowledge...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2005
Innehållsförteckning:
“...Invited Talks -- New Directions in PVM/Harness Research -- Towards a Productive MPI Environment...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2005
Innehållsförteckning:
“...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2005
Innehållsförteckning:
“...Invited Talks -- Data Analysis in the Life Sciences — Sparking Ideas — -- Machine Learning...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2005
Innehållsförteckning:
“...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2015
Innehållsförteckning:
“...Plenary Talks -- Interactive Approaches in Multiple Criteria Decision Making and Evolutionary Multi...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2015
Innehållsförteckning:
“...-Coordinated Parallel Coordinates (GCPC): A Case Study of Environmental Data Analysis -- Generalized Shortest...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2015
Innehållsförteckning:
“... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2010
Innehållsförteckning:
“... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2010
Innehållsförteckning:
“...Invited Talk -- The First 30 Years of Cryptographic Hash Functions and the NIST SHA-3 Competition...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2008
Innehållsförteckning:
“... Subdivisions -- Bartholdi Zeta Functions of Branched Coverings of Digraphs -- On Super Edge-Magic Strength...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2005
Innehållsförteckning:
“...Invited Talk -- Abelian Varieties and Cryptography -- Sequences -- Proof of a Conjecture...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2008
Innehållsförteckning:
“... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2005
Innehållsförteckning:
“...-Throughput Proteome Annotation Pipeline -- Genome-Wide Functional Annotation Environment for Thermus...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2010
Innehållsförteckning:
“... -- Generic Constructions of Parallel Key-Insulated Encryption -- Invited Talk -- Heuristics and Rigor...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2007
Innehållsförteckning:
“... and Efficient Constructions of Secure Designated Confirmer Signatures -- Invited Talk I -- Cryptanalysis...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2014
Innehållsförteckning:
“... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2012
Innehållsförteckning:
“... Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers...”Hämta fulltext
Elektronisk
E-bok



