Search Sciweavers | Sciweavers

2673 search results - page 14 / 535

» Guided Static Analysis

click to vote

ICDE
2007
IEEE

157views Database» more ICDE 2007»

Representing Data Quality for Streaming and Static Data

13 years 11 months ago

Download ccs.njit.edu

In smart item environments, multitude of sensors are applied to capture data about product conditions and usage to guide business decisions as well as production automation proces...

Anja Klein, Hong Hai Do, Gregor Hackenbroich, Marc...

claim paper

Read More »

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 4 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

Download www.cisl.columbia.edu

Kenneth L. Shepard, Dae-Jin Kim

claim paper

Read More »