Skip to content

Termination checking and task decomposition for task-based intermittent programs.

Alexei Colin, Brandon Lucia

VenueBCC
Year2018
ProceedingsCC

Browse the full CC paper archive.