Sciweavers

2673 search results - page 63 / 535

» Guided Static Analysis

96

PE
2008
Springer

87views Optimization» more PE 2008»

Output analysis of multiclass fluid models with static priorities

15 years 3 months ago

Output analysis of multiclass fluid models with static priorities

Download alexandria.tue.nl

Elena I. Tzenova, Ivo J. B. F. Adan, Vidyadhar G. ...

claim paper

Read More »

102

SOFTWARE
2008

75views Applied Computing» more SOFTWARE 2008»

Using Static Analysis to Find Bugs

15 years 3 months ago

Using Static Analysis to Find Bugs

Download www.cs.umd.edu

Nathaniel Ayewah, David Hovemeyer, J. David Morgen...

claim paper

Read More »

120

Voted

TAP
2008
Springer

110views Hardware» more TAP 2008»

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

15 years 3 months ago

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

Download www.pietro.ferrara.name

Pietro Ferrara

claim paper

Read More »

121

Voted

TCAD
2008

75views more TCAD 2008»

Static Analysis of Transaction-Level Communication Models

15 years 3 months ago

Static Analysis of Transaction-Level Communication Models

Download home.dei.polimi.it

We propose a methodology for the early estimation of communication implementation choices eftarting from an abstract transaction level system model (TLM). The reference version of ...

Giovanni Agosta, Francesco Bruschi, Donatella Sciu...

claim paper

Read More »

106

Voted

CONCURRENCY
2000

96views more CONCURRENCY 2000»

Locality optimization in JavaParty by means of static type analysis

15 years 3 months ago

Locality optimization in JavaParty by means of static type analysis

Download www2.informatik.uni-erlangen.de

Michael Philippsen, Bernhard Haumacher

claim paper

Read More »

« Prev « First page 63 / 535 Last » Next »