Sciweavers

4340 search results - page 34 / 868

» Formal Methods and Cryptography

71

SAS
2010
Springer

148views Formal Methods» more SAS 2010»

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

14 years 10 months ago

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

Download www.stanford.edu

Isil Dillig, Thomas Dillig, Alex Aiken

claim paper

Read More »

77

MEMOCODE
2010
IEEE

176views Formal Methods» more MEMOCODE 2010»

Predictable multithreading of embedded applications using PRET-C

14 years 9 months ago

Predictable multithreading of embedded applications using PRET-C

Download www.ece.auckland.ac.nz

Sidharta Andalam, Partha S. Roop, Alain Girault

claim paper

Read More »

85

FORTE
2009

96views Formal Methods» more FORTE 2009»

A Type Graph Model for Java Programs

14 years 9 months ago

A Type Graph Model for Java Programs

Download eprints.eemcs.utwente.nl

Arend Rensink, Eduardo Zambon

claim paper

Read More »

73

ICFCA
2009
Springer

113views Formal Methods» more ICFCA 2009»

The Logic of Learning

14 years 9 months ago

The Logic of Learning

Download www.fi.muni.cz

Luc De Raedt

claim paper

Read More »

84

SBMF
2010
Springer

125views Formal Methods» more SBMF 2010»

Simulating Truly Concurrent CSP

14 years 6 months ago

Simulating Truly Concurrent CSP

Download www.iist.unu.edu

Moritz Kleine, J. W. Sanders

claim paper

Read More »

« Prev « First page 34 / 868 Last » Next »