A chaotic asynchronous algorithm for computing the fixed point of a nonnegative matrix of unit spectral radius.
An application of number theory to the organization of raster-graphics memory.
Special relations in automated deduction.
"Sometimes" and "Not Never" revisited: on branching versus linear time temporal logic.
Bound hierarchies for multiple-class queuing networks.
Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness.
Notions of dependency satisfaction.
A matrix-algebraic solution to two K
Routing through a rectangle.