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