Sciweavers

4719 search results - page 104 / 944

» Newtonian program analysis

21

RTCSA
1998
IEEE

73views Embedded Systems» more RTCSA 1998»

A Worst Case Timing Analysis Technique for Optimized Programs

14 years 2 months ago

A Worst Case Timing Analysis Technique for Optimized Programs

Download cc.ee.ntu.edu.tw

Sung-Soo Lim, Jihong Kim, Sang Lyul Min

claim paper

Read More »

25

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

14 years 2 months ago

Program Analysis as Model Checking of Abstract Interpretations

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

26

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

14 years 2 months ago

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

27

SAS
1997
Springer

103views Formal Methods» more SAS 1997»

An Algebraic Approach to Sharing Analysis of Logic Programs

14 years 2 months ago

An Algebraic Approach to Sharing Analysis of Logic Programs

Download www.clip.dia.fi.upm.es

Michael Codish, Vitaly Lagoon, Francisco Bueno

claim paper

Read More »

32

CADE
1994
Springer

190views Logical Reasoning» more CADE 1994»

The Applicability of Logic Program Analysis and Transformation to Theorem Proving

14 years 2 months ago

The Applicability of Logic Program Analysis and Transformation to Theorem Proving

Download repository.readscheme.org

D. Andre de Waal, John P. Gallagher

claim paper

Read More »

« Prev « First page 104 / 944 Last » Next »