Search Sciweavers | Sciweavers

1880 search results - page 15 / 376

» A Static Analysis for Beta-Binders

click to vote

ESEC
1997
Springer

112views Software Engineering» more ESEC 1997»

Applying Static Analysis to Software Architectures

13 years 11 months ago

Download cis.poly.edu

Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...

Gleb Naumovich, George S. Avrunin, Lori A. Clarke,...

claim paper

Read More »

click to vote

ESOP
2010
Springer

195views Programming Languages» more ESOP 2010»

Amortized Resource Analysis with Polynomial Potential - A Static Inference of Polynomial Bounds for Functional Programs

14 years 5 months ago

Download www2.tcs.ifi.lmu.de

In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...

Jan Hoffmann and Martin Hofmann

claim paper

Read More »

click to vote

DAC
2000
ACM

94views Computer Architecture» more DAC 2000»

Static noise analysis for digital integrated circuits in partially-depleted silicon-on-insulator technology

14 years 8 months ago