58 search results - page 2 / 12 » Lexicographic Path Induction |
ECCC
2008
13 years 5 months ago
2008
Higman essentially showed that if A is any language then SUBSEQ(A) is regular, where SUBSEQ(A) is the language of all subsequences of strings in A. Let s1, s2, s3, . . . be the sta...
ICNP
2007
IEEE
14 years 3 days ago
2007
IEEE
— Routing protocols often keep track of multiple route metrics, where some metrics are more important than others. Route selection is then based on lexicographic comparison: the ...
COR
2004
13 years 5 months ago
2004
Fair bandwidth allocation is an important issue in the multicast network to serve each multicast traffic at a fair rate commensurate with the receiver's capabilities and the ...
DAC
1999
ACM
13 years 10 months ago
1999
ACM
IC inductance extraction generally produces either port inductances based on simplified current path assumptions or a complete partial inductance matrix. Combining either of thes...
ISQED
2003
IEEE
13 years 11 months ago
2003
IEEE
Inductance associated with on-chip wires can no longer be ignored as chip operation frequencies increase into GHz regime. Because the magnetic field propagates a very long range, ...