This paper takes a known approach for scheduling and admission control in integrated services networks1 , the Priority Token Bank (PTB), whose mechanism and performance have been ...
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
In thispaper, we present anadaptive networklayer protocol for VBR video transport. It: (1) minimizes buffer requirement in the network whileguaranteeingthat packets of VBR encoded...
Pawan Goyal, Harrick M. Vin, Chia Shen, Prashant J...
The data distribution problem is very complex, because it involves trade-offdecisions between minimizing communication and maximizing parallelism. A common approach towards solving...
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...