Patent ID: 7512947

Claim:
A method for modeling and structuring a scheduling system, said system including a plurality of tasks, a resource for servicing the tasks, and a scheduler that assigns the tasks to the resource, said method comprising: defining tasks as cosets of subgroups of a mathematical group, wherein a coset comprises a subgroup of a group representing a resource; defining a resource as said group; defining a unit of measure for the resource in such a way as to assign an order, or size, to the group; and modeling and structuring the scheduling system using the defined tasks, the resource and the unit of measure; wherein given a set of one or more subgroups with task generator values selected from the set P=(p 1 , p 2 , . . . p k ), the defining cosets for tasks further comprises selecting coset representatives x and y for any two tasks with subgroup generators p i and p j , respectively, such that (x-y) is not evenly divisible by g=gcd(p i , p j ), where gcd( ) is the greatest common divisor function and where g is the greatest common divisor of p i and p j , wherein the cosets represent tasks, the groups represent resources, and units of measure are defined over any physical domain, including at least one of the group consisting of time, space, frequency, energy, speed, and mass.