1
Published 2010
Table of Contents: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Distributed Job Workflow Execution -- EPLAS: An Epistemic Programming Language for All Scientists...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
View full text
Electronic eBook
12
Table of Contents: ... NoCs -- Parallelizing Compiler for Single and Multicore Computing -- Power Optimization Techniques...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... -- A Novel Federation Development and Execution Process Based on Collaboration Ontology -- PASENS...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... Process Mining to Resource-Oriented Systems -- User–Defined Rules Made Simple with Functional Programming...
View full text
Electronic eBook
15
Published 2011
Table of Contents: ... Algorithms -- 4 Parallel Sorting – The Need for Speed -- 5 Topological Sorting – How Should I Begin...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... similarity measure and S-tree -- Tri-axis Accelerometer based body motion detection system -- On Mapping...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Parallel Information Extraction Based on Hadoop -- A Novel Class of Periodic Complementary Sequence Sets...
View full text
Electronic eBook