1
Published 2006
Table of Contents: ...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... 2009 -- Preface -- JavaGAT Adaptor for UNICORE 6 – Development and Evaluation in the Project AeroGrid...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- On the Definition of Service Abstractions for Parallel Computing -- The Second Workshop on Performance Evaluation...
View full text
Electronic eBook
5
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
6
Published 2006
Table of Contents: ...-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer’s Perspective -- Autonomic...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...-Throughput Proteome Annotation Pipeline -- Genome-Wide Functional Annotation Environment for Thermus...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... -- Computation of the Real Zeros of the Kummer Function M(a;c;x) -- Towards Reliable Software for the Evaluation...
View full text
Electronic eBook
11
Published 2011
Table of Contents: ....: Looking Beyond The Physical -- Domain-Centred Functionalities Discovering for Testing Systems...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ..., Modelling and Implementation for Highly Parallel Applications -- Computational Steering of Complex Flow...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... -- Scalable Cosmological Simulations on Parallel Machines -- Performance Evaluation of Scientific Applications...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... Environment -- Vulnerability Evaluation of Multiplexing PUF for SVM Attacks -- Autonomous Visualization...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ...-Based Accelerators for BLAST Algorithm with Multi-seeds Detection and Parallel Extension -- Fast...
View full text
Electronic eBook