983 search results - page 108 / 197 » Negative-Weight Cycle Algorithms |
136
click to vote
TACAS
1998
Springer
15 years 5 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
127
click to vote
ICDCS
1996
IEEE
15 years 5 months ago
1996
IEEE
We consider a shared store based on distributed shared memory (DSM), supporting persistence by reachability (PBR), a very simple data sharing model for a distributed system. This ...
90
Voted
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
The construction of good, finite-length, LDPC codes is currently an attractive research area. Reducing attention to the Binary Erasure Channel (BEC), this problem translates into t...
99
Voted
ICCAD
1995
IEEE
15 years 4 months ago
1995
IEEE
In a typical design
ow, the design may be altered slightly several times after the initial design cycle according to minor changes in the design speci cation either as a result o...
109
click to vote
FOCS
1994
IEEE
15 years 4 months ago
1994
IEEE
We describe algorithms for finding the k shortest paths connecting a given pair of vertices in a digraph (allowing cycles). Our algorithms output an implicit representation of the...