# Search results for: Stéphane Gaubert

Journal of Symbolic Computation > 2018 > 85 > C > 25-54

Journal of Mathematical Analysis and Applications > 2018 > 457 > 2 > 1038-1064

Mathematische Zeitschrift > 2018 > 289 > 1-2 > 695-709

Linear Algebra and its Applications > 2017 > 528 > C > 394-435

Performance Evaluation > 2017 > 113 > C > 1-12

Information Processing Letters > 2017 > 118 > C > 35-43

Linear Algebra and its Applications > 2016 > 498 > C > 592-627

Lecture Notes in Computer Science > Programming Languages and Systems > Static Analysis and Abstract Interpretation I > 237-252

*i.e.*, minimizing the cost of some resources (machines, pallets, processors) in order to achieve...

*max-plus polyhedra*. Our abstraction is more precise than octagons, and allows to express non-convex properties without any disjunctive representations. We have defined sound abstract operators, evaluated their complexity, and implemented them in a static analyzer. It is able to automatically...

*A*,

*B*invariant spaces, are discussed.

*dioid*algebra). In particular, the behavior of these systems is characterized by computing

*transfer matrices*. In this paper, we study the algebraic problems which arise when considering rational computations in this particular dioid. The main theorem states that rational elements...

Lecture Notes in Computer Science > STACS 97 > 261-282