Search Sciweavers | Sciweavers

3688 search results - page 67 / 738

» Static analysis of aspects

click to vote

FMICS
2007
Springer

100views Formal Methods» more FMICS 2007»

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

15 years 6 months ago

Download www.ens-lyon.fr

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

claim paper

Read More »

click to vote

SAS
2007
Springer

82views Formal Methods» more SAS 2007»

Static Analysis of Dynamic Communication Systems by Partner Abstraction

15 years 6 months ago

Download www.model.in.tum.de

Jörg Bauer, Reinhard Wilhelm

claim paper

Read More »

click to vote

SEFM
2006
IEEE

80views Software Engineering» more SEFM 2006»

Static Analysis of Programs: A Heap Centric View

15 years 5 months ago

Download www.cse.iitb.ac.in

Uday P. Khedker

claim paper

Read More »

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 5 months ago

Download homepage.mac.com

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

claim paper

Read More »

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 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers