Menu ▾ ▴

Commit [r9614]  Maximize  Restore  History

Added tech documentation of new adjust_levels algorithm and new fixpoint scheduling algorithm.

dwarren 2019-07-10

Browse code at this revision

Parent: [r9613]

Child: [r9615]

added /trunk/XSB/docs/techman/leader_determination.tex
added /trunk/XSB/docs/techman/sched_fixpoint.tex
changed /trunk/XSB/docs/techman/tech.tex
/trunk/XSB/docs/techman/leader_determination.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/techman/sched_fixpoint.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/techman/tech.tex Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB