1
Published 2010
Table of Contents: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... with No Backup Steps -- Free Software for Computer Algebra (Joris Van Der Hoeven) -- The Design of CoCoALib...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Heat Transfer in Parallel Computer Architectures -- SkvG: Cache-Optimal Parallel Solution of PDEs...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...
View full text
Electronic eBook
6
Table of Contents: ... Metric-Driven Processes -- Roles in a Verification Project -- Overview of a Verification Project...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... Combustion with CO2 Post-combustion Capture -- Suggested Simulation of the First Copper-Chlorine Reactor Step...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Lightweight Dynamic Application Monitor for SMP Clusters -- gridlib — A Parallel, Object-oriented Framework...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... for Continuous Optimization Problems -- An Efficient Optimization Method for Revealing Local Optima of Projection...
View full text
Electronic eBook
11
Published 2012
Table of Contents: ... for Detection of Macula in Fundus Images -- The Brain’s Sequential Parallelism: Perceptual Decision-Making...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook