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: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
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: ... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...
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
Table of Contents: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Community -- Invited Tutorials -- Constraint Handling Rules -- Back to Interval Temporal Logics -- Systems...
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: ... -- Automatic Construction of Static Evaluation Functions for Computer Game Players -- Databases Reduction...
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: ... and Partitioning -- A Hybrid Approach for System-Level Design Evaluation -- Automatic Parallelization of Sequential...
View full text
Electronic eBook