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