Search Sciweavers | Sciweavers

3688 search results - page 67 / 738

» Static analysis of aspects

Voted

FMICS
2007
Springer

100views Formal Methods» more FMICS 2007»

Static Analysis of the Accuracy in Control Systems: Principles and Experiments

15 years 11 months ago

Download www.ens-lyon.fr

Eric Goubault, Sylvie Putot, Philippe Baufreton, J...

claim paper

Read More »

112

Voted

SAS
2007
Springer

82views Formal Methods» more SAS 2007»

Static Analysis of Dynamic Communication Systems by Partner Abstraction

15 years 11 months ago

Download www.model.in.tum.de

Jörg Bauer, Reinhard Wilhelm

claim paper

Read More »

104

click to vote

SEFM
2006
IEEE

80views Software Engineering» more SEFM 2006»

Static Analysis of Programs: A Heap Centric View

15 years 11 months ago

Download www.cse.iitb.ac.in

Uday P. Khedker

claim paper

Read More »

101

click to vote

CF
2006
ACM

70views Applied Computing» more CF 2006»

Static cache partitioning robustness analysis for embedded on-chip multi-processors

15 years 11 months ago

Download homepage.mac.com

Anca Mariana Molnos, Sorin Dan Cotofana, Marc J. M...

claim paper

Read More »

108

click to vote

WSE
2005
IEEE

95views Internet Technology» more WSE 2005»

Integrating Static and Dynamic Analysis to improve the Comprehension of Existing Web Applications

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers