MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Synthesis of Linear Ranking Functions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • The polyranking principle  
  • by Aaron R. Bradley, Zohar Manna, Henny B. Sipma — 2005 — In ICALP
  • … of attention recently. Synthesis of linear ranking functions over linear loops with multiple paths…
  • Cited by 12 (3 self) – Add To MetaCart
  • unknown title  
  • by Linear Ranking, Reachability Aaron, R. Bradley, Zohar Manna, Henny B. Sipma
  • …, it is fast in practice. Automatic synthesis of linear ranking functions has received a fair amount…
  • Add To MetaCart
  • unknown title  
  • by The Polyranking, Principle Aaron, R. Bradley, Zohar Manna, Henny B. Sipma
  • … received a fair amount of attention recently. Syn-thesis of linear ranking functions over linear loops…
  • Add To MetaCart
  • unknown title  
  • by The Polyranking, Principle Aaron, R. Bradley, Zohar Manna, Henny B. Sipma
  • … received a fair amount of attention recently. Syn-thesis of linear ranking functions over linear loops…
  • Add To MetaCart
  • Polyranking for Polynomial Loops  
  • by Aaron R. Bradley, Zohar Manna, Henny B. Sipma — 2005
  • …. Colón and Sipma describe the synthesis of linear ranking functions over linear loops with variables…
  • Add To MetaCart
  • Termination of polynomial programs  
  • by Aaron R. Bradley, Zohar Manna, Henny B. Sipma — 2005 — In VMCAI’2005: Verification, Model Checking, and Abstract Interpretation, volume 3385 of LNCS
  • … focused on the synthesis of linear ranking functions. A ranking function for a loop maps the values…
  • Cited by 31 (4 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB