LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
sav08:chaotic_iteration_in_abstract_interpretation [2008/05/20 12:53]
vkuncak
sav08:chaotic_iteration_in_abstract_interpretation [2008/05/20 12:53]
vkuncak
Line 37: Line 37:
    
 Questions: Questions:
-  * What is the cost of doing one chaotic versus one parallel iteration? ++|$n$ times lower for chaotic+++  * What is the cost of doing one chaotic versus one parallel iteration? ++|chaotic is $n$ times cheaper++
   * Does chaotic iteration converge if parallel converges?   * Does chaotic iteration converge if parallel converges?
   * If it converges, will it converge to same value?   * If it converges, will it converge to same value?