Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
rbound [2014/03/25 17:54] ravi |
rbound [2014/03/25 17:55] 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]]. | ||
- | The following is a link to a technical report detailing the algorithm implemented in Orb: [[http://lara.epfl.ch/~kandhada/rbounds/orb.pdf|Symbolic Resource Bound Inference]]. | + | A technical report on the approach used by 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]] |