Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
rbound [2014/03/25 17:55] ravi |
rbound [2014/03/25 17:58] ravi |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| Orb requires a 64bit linux operating system and Java runtime environment. Some examples the tool can handle can be found here: [[http://lara.epfl.ch/~kandhada/rbounds/examples.tar.gz|examples]]. | Orb requires a 64bit linux operating system and Java runtime environment. Some examples the tool can handle can be found here: [[http://lara.epfl.ch/~kandhada/rbounds/examples.tar.gz|examples]]. | ||
| - | A technical report on the approach used by Orb: [[http://lara.epfl.ch/~kandhada/rbounds/orb.pdf|Symbolic Resource Bound Inference]]. | + | A technical report on the algorithm implemented in Orb: [[http://lara.epfl.ch/~kandhada/rbounds/orb.pdf|Symbolic Resource Bound Inference]]. |
| For more information, please contact: | For more information, please contact: | ||
| * [[http://lara.epfl.ch/~kandhada|Ravi]] | * [[http://lara.epfl.ch/~kandhada|Ravi]] | ||
| * [[http://lara.epfl.ch/~kuncak/|Viktor]] | * [[http://lara.epfl.ch/~kuncak/|Viktor]] | ||