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: ... Data Size on Massively Parallel GPGPUs -- Benchmark Study of a 3d Parallel Code for the Propagation...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... with Parallel Rewriting for Chain Code Picture Languages -- Base-Complexity Classifications of QCB0-Spaces...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ...? -- Verification Challenges in Configurable Processor Design with ASIP Meister -- Tutorial -- Towards the Pervasive...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Community -- Invited Tutorials -- Constraint Handling Rules -- Back to Interval Temporal Logics -- Systems...
View full text
Electronic eBook
7
Table of Contents: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
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: ... Data: Maximum Cuts Versus Normalized Cuts -- Analysis of Linux Evolution Using Aligned Source Code...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... Environment -- The Analysis of the Efficiency of Parallelization of Existing Serial Code on the Basis...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... BB84 -- Leakage Squeezing of Order Two -- Hash Functions and Stream Cipher -- Collision Attack...
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 2005
Table of Contents: ...: An Engineering Design Perspective -- Tutorial -- 1984-2004 – 20 Years of Multiobjective Metaheuristics. But What...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... -- An Experimental Study of Effective Feedback Strategies for Intelligent Tutorial Systems for Foreign Language...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... -- Hardware Synthesis -- Automatic Data Path Generation from C code for Custom Processors -- Interconnect...
View full text
Electronic eBook