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

15 years 2 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

15 years 8 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

16 years 6 days ago