The following pages link to Christof Fetzer (Q666241):
Displayed 12 items.
- Extensible transactional memory testbed (Q666242) (← links)
- A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic (Q831915) (← links)
- Fail-awareness: An approach to construct fail-safe systems (Q1395694) (← links)
- The message classification model (Q2790110) (← links)
- Fail-awareness in timed asynchronous systems (Q2942743) (← links)
- A Lazy Snapshot Algorithm with Eager Validation (Q3524312) (← links)
- (Q3656206) (← links)
- (Q4380841) (← links)
- (Q4413431) (← links)
- Lower bounds for convergence function based clock synchronization (Q5361447) (← links)
- From causal to z-linearizable transactional memory (Q5401450) (← links)
- Capacity planning for dependable services (Q6077062) (← links)