Searching for "Automating Verification of Loops by Parallelization." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Automating verification of loops by parallelization
by Tobias Gedell, Reiner Hähnle — 2006 — Proc. Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning, Phnom Penh, Cambodia, volume 4246 of LNCS
…Automating Verification of Loops by Parallelization ⋆ Tobias Gedell and Reiner Hähnle Department…
Cited by 2 (1 self) – Add To MetaCart

Static analysis and deductive verification of programs. Licentiate thesis
by Tobias Gedell, Tobias Gedell, C Tobias Gedell — 2006
… . . . . . . . . . . . . . . . . . 7 4.3 Paper III: Automating Verification of Loops by Parallelization…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB