3145 search results - page 106 / 629 » Algebraic Linear Orderings |
123
click to vote
SIAMCOMP
2002
15 years 3 months ago
2002
Given an edge-weighted graph where all weights are nonnegative reals, an edge reweighting is an assignment of nonnegative reals to edges such that, for each vertex, the sums of giv...
187
click to vote
SIGCOMM
2004
ACM
15 years 9 months ago
2004
ACM
Overlay network monitoring enables distributed Internet applications to detect and recover from path outages and periods of degraded performance within seconds. For an overlay net...
128
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
138
click to vote
ETS
2006
IEEE
15 years 10 months ago
2006
IEEE
A central problem in built-in self test (BIST) is how to efficiently generate a small set of test vectors that detect all targeted faults. We propose a novel solution that uses l...
135
click to vote
FSE
2004
Springer
15 years 9 months ago
2004
Springer
We present a realization of an LFSM that utilizes an LFSR. This is based on a well-known fact from linear algebra. This structure is used to show that a previous attempt at using a...