Abstract Acceleration of General Linear Loops

Abstract Acceleration of General Linear Loops

Bibliographic Details
Main Authors:	Jeannet, B, Schrammel, P, Sankaranarayanan, S
Format:	Conference item
Published:	2014

Similar Items

Applying abstract acceleration to (co−)reachability analysis of reactive programs
by: Schrammel, P, et al.
Published: (2012)

Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs
by: Schrammel, P, et al.
Published: (2011)

Extending Abstract Acceleration Methods to Data−Flow Programs with Numerical Inputs
by: Schrammel, P, et al.
Published: (2010)

Abstract Acceleration in Linear Relation Analysis
by: Gonnord, L, et al.
Published: (2014)

Sound numerical computations in abstract acceleration
by: Cattaruzza, D, et al.
Published: (2017)

Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
by: Cattaruzza, D, et al.
Published: (2015)

Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
by: Cattaruzza, D, et al.
Published: (2020)

From hybrid data−flow languages to hybrid automata: a complete translation
by: Schrammel, P, et al.
Published: (2012)

Verification and synthesis of linear systems by abstract acceleration
by: Cattaruzza, D
Published: (2018)

Accelerating Data Dependence Profiling Through Abstract Interpretation of Loop Instructions
by: Mostafa Abbas, et al.
Published: (2022-01-01)

Necessary and Sufficient Preconditions via Eager Abstraction
by: Seghir, M, et al.
Published: (2014)

Generalized linear methods and convergence acceleration
by: I. Tammeraid
Published: (2003-12-01)

Accelerated test execution using GPUs
by: Rajan, A, et al.
Published: (2014)

Accelerated test execution using GPUs
by: Rajan, A, et al.
Published: (2014)

Counterexamples with Loops for Predicate Abstraction
by: Kroening, D, et al.
Published: (2006)

Lifting CDCL to template-based abstract domains for program verification
by: Mukherjee, R, et al.
Published: (2017)

Abstract and linear algebra /
by: 330019 Burton, David M.
Published: (1972)

The Linear-Accelerator Program
by: Hill, Albert G., et al.
Published: (2010)

RF linear accelerators /
by: 408573 Wangler, Thomas P., et al.
Published: (2008)

Linear-Accelerator Program
by: Polk, I., et al.
Published: (2010)

The Linear-Accelerator Program
by: Debs, R. J., et al.
Published: (2010)

The Linear-Accelerator Program
by: Maier, L. C., Jr., et al.
Published: (2010)

Linear-Accelerator Program
by: Debs, R. J., et al.
Published: (2010)

Linear Accelerator Program
by: Maier, L. C., Jr., et al.
Published: (2010)

The Linear Accelerator Program
by: Maier, L. C., Jr., et al.
Published: (2010)

Verification and falsification of programs with loops using predicate abstraction.
by: Kroening, D, et al.
Published: (2010)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
by: Kroening, D, et al.
Published: (2009)

General Urology Abstracts
Published: (2015-01-01)

Ranking Templates for Linear Loops
by: Jan Leike, et al.
Published: (2015-03-01)

Theory of linear accelerators
by: Vlasov, A. D. (Aleksandr Danilovich)
Published: (1968)

The design of linear accelerators
Published: (2004)

Linear electromagnetic accelerator
by: Laurian GHERMAN, et al.
Published: (2019-12-01)

Linear algebra : an introduction to abstract mathematics /
by: 441384 Valenza, Robert J.
Published: (1993)

Abstract non-linear wave equations/
by: 214327 Reed, Michael
Published: (1976)

Exact linear lumping in abstract spaces
by: Z. Rózsa, et al.
Published: (2004-08-01)

Linear and nonlinear abstract differential equations of high order
by: Shakhmurov Veli B.
Published: (2015-08-01)

LINEAR ACCELERATION EMISSION IN PULSAR MAGNETOSPHERES
by: Reville, B, et al.
Published: (2010)

A Study on Abstract Policy for Acceleration of Reinforcement Learning
by: Ahmad Afif, Mohd Faudzi, et al.
Published: (2014)

Linear fixed-field multipass arcs for recirculating linear accelerators
by: V. S. Morozov, et al.
Published: (2012-06-01)

General physics advance abstracts
by: American Institute of Physics
Published: (1985)