Sciweavers

16513 search results - page 364 / 3303

» Numerical Analysis Methods

135

Voted

FTRTFT
1998
Springer

105views Formal Methods» more FTRTFT 1998»

An Algorithm for the Approximative Analysis of Rectangular Automata

15 years 11 months ago

An Algorithm for the Approximative Analysis of Rectangular Automata

Download www.cs.berkeley.edu

Jörg Preußig, Stefan Kowalewski, Howard...

claim paper

Read More »

133

SAS
1997
Springer

90views Formal Methods» more SAS 1997»

Type-Directed Flow Analysis for Typed Intermediate Languages

15 years 10 months ago

Type-Directed Flow Analysis for Typed Intermediate Languages

Download www.cs.ucla.edu

Suresh Jagannathan, Stephen Weeks, Andrew K. Wrigh...

claim paper

Read More »

129

SAS
2000
Springer

79views Formal Methods» more SAS 2000»

Unified Analysis of Array and Object References in Strongly Typed Languages

15 years 10 months ago

Unified Analysis of Array and Object References in Strongly Typed Languages

Download www.cs.rice.edu

Stephen J. Fink, Kathleen Knobe, Vivek Sarkar

claim paper

Read More »

132

FMICS
2008
Springer

91views Formal Methods» more FMICS 2008»

Using Datalog and Boolean Equation Systems for Program Analysis

15 years 8 months ago

Using Datalog and Boolean Equation Systems for Program Analysis

Download users.dsic.upv.es

María Alpuente, Marco A. Feliú, Chri...

claim paper

Read More »

184

CEAS
2008
Springer

98views Internet Technology» more CEAS 2008»

Empirical research on IP blacklisting

15 years 8 months ago

Empirical research on IP blacklisting

Download www.ceas.cc

This paper describes two innovative analysis methods for IPv4 address sets such as antispam blacklists. First, the contents analysis provides means of measuring key properties of ...

Christian Dietrich, Christian Rossow

claim paper

Read More »

« Prev « First page 364 / 3303 Last » Next »