The following pages link to Felix C. Freiling (Q436800):
Displaying 18 items.
- On termination detection in crash-prone distributed systems with failure detectors (Q436803) (← links)
- Safe termination detection in an asynchronous distributed system when processes may crash and recover (Q1004324) (← links)
- (Q1944086) (redirect page) (← links)
- Communication-efficient failure detection and consensus in omission environments (Q1944087) (← links)
- The failure detector abstraction (Q2875042) (← links)
- From Crash-Stop to Permanent Omission: Automatic Transformation and Weakest Failure Detectors (Q3523206) (← links)
- Fair Exchange (Q4415933) (← links)
- (Q4437131) (← links)
- (Q4446602) (← links)
- (Q4457228) (← links)
- (Q4473307) (← links)
- (Q4520798) (← links)
- Hardware-Based Trusted Computing Architectures for Isolation and Attestation (Q4567314) (← links)
- A case study in the mechanical verification of fault tolerance (Q4783363) (← links)
- Code Stabilization (Q5307037) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395115) (← links)
- Distributed Computing (Q5395139) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464746) (← links)