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 2005
Table of Contents: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... for Parallel Computing on Heterogeneous Platforms (HeteroPar 2009) -- Preface -- Static Worksharing Strategies...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Division Characterise P -- Balancing Performance, Flexibility, and Scalability in a Parallel Computing...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... - Their Brains and Their Computers -- Turing’s Three Pioneering Initiatives and Their Interplays -- An Outline...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... by Using Multiset Processing -- Computer Science Applications -- Static Sorting P Systems -- Membrane-Based...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ...-borne Phased Array Radar --  A Second-order Algorithm for Curve Parallel Projection on Parametric...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Algorithm for Heterogeneous and Grid Computing -- Processor Directed Dynamic Page Policy -- Static WCET...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... Monitor-Camera Response Function -- Polyakov Action Minimization for Efficient Color Image Processing...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... in Pervasive Computing - Risk Probability Assessment Model -- CPU Load Based Countermeasure Technique...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... -- Trusted Computing Architecture for Wi-Fi Protected Access 2 (WPA2) Optimization -- Parallel Pseudo...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Algorithm for Characteristic Points Evaluation in Static Images of Signatures -- Computer Security Systems...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... -- Regular Languages, Unambiguous Concatenation and Computational Complexity -- Contributed Papers...
View full text
Electronic eBook