-
161
-
162Published 2005Table of Contents: “… Vulnerabilities in Executable Software Without Source-Code -- Quantitative Evaluation of Distributed Algorithms…”
Full Text via HEAL-Link
Electronic eBook -
163
-
164Published 2009Table of Contents: “… Automata Positivity -- A Reduction Theorem for the Verification of Round-Based Distributed Algorithms…”
Full Text via HEAL-Link
Electronic eBook -
165Published 2008Table of Contents: “… for Photogrammetric Network Design -- Adaptive Estimation of Distribution Algorithms -- Initialization…”
Full Text via HEAL-Link
Electronic eBook -
166Published 2009Table of Contents: “… -- An Estimation of Distribution Algorithm for Flowshop Scheduling with Limited Buffers -- Solving Hierarchically…”
Full Text via HEAL-Link
Electronic eBook -
167Published 2005Table of Contents: “…Invited Papers -- Distributed Algorithms for Dynamic Survivability of Multiagent Systems…”
Full Text via HEAL-Link
Electronic eBook -
168Published 2016Table of Contents: “… Checking of Fault-Tolerant Distributed Algorithms -- Applying MDA to Generate Hadoop Based Scientific…”
Full Text via HEAL-Link
Electronic eBook -
169Published 1999Table of Contents: “… of Probabilistic System -- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms…”
Full Text via HEAL-Link
Electronic eBook -
170Published 1998Table of Contents: “… Languages -- Compositional Verification of Randomized Distributed Algorithms -- Lazy Compositional…”
Full Text via HEAL-Link
Electronic eBook -
171Published 2002Table of Contents: “…: Selected Student Papers -- Self-Stabilizing Distributed Algorithms for Defeat Status Computation…”
Full Text via HEAL-Link
Electronic eBook -
172
-
173
-
174Published 2008Table of Contents: “… and the Biological Analogy -- Keynote: Distributed Algorithms and VLSI -- MAC Layer Protocols -- A Distributed…”
Full Text via HEAL-Link
Electronic eBook -
175
-
176Published 2007Table of Contents: “…Parallel and distributed algorithms -- The Wandering Token: Congestion Avoidance of a Shared…”
Full Text via HEAL-Link
Electronic eBook -
177
-
178Published 2003Table of Contents: “… Architecture and Instruction-Level Parallelism -- Topic 9: Distributed Algorithms -- Topic 10: Parallel…”
Full Text via HEAL-Link
Electronic eBook -
179Published 2010Table of Contents: “… of Software with Time and Probabilities -- Synchrony and Time in Fault-Tolerant Distributed Algorithms…”
Full Text via HEAL-Link
Electronic eBook -
180Published 2019Table of Contents: “… Safety Verification for Distributed Cyber-Physical Systems -- On Certifying Distributed Algorithms…”
Full Text via HEAL-Link
Electronic eBook