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 2008
Table of Contents: ...: The Unibus System -- Tutorial -- EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...
View full text
Electronic eBook
4
Table of Contents: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... of unsolvability: a tutorial -- Universality in Molecular and Cellular Computing -- Some results on interactive...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Detection Using BMC in a Parallel Environment -- Formal Verification of Synchronizers -- A Parameterized...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... for Shaving -- A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... -- Invited Tutorial -- Overcoming Performance Barriers: Efficient Verification Techniques for Logical...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Algorithms for Minimizing Empirical Error by Axis-Parallel Hyperplanes -- A Comparison of Approaches...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Sets in 0/1 Samples -- Visual Knowledge Discovery in Paleoclimatology with Parallel Coordinates -- A...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ...Domain Theory: Practice and Theories A Discussion of Possible Research Topics -- Linking Semantic...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... On Automated Rout Card Scheme -- On Using a Semiotic Quality Framework to Evaluate the Quality of Conceptual...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ...: An Engineering Design Perspective -- Tutorial -- 1984-2004 – 20 Years of Multiobjective Metaheuristics. But What...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... the Perspective of Loss Function -- Rating Propagation in Web Services Reputation Systems: A Fast Shapley Value...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... the Perspective of Loss Function -- Rating Propagation in Web Services Reputation Systems: A Fast Shapley Value...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... BB84 -- Leakage Squeezing of Order Two -- Hash Functions and Stream Cipher -- Collision Attack...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ...Invited Speakers -- Organizing Software Agents -- Learning, Logic, and Probability: A Unified View...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... and Partitioning -- A Hybrid Approach for System-Level Design Evaluation -- Automatic Parallelization of Sequential...
View full text
Electronic eBook