1
Published 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
View full text
Electronic eBook
3
Table of Contents: ... Dynamics equations for a clamped-free flexible beam -- F.1 Shape functions for a free flexible beam -- F.2...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Architecture -- A Scalable Methodology for Computing Fault-Free Paths in InfiniBand Torus Networks -- Using a...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... for the Sparsest Spanners Problem on Apex-Minor-Free Graphs -- Computational Complexity of Perfect-Phylogeny...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... and Distributed Exponentiation -- Encryption Methods -- Encoding-Free ElGamal Encryption Without Random Oracles...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...Adding Expert Knowledge and Exploration in Monte-Carlo Tree Search -- A Lock-Free Multithreaded...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... -- Generic Constructions of Parallel Key-Insulated Encryption -- Invited Talk -- Heuristics and Rigor...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... of Developing Practical Soft Sensors -- Comparing Pre-Defined Software Engineering Metrics with Free-Text...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ... -- Commutativity of Reducers -- Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling -- Analysis...
View full text
Electronic eBook