Constraint satisfaction for storage files with FIFOs or stacks during scheduling | IEEE Conference Publication | IEEE Xplore