Sciweavers

5255 search results - page 25 / 1051

» Formal Methods for Privacy

21

SAS
2007
Springer

97views Formal Methods» more SAS 2007»

A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware

14 years 1 months ago

A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware

Download profs.sci.univr.it

Francesco Banterle, Roberto Giacobazzi

claim paper

Read More »

18

SAS
2007
Springer

82views Formal Methods» more SAS 2007»

Static Analysis of Dynamic Communication Systems by Partner Abstraction

14 years 1 months ago

Static Analysis of Dynamic Communication Systems by Partner Abstraction

Download www.model.in.tum.de

Jörg Bauer, Reinhard Wilhelm

claim paper

Read More »

21

SAS
2007
Springer

80views Formal Methods» more SAS 2007»

Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic

14 years 1 months ago

Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic

Download www.lix.polytechnique.fr

Eric Goubault, Sylvie Putot

claim paper

Read More »

20

SAS
2007
Springer

95views Formal Methods» more SAS 2007»

Accelerated Data-Flow Analysis

14 years 1 months ago

Accelerated Data-Flow Analysis

Download www.labri.fr

Jérôme Leroux, Grégoire Sutre

claim paper

Read More »

16

TYPES
2007
Springer

156views Formal Methods» more TYPES 2007»

Algorithmic Equality in Heyting Arithmetic Modulo

14 years 1 months ago

Algorithmic Equality in Heyting Arithmetic Modulo

Download users.dimi.uniud.it

Lisa Allali

claim paper

Read More »

« Prev « First page 25 / 1051 Last » Next »