1
Published 2008
Table of Contents: ... Simplified -- Tabular Expressions and Total Functional Programming -- Speculative Inlining of Predefined...
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 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Method to Overcome Computer Word Size Limitation in Bit-Parallel Pattern Matching -- 6A Computational...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... and Chemical Networks -- Speed Faults in Computation by Chemical Reaction Networks -- Fault-Tolerant ANTS...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... main conjectures for totally real fields --  R. Sujatha: Reductions of the main conjecture -- Ted...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... Modulo Theories Framework -- Using Minimal Correction Sets to More Efficiently Compute Minimal...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Streams -- Parallel Computing of Kernel Density Estimates with MPI -- Quantization Error and Accuracy...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ...Keynote I -- A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm -- Session 1A...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Optimization -- Parallel Ant-Miner (PAM) on High Performance Clusters -- A Software Tool for Data Clustering...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... Algorithm -- A Soft-computing Based Approach to Economic and Environmental Analysis of an Autonomous Power...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ...Software Engineering: Non-functional Property Aware Brokerage Approach for Cloud Service Discovery...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...
View full text
Electronic eBook