Sciweavers

Share
3 search results - page 1 / 1
» A Fresh Look at PRE as a Maximum Flow Problem
Sort
View
CC
2006
Springer
108views System Software» more  CC 2006»
10 years 3 months ago
A Fresh Look at PRE as a Maximum Flow Problem
We show that classic PRE is also a maximum flow problem, thereby revealing the missing link between classic and speculative PRE, and more importantly, establishing a common high-le...
Jingling Xue, Jens Knoop
IPCO
1998
87views Optimization» more  IPCO 1998»
10 years 29 days ago
Simple Generalized Maximum Flow Algorithms
We introduce a gain-scaling technique for the generalized maximum ow problem. Using this technique, we present three simple and intuitive polynomial-time combinatorialalgorithms fo...
Éva Tardos, Kevin D. Wayne
FMCAD
2000
Springer
10 years 3 months ago
Checking Safety Properties Using Induction and a SAT-Solver
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
Mary Sheeran, Satnam Singh, Gunnar Stålmarck
books