Sirdás sisdollui
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Giella
Buot deaivamat
Bajilčálus
Dahkki
Fáddá
Hildobáiki
ISBN/ISSN
Fáddágilkor
Viečča
Aiddostahtton
Applying abstract acceleration...
Čujuhandieđut
Deakstadieđáhus
Sádde šleađgaboasttain
Čálit
Doalvvo čujuhusa
Doalvun: RefWorks
Doalvun: EndNoteWeb
Doalvun: EndNote
Bissovaš liŋka
Applying abstract acceleration to (co−)reachability analysis of reactive programs
Bibliográfalaš dieđut
Váldodahkkit:
Schrammel, P
,
Jeannet, B
Materiálatiipa:
Journal article
Almmustuhtton:
2012
Oažžasuvvandieđut
Govvádus
Geahča maid
Bargiidšearbma
Geahča maid
Extending Abstract Acceleration Methods to Data−Flow Programs with Numerical Inputs
Dahkki: Schrammel, P, et al.
Almmustuhtton: (2010)
Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs
Dahkki: Schrammel, P, et al.
Almmustuhtton: (2011)
Abstract Acceleration of General Linear Loops
Dahkki: Jeannet, B, et al.
Almmustuhtton: (2014)
Abstract Acceleration in Linear Relation Analysis
Dahkki: Gonnord, L, et al.
Almmustuhtton: (2014)
Sound numerical computations in abstract acceleration
Dahkki: Cattaruzza, D, et al.
Almmustuhtton: (2017)